Slawek at 20:41, 30 September 2016

2016-09-30T20:41:44Z

SlawekBot: Created page with "
== Do not edit this section ==
{{PublicationSetupTemplate|Author=Walid Taha, Roland Philippsen |PID=565038 |Name=Taha, Walid [waltah] (Högs..."

2014-03-13T11:50:37Z

Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Walid Taha, Roland Philippsen |PID=565038 |Name=Taha, Walid [waltah] (Högs..."

New page

<div style='display: none'>
== Do not edit this section ==
</div>
{{PublicationSetupTemplate|Author=Walid Taha, Roland Philippsen
|PID=565038
|Name=Taha, Walid [waltah] (Högskolan i Halmstad [2804], Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE) [3905], Halmstad Embedded and Intelligent Systems Research (EIS) [3938], Centrum för forskning om inbyggda system (CERES) [6702]);Philippsen, Roland [rolphi] (Högskolan i Halmstad [2804], Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE) [3905], Halmstad Embedded and Intelligent Systems Research (EIS) [3938], Intelligenta system (IS-lab) [3941])
|Title=Modeling Basic Aspects of Cyber-Physical Systems
|PublicationType=Conference Paper
|ContentType=Refereegranskat
|Language=eng
|Journal=
|JournalISSN=
|Status=
|Volume=
|Issue=
|HostPublication=3rd International Workshop on Domain-Specific Languages and models for ROBotic systems (DSLRob-12)
|Conference=3rd International Conference on Simulation, Modeling, and Programming for Autonomous Robots (SIMPAR-2012), November 5-8, Tsukuba, Japan
|StartPage=
|EndPage=
|Year=2012
|Edition=
|Pages=
|City=
|Publisher=
|Series=
|SeriesISSN=
|ISBN=
|Urls=
|ISRN=
|DOI=
|ISI=
|PMID=
|ScopusId=
|NBN=urn:nbn:se:hh:diva-19927
|LocalId=
|ArchiveNumber=
|Keywords=cyber-physical system;domain-specific language;modeling;simulation;control
|Categories=Datavetenskap (datalogi) (10201)
|ResearchSubjects=
|Projects=Swedish KK-Stiftelsen CERES;Swedish KK-Stiftelsen CAISR;Swedish Vinnova FFI NG-Test;USA National Science Foundation
|Notes=
|Abstract=<p>Designing novel cyber-physical systems entails significant, costly physical experimentation. Simulation tools can enable the virtualization of experiments. Unfortunately, current tools have shortcomings that limit their utility for virtual experimentation. Language research can be especially helpful in addressing many of these problems. As a first step in this direction, we consider the question of determining what language features are needed to model cyber-physical systems. Using a series of elementary examples of cyber-physical systems, we reflect on the extent to which a small, experimental domain-specific formalism called Acumen suffices for this purpose.</p>
|Opponents=
|Supervisors=
|Examiners=
|Patent=
|ThesisLevel=
|Credits=
|Programme=
|Subject=
|Uppsok=
|DefencePlace=
|DefenceLanguage=
|DefenceDate=
|CreatedDate=2012-11-05
|PublicationDate=2012-12-19
|LastUpdated=2013-11-15
|diva=http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:565038}}
<div style='display: none'>

== Keep all hand-made modifications below ==
</div>{{PublicationDisplayTemplate}}

@@ Line 4: / Line 4: @@
 {{PublicationSetupTemplate|Author=Walid Taha, Roland Philippsen
 |PID=565038
-|Name=Taha, Walid [waltah] (Högskolan i Halmstad [2804], Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE) [3905], Halmstad Embedded and Intelligent Systems Research (EIS) [3938], Centrum för forskning om inbyggda system (CERES) [6702]);Philippsen, Roland [rolphi] (Högskolan i Halmstad [2804], Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE) [3905], Halmstad Embedded and Intelligent Systems Research (EIS) [3938], Intelligenta system (IS-lab) [3941])
+|Name=Taha, Walid (waltah) (Högskolan i Halmstad (2804), Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE) (3905), Halmstad Embedded and Intelligent Systems Research (EIS) (3938), Centrum för forskning om inbyggda system (CERES) (6702));Philippsen, Roland (rolphi) (0000-0003-3513-8854) (Högskolan i Halmstad (2804), Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE) (3905), Halmstad Embedded and Intelligent Systems Research (EIS) (3938), Intelligenta system (IS-lab) (3941))
 |Title=Modeling Basic Aspects of Cyber-Physical Systems
 |PublicationType=Conference Paper
@@ Line 15: / Line 15: @@
 |Issue=
 |HostPublication=3rd International Workshop on Domain-Specific Languages and models for ROBotic systems (DSLRob-12)
-|Conference=3rd International Conference on Simulation, Modeling, and Programming for Autonomous Robots (SIMPAR-2012), November 5-8, Tsukuba, Japan
+|Conference=3rd International Conference on Simulation, Modeling, and Programming for Autonomous Robots (SIMPAR-2012),  Tsukuba, Japan, November 5-8, 2012
 |StartPage=
 |EndPage=
@@ Line 55: / Line 55: @@
 |CreatedDate=2012-11-05
 |PublicationDate=2012-12-19
-|LastUpdated=2013-11-15
+|LastUpdated=2014-11-19
 |diva=http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:565038}}
 <div style='display: none'>

Publications:Modeling Basic Aspects of Cyber-Physical Systems - Revision history

Slawek at 20:41, 30 September 2016

SlawekBot: Created page with " == Do not edit this section == {{PublicationSetupTemplate|Author=Walid Taha, Roland Philippsen |PID=565038 |Name=Taha, Walid [waltah] (Högs..."

SlawekBot: Created page with "
== Do not edit this section ==
{{PublicationSetupTemplate|Author=Walid Taha, Roland Philippsen |PID=565038 |Name=Taha, Walid [waltah] (Högs..."