Difference between revisions of "Publications:A Core Language for Executable Models of Cyber Physical Systems : work in progress report"
From CERES
(Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Walid Taha, Paul Brauner, Robert Cartwright, Veronica Gaspes, Aaron Ames, A...") |
(No difference)
|
Latest revision as of 04:44, 26 June 2014
| Title | A Core Language for Executable Models of Cyber Physical Systems : work in progress report |
|---|---|
| Author | Walid Taha and Paul Brauner and Robert Cartwright and Veronica Gaspes and Aaron Ames and Alexandre Chapoutot |
| Year | 2011 |
| PublicationType | Conference Paper |
| Journal | |
| HostPublication | |
| DOI | http://dx.doi.org/10.1145/2000367.2000376 |
| Conference | Work-in-Progress (WiP) Session of the 2nd International Conference on Cyber Physical Systems, ICCPS'11 WIP, Chicago, IL, USA, April 12 - 14, 2011 |
| Diva url | http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:588243 |
| Abstract | Recently we showed that an expressive class of mathemat-ical equations can be automatically translated into simula-tion codes. Focusing on the expressivity of equations oncontinuous functions, this work considered only minimal in-teraction with discrete behaviors and only a static numberof statically connected components. However, the interac-tion between continuous and hybrid components in manycyber physical domains is highly coupled, and such systemsare often highly dynamic in both respects. This paper givesan overview of a proposed core language for capturing ex-ecutable hybrid models of highly dynamic cyber physicalsystems. |
