Publications:A Core Language for Executable Models of Cyber Physical Systems : work in progress report

From CERES
Jump to: navigation, search

Do not edit this section

Keep all hand-made modifications below

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.