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

Full description

Bibliographic Details

Published in:	Nonlinear analysis. Hybrid systems Vol. 26; pp. 168 - 189
Main Authors:	Benveniste, Albert, Bourke, Timothy, Caillaud, Benoit, Pagano, Bruno, Pouzet, Marc
Format:	Journal Article
Language:	English
Published:	Elsevier Ltd 01.11.2017 Elsevier
Subjects:	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 Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!