Publications:A Core Language for Executable Models of Cyber Physical Systems : work in progress report
From CERES
| 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. |
