A Core Language for Executable Models of Cyber-Physical Systems (Preliminary Report)

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

Full description

Saved in:
Bibliographic Details
Published in2012 32nd International Conference on Distributed Computing Systems Workshops pp. 303 - 308
Main Authors Taha, W., Brauner, P., Yingfu Zeng, Cartwright, R., Gaspes, V., Ames, A., Chapoutot, A.
Format Conference Proceeding
LanguageEnglish
Published IEEE 01.06.2012
Subjects
Acceleration
Atmospheric modeling
Computational modeling
Cyber-Physical Systems
Educational institutions
Equations
Games
Mathematical model
Modeling
Simulation
Online AccessGet full text

Cover

More Information
Summary: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.
ISSN:1545-0678
2332-5666
DOI:10.1109/ICDCSW.2012.72