Skip to Main content Skip to Navigation
Journal articles

A core language for executable models of cyber physical systems: work in progress report

Abstract : Recently we showed that an expressive class of mathematical equations can be automatically translated into simulation codes. Focusing on the expressivity of equations on continuous functions, this work considered only minimal interaction with discrete behaviors and only a static number of statically connected 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.
Document type :
Journal articles
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-00819379
Contributor : Alexandre Chapoutot <>
Submitted on : Tuesday, April 30, 2013 - 11:03:01 PM
Last modification on : Friday, February 26, 2021 - 3:28:08 PM

Identifiers

Collections

Citation

Walid Taha, Paul Brauner, Robert Cartwright, Veronica Gaspes, Aaron Ames, et al.. A core language for executable models of cyber physical systems: work in progress report. ACM SIGBED Review, Association for Computing Machinery (ACM), 2011, 8 (2), pp.39-43. ⟨10.1145/2000367.2000376⟩. ⟨hal-00819379⟩

Share

Metrics

Record views

339