Sök personal

Sök bland våra professorer, lärare och övriga medarbetare

Staff at Halmstad University

Go back

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

Cite: Taha, Walid, Brauner, Paul, Zeng, Yingfu, Cartwright, Robert, Gaspes, Veronica, Ames, Aaron & Chapoutot, Alexandre, A Core Language for Executable Models of Cyber-Physical Systems (Preliminary Report), IEEE Press, Piscataway, N.J., 2012