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

DOI10.1145/2562059.2562125zbMath1362.68282OpenAlexW1989462278MaRDI QIDQ5892442

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

Publication date: 16 May 2017

Published in: Proceedings of the 17th international conference on Hybrid systems: computation and control (Search for Journal in Brave)

Full work available at URL: https://hal.inria.fr/hal-00938866/file/Sys2soft_WP3.1_D3.1_1_Causality_in_Hybrid_Systems_Modelers_V_1.0.pdf

zbMATH Keywords

hybrid systemsstatic analysistype systemsblock diagramssynchronous programming languages

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)

Related Items

Non-standard semantics of hybrid systems modelers

Uses Software

• CPLEX
• Simulink
• StateFlow
• YALMIP
• MPT
• Zelus

Cites Work

• Minkowski terminal cost functions for MPC
• A quasi-infinite horizon nonlinear model predictive control scheme with guaranteed stability
• Constrained model predictive control: Stability and optimality
• On infinity norms as Lyapunov functions for piecewise affine systems
• Linear systems with state and control constraints: the theory and application of maximal output admissible sets
• Computation of piecewise quadratic Lyapunov functions for hybrid systems
• Lyapunov Functions, Stability and Input-to-State Stability Subtleties for Discrete-Time Discontinuous Systems
• Stability analysis of piecewise discrete-time linear systems
• Convex Analysis
• Set-theoretic methods in control