A type-based analysis of causality loops in hybrid systems modelers
Albert Benveniste, Timothy Bourke, Benoı̂t Caillaud, Bruno Pagano, Marc Pouzet · 2014
Explicit hybrid systems modelers like Simulink/Stateflow allow for programming both discrete- and continuous-time behaviors with complex interactions between them. A key issue in their compilation is the static detection of algebraic or causality loops. Such loops can cause simulations to deadlock and prevent the generation of statically scheduled code.