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

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
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
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.