Towards Component Based Design of Hybrid Systems: Safety and Stability
DOI10.1007/978-3-642-13754-9_6zbMATH Open1288.68162OpenAlexW1883009234MaRDI QIDQ3587253FDOQ3587253
Authors: Werner Damm, Henning Dierks, Jens Oehlerking, Amir Pnueli 
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
Recommendations
- Composing reachability analyses of hybrid systems for safety and stability
- Hybrid tools for hybrid systems -- proving stability and safety at once
- Combinatorial methods for invariance and safety of hybrid systems
- Safe \& robust reachability analysis of hybrid systems
- Composing stability proofs for hybrid systems
- Diagnosability, Security and Safety of Hybrid Dynamic and Cyber-Physical Systems
- Safety verification of hybrid systems using certified multiple Lyapunov-like functions
- Safety verification for probabilistic hybrid systems
Specification and verification (program logics, model checking, etc.) (68Q60) Design techniques (robust design, computer-aided design, etc.) (93B51) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)
Cites Work
- CSDP, A C library for semidefinite programming
- Hybrid Systems: Computation and Control
- Linear Matrix Inequalities in System and Control Theory
- Hybrid Systems: Computation and Control
- Title not available (Why is that?)
- Symbolic Reachability Analysis of Lazy Linear Hybrid Automata
- Strong $n$-generators and the rank of some Noetherian one-dimensional integral domains
- Compositional abstractions of hybrid control systems
- Automating Verification of Cooperation, Control, and Design in Traffic Applications
- Title not available (Why is that?)
- On Timed Simulation Relations for Hybrid Systems and Compositionality
- Decompositional Construction of Lyapunov Functions for Hybrid Systems
- Title not available (Why is that?)
Cited In (10)
- Diagnosability, Security and Safety of Hybrid Dynamic and Cyber-Physical Systems
- Continuity as a computational effect
- Contract-Based Design for Computation and Verification of a Closed-Loop Hybrid System
- A computational approach to synthesizing guards for hybrid systems
- Crossing the Bridge between Similar Games
- Component based design of hybrid systems: a case study on concurrency and coupling
- Can we build it: formal synthesis of control strategies for cooperative driver assistance systems
- Hybrid tools for hybrid systems -- proving stability and safety at once
- Spread the work: multi-threaded safety analysis for hybrid systems
- A verification-driven framework for iterative design of controllers
Uses Software
This page was built for publication: Towards Component Based Design of Hybrid Systems: Safety and Stability
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3587253)
