Spread the work: multi-threaded safety analysis for hybrid systems

DOI10.1007/978-3-319-92970-5_6MaRDI QIDQ6039384zbMATH OpenOpenAlexFDO

Authors Stefan Schupp, Erika Ábrahám

Publication date 5 May 2023

Published in Software Engineering and Formal Methods (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-92970-5_6

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

• Safe \& robust reachability analysis of hybrid systems
• Composing reachability analyses of hybrid systems for safety and stability
• Hybrid tools for hybrid systems -- proving stability and safety at once
• Safety verification for probabilistic hybrid systems
• Safety verification of hybrid systems using certified multiple Lyapunov-like functions
• Tools and Algorithms for the Construction and Analysis of Systems
• Towards Component Based Design of Hybrid Systems: Safety and Stability

Cited in

(1)

• Recent developments in theory and tool support for hybrid systems verification with \textsc{HyPro}

This page was built for publication: Spread the work: multi-threaded safety analysis for hybrid systems

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