Towards Component Based Design of Hybrid Systems: Safety and Stability

DOI10.1007/978-3-642-13754-9_6MaRDI QIDQ3587253zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

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)

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

Cites work

• scientific article; zbMATH DE number 2000403 (Why is no real title available?)
• scientific article; zbMATH DE number 1794375 (Why is no real title available?)
• scientific article; zbMATH DE number 2085340 (Why is no real title available?)
• Automating Verification of Cooperation, Control, and Design in Traffic Applications
• CSDP, A C library for semidefinite programming
• Compositional abstractions of hybrid control systems
• Decompositional Construction of Lyapunov Functions for Hybrid Systems
• Hybrid Systems: Computation and Control
• Hybrid Systems: Computation and Control
• Linear Matrix Inequalities in System and Control Theory
• On Timed Simulation Relations for Hybrid Systems and Compositionality
• Strong $n$-generators and the rank of some Noetherian one-dimensional integral domains
• Symbolic Reachability Analysis of Lazy Linear Hybrid Automata

Cited in

(10)

• A computational approach to synthesizing guards for hybrid systems
• Hybrid tools for hybrid systems -- proving stability and safety at once
• A verification-driven framework for iterative design of controllers
• Spread the work: multi-threaded safety analysis for hybrid systems
• Contract-Based Design for Computation and Verification of a Closed-Loop Hybrid System
• Diagnosability, Security and Safety of Hybrid Dynamic and Cyber-Physical Systems
• Continuity as a computational effect
• 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

Describes a project that uses

Uses Software

• CSDP
• SeDuMi
• PHAVer
• HyTech

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)