Rigorous simulation-based analysis of linear hybrid systems

DOI10.1007/978-3-662-54577-5_32MaRDI QIDQ3303914zbMATH OpenOpenAlexFDO

Authors Stanley Bak, Parasara Sridhar Duggirala

Publication date 5 August 2020

Published in Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-662-54577-5_32

zbMATH Keywords

reachability analysishybrid automatondiscrete transitionsimulation enginetime instance

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Recommendations

• The algorithmic analysis of hybrid systems
• Efficient simulation of general stochastic hybrid systems
• Simulation-equivalent reachability of large linear systems with inputs
• Symbolic Reachability Analysis of Lazy Linear Hybrid Automata
• Towards an efficient path-oriented tool for bounded reachability analysis of linear hybrid systems using linear programming

Cites work

• A theory of timed automata
• Avoiding geometric intersection operations in reachability analysis of hybrid systems
• Computational techniques for hybrid system verification
• Computing reachable states for nonlinear biological models
• Differential dynamic logic for hybrid systems
• Flowpipe approximation and clustering in space-time
• HYST: a source transformation and translation tool for hybrid automaton models
• HyTech: A model checker for hybrid systems
• Hybrid Systems: Computation and Control
• Hybrid Systems: Computation and Control
• KeYmaera X: an axiomatic tactical theorem prover for hybrid systems
• Monte-Carlo techniques for falsification of temporal properties of non-linear hybrid systems
• Parsimonious, Simulation Based Verification of Linear Systems
• Reachability Analysis of Hybrid Systems Using Support Functions
• Robustness of temporal logic specifications for continuous-time signals
• Scalable static hybridization methods for analysis of nonlinear systems
• Systematic Simulation Using Sensitivity Analysis
• The algorithmic analysis of hybrid systems

Cited in

(7)

• Recent developments in theory and tool support for hybrid systems verification with \textsc{HyPro}
• Analysis of a second-order hybrid system with linear structure
• A dynamic quantized state system execution framework for hybrid automata
• Quantitative Verification for Neural Networks using ProbStars
• Extracting counterexamples induced by safety violation in linear hybrid systems
• Quantitative verification of learning-enabled systems using ProbStar reachability
• Parsimonious, Simulation Based Verification of Linear Systems

Describes a project that uses

Uses Software

• KeYmaera X
• CORA
• C2e2
• HYST
• SpaceEx
• CAPD
• Uppaal
• HyTech
• PHAVer
• KeYmaera

This page was built for publication: Rigorous simulation-based analysis of linear hybrid systems

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