Building a Hybrid Systems Modeler on Synchronous Languages Principles

Hybrid systems modeling languages that mix discrete and continuous time signals and systems are widely used to develop cyber-physical systems where control software interacts with physical devices. Compilers play a central role, statically checking source models, generating intermediate representati...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Proceedings of the IEEE Jg. 106; H. 9; S. 1568 - 1592
Hauptverfasser:	Benveniste, Albert, Bourke, Timothy, Caillaud, Benoit, Colaco, Jean-Louis, Pasteur, Cedric, Pouzet, Marc
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	New York IEEE 01.09.2018 The Institute of Electrical and Electronics Engineers, Inc. (IEEE) Institute of Electrical and Electronics Engineers
Schriftenreihe:	Design Automation for Cyber-Physical Systems
Schlagworte:	Combinatorial analysis Compilers Computational modeling Computer models Computer Science Computer simulation Cyber-physical systems Differential equations Discrete-time systems Embedded Systems Hybrid systems Language Luster Mathematical model Modeling and Simulation nonlinear dynamical systems Numerical models Ordinary differential equations Programming Programming Languages Semantics systems modeling Systems modelling Time signals HybridLang Hybrid Systems Synchronous Languages Numerical Simulation
ISSN:	0018-9219, 1558-2256
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!