A type-based analysis of causality loops in hybrid systems modelers

Explicit hybrid systems modelers like Simulink/Stateflow allow for programming both discrete- and continuous-time behaviors with complex interactions between them. An important step in their compilation is the static detection of algebraic or causality loops. Such loops can cause simulations to dead...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Nonlinear analysis. Hybrid systems Jg. 26; S. 168 - 189
Hauptverfasser:	Benveniste, Albert, Bourke, Timothy, Caillaud, Benoit, Pagano, Bruno, Pouzet, Marc
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Elsevier Ltd 01.11.2017 Elsevier
Schlagworte:	Automatic Control Engineering Computer Science Embedded Systems Hybrid systems Mathematical Software Modeling and Simulation Other Synchronous programming languages Type systems Type systems Hybrid systems Synchronous programming languages Numerical solver HybridLang Mathematical modelling language
ISSN:	1751-570X
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!