Sök bland våra professorer, lärare och övriga medarbetare
( School of Information Technology )
A Core Language for Executable Models of Cyber Physical Systems : work in progress report
Taha, Walid, Brauner, Paul, Cartwright, Robert, Gaspes, Veronica, Ames, Aaron, Chapoutot, Alexandre
Conference paper (Refereegranskat)
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.
Key words: Modeling; Simulation; Cyber-Physical Systems