Publications:A Core Language for Executable Models of Cyber-Physical Systems (Preliminary 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 (Preliminary Report)
Author Walid Taha and Paul Brauner and Yingfu Zeng and Robert Cartwright and Veronica Gaspes and Aaron Ames and Alexandre Chapoutot
Year 2012
PublicationType Conference Paper
Journal
HostPublication
DOI http://dx.doi.org/10.1109/ICDCSW.2012.72
Conference The Second International Workshop on Cyber-Physical Networking Systems (CPNS 2012) Macau, China, June 20, 2012. In conjunction with 32nd IEEE International Conference on Distributed Computing Systems Workshops, ICDCSW 2012
Diva url http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:588234
Abstract Recently we showed that an expressive class of mathematical equations can be automatically translated into simulation codes. By focusing on the expressivity of equations formed from continuous functions, this work did not accommodate a wide range of discrete behaviors or a dynamic collection of components. However, the interaction between continuous and hybrid components in many cyber-physical domains is highly coupled, and such systems are often highly dynamic in both respects. This paper gives an overview of a proposed core language for capturing executable hybrid models of highly dynamic cyber-physical systems. © 2012 IEEE.