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

Celý popis

Podrobná bibliografia

Vydané v:	Nonlinear analysis. Hybrid systems Ročník 26; s. 168 - 189
Hlavní autori:	Benveniste, Albert, Bourke, Timothy, Caillaud, Benoit, Pagano, Bruno, Pouzet, Marc
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Elsevier Ltd 01.11.2017 Elsevier
Predmet:	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
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!