Component based design of hybrid systems

DOI10.1145/2562059.2562120zbMath1361.68142OpenAlexW2023183798MaRDI QIDQ2986959

Astrid Rakow, Eike Möhlmann, Werner Damm

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

stabilityhybrid systemssafetyinterfacescompositionautomatic verificationcomputer-aided designspecificationsassume-guarantee

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)

Related Items (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

Uses Software

• CPLEX
• YALMIP
• MPT

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

This page was built for publication: Component based design of hybrid systems