A Core Language for Executable Models of Cyber-Physical Systems (Preliminary Report) - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2012

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

Résumé

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.
Fichier non déposé

Dates et versions

hal-00819378 , version 1 (30-04-2013)

Identifiants

Citer

Walid Taha, Paul Brauner, Yingfu Zeng, Robert Cartwright, Veronica Gaspes, et al.. A Core Language for Executable Models of Cyber-Physical Systems (Preliminary Report). 32nd International Conference on Distributed Computing Systems Workshops, Jun 2012, Macau, China. pp.129-138, ⟨10.1109/ICDCSW.2012.72⟩. ⟨hal-00819378⟩
149 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More