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

DOI10.1016/j.nahs.2017.04.004zbMath1373.93112MaRDI QIDQ5915766

Timothy Bourke, Marc Pouzet, Bruno Pagano, Benoît Caillaud, Albert Benveniste

Publication date: 16 November 2017

Published in: Nonlinear Analysis. Hybrid Systems (Search for Journal in Brave)

Full work available at URL: https://hal.inria.fr/hal-01549183v2/file/paper.pdf

zbMATH Keywords

hybrid systemstype systemssynchronous programming languages

Mathematics Subject Classification ID

Uses Software

• SIGNAL
• Simulink
• StateFlow
• Ptolemy
• LUSTRE
• Quartz
• Mulprec
• Esterel
• Zelus

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Non-standard semantics of hybrid systems modelers
• Simplifying subtyping constraints: a theory
• From synchronous programs to symbolic representations of hybrid systems
• Zélus
• Numerical Methods in Scientific Computing, Volume I
• Actors without Directors: A Kahnian View of Heterogeneous Systems
• Hybrid Systems: Computation and Control
• Languages and Tools for Hybrid Systems Design
• Constructive nonstandard representations of generalized functions

This page was built for publication: A type-based analysis of causality loops in hybrid systems modelers