Component based design of hybrid systems: a case study on concurrency and coupling

DOI10.1145/2562059.2562120MaRDI QIDQ2986959zbMATH OpenOpenAlexFDO

Authors Werner Damm, Eike Möhlmann, Astrid Rakow

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://doi.org/10.1145/2562059.2562120

zbMATH Keywords

assume-guaranteeautomatic verificationcompositioncomputer-aided designhybrid systemsinterfacessafetyspecificationsstability

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Towards Component Based Design of Hybrid Systems: Safety and Stability
• Contract-Based Design for Computation and Verification of a Closed-Loop Hybrid System
• Proof-Based Approach to Hybrid Systems Development: Dynamic Logic and Event-B
• scientific article; zbMATH DE number 2085342
• Change and delay contracts for hybrid system component verification

Cites work

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

Cited in

(4)

• An abstract model for proving safety of autonomous urban traffic
• Hybrid tools for hybrid systems -- proving stability and safety at once
• An abstract model for proving safety of autonomous urban traffic
• Efficient geometric operations on convex polyhedra, with an application to reachability analysis of hybrid systems

Describes a project that uses

Uses Software

• CPLEX
• YALMIP
• MPT

This page was built for publication: Component based design of hybrid systems: a case study on concurrency and coupling

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2986959)