Towards Component Based Design of Hybrid Systems: Safety and Stability

DOI10.1007/978-3-642-13754-9_6zbMath1288.68162OpenAlexW1883009234MaRDI QIDQ3587253

Werner Damm, Amir Pnueli, Henning Dierks, Jens Oehlerking

Publication date: 7 September 2010

Published in: Time for Verification (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-13754-9_6

Mathematics Subject Classification ID

Design techniques (robust design, computer-aided design, etc.) (93B51) Specification and verification (program logics, model checking, etc.) (68Q60) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Related Items (4)

Continuity as a computational effect ⋮ Crossing the Bridge between Similar Games ⋮ Hybrid Tools for Hybrid Systems – Proving Stability and Safety at Once ⋮ Can we build it: formal synthesis of control strategies for cooperative driver assistance systems

Uses Software

• CSDP
• SeDuMi
• PHAVer
• HyTech

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Compositional abstractions of hybrid control systems
• Symbolic Reachability Analysis of Lazy Linear Hybrid Automata
• On Timed Simulation Relations for Hybrid Systems and Compositionality
• Automating Verification of Cooperation, Control, and Design in Traffic Applications
• Decompositional Construction of Lyapunov Functions for Hybrid Systems
• Linear Matrix Inequalities in System and Control Theory
• Strong $n$-generators and the rank of some Noetherian one-dimensional integral domains
• CSDP, A C library for semidefinite programming
• Hybrid Systems: Computation and Control
• Hybrid Systems: Computation and Control

This page was built for publication: Towards Component Based Design of Hybrid Systems: Safety and Stability