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

Full description

Saved in:

Bibliographic Details
Published in:	Proceedings of the IEEE Vol. 106; no. 9; pp. 1568 - 1592
Main Authors:	Benveniste, Albert, Bourke, Timothy, Caillaud, Benoit, Colaco, Jean-Louis, Pasteur, Cedric, Pouzet, Marc
Format:	Journal Article
Language:	English
Published:	New York IEEE 01.09.2018 The Institute of Electrical and Electronics Engineers, Inc. (IEEE) Institute of Electrical and Electronics Engineers
Series:	Design Automation for Cyber-Physical Systems
Subjects:	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 Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!