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á bibliografie

Vydáno v:	Nonlinear analysis. Hybrid systems Ročník 26; s. 168 - 189
Hlavní autoři:	Benveniste, Albert, Bourke, Timothy, Caillaud, Benoit, Pagano, Bruno, Pouzet, Marc
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Elsevier Ltd 01.11.2017 Elsevier
Témata:	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 přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!