View source for Publications:A Core Language for Executable Models of Cyber-Physical Systems (Preliminary Report)

<div style='display: none'>
== Do not edit this section ==
</div>
{{PublicationSetupTemplate|Author=Walid Taha, Paul Brauner, Yingfu Zeng, Robert Cartwright, Veronica Gaspes, Aaron Ames, Alexandre Chapoutot
|PID=588234
|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]);Brauner, Paul (Rice University, Houston, TX, USA);Zeng, Yingfu (Rice University, Houston, TX, USA);Cartwright, Robert (Rice University, Houston, TX, USA);Gaspes, Veronica [vero] (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]);Ames, Aaron (University of Texas A&M, College Station, TX, USA);Chapoutot, Alexandre (ENSTA ParisTech, Paris, France)
|Title=A Core Language for Executable Models of Cyber-Physical Systems (Preliminary Report)
|PublicationType=Conference Paper
|ContentType=Refereegranskat
|Language=eng
|Journal=
|JournalISSN=
|Status=
|Volume=
|Issue=
|HostPublication=
|Conference=The Second International Workshop on Cyber-Physical Networking Systems (CPNS 2012) Macau, China, June 20, 2012. In conjunction with 32nd IEEE International Conference on Distributed Computing Systems Workshops, ICDCSW 2012
|StartPage=303
|EndPage=308
|Year=2012
|Edition=
|Pages=
|City=Piscataway, N.J.
|Publisher=IEEE Press
|Series=IEEE International Conference on Distributed Computing Systems Workshops
|SeriesISSN=1545-0678
|ISBN=978-1-4673-1423-7
|Urls=
|ISRN=
|DOI=http://dx.doi.org/10.1109/ICDCSW.2012.72
|ISI=
|PMID=
|ScopusId=2-s2.0-84866395141
|NBN=urn:nbn:se:hh:diva-20915
|LocalId=
|ArchiveNumber=
|Keywords=Modeling;Simulation;Cyber-Physical Systems
|Categories=Datorsystem (20206)
|ResearchSubjects=
|Projects=
|Notes=
|Abstract=<p>Recently we showed that an expressive class of mathematical equations can be automatically translated into simulation codes. By focusing on the expressivity of equations formed from continuous functions, this work did not accommodate a wide range of discrete behaviors or a dynamic collection of components. However, the interaction between continuous and hybrid components in many cyber-physical domains is highly coupled, and such systems are often highly dynamic in both respects. This paper gives an overview of a proposed core language for capturing executable hybrid models of highly dynamic cyber-physical systems. © 2012 IEEE.</p>
|Opponents=
|Supervisors=
|Examiners=
|Patent=
|ThesisLevel=
|Credits=
|Programme=
|Subject=
|Uppsok=
|DefencePlace=
|DefenceLanguage=
|DefenceDate=
|CreatedDate=2013-01-14
|PublicationDate=2013-01-15
|LastUpdated=2013-02-19
|diva=http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:588234}}
<div style='display: none'>

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