Rigorous Simulation-Based Analysis of Linear Hybrid Systems
From MaRDI portal
Publication:3303914
DOI10.1007/978-3-662-54577-5_32zbMath1452.68098OpenAlexW2603150469MaRDI QIDQ3303914
Parasara Sridhar Duggirala, Stanley Bak
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
Related Items (3)
Extracting counterexamples induced by safety violation in linear hybrid systems ⋮ Quantitative Verification for Neural Networks using ProbStars ⋮ Recent developments in theory and tool support for hybrid systems verification with \textsc{HyPro}
Uses Software
Cites Work
- Computing reachable states for nonlinear biological models
- The algorithmic analysis of hybrid systems
- Robustness of temporal logic specifications for continuous-time signals
- Differential dynamic logic for hybrid systems
- A theory of timed automata
- HyTech: A model checker for hybrid systems
- Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systems
- Avoiding geometric intersection operations in reachability analysis of hybrid systems
- Flowpipe approximation and clustering in space-time
- HYST
- Scalable Static Hybridization Methods for Analysis of Nonlinear Systems
- KeYmaera X: An Axiomatic Tactical Theorem Prover for Hybrid Systems
- Systematic Simulation Using Sensitivity Analysis
- Reachability Analysis of Hybrid Systems Using Support Functions
- Parsimonious, Simulation Based Verification of Linear Systems
- Computational techniques for hybrid system verification
- Hybrid Systems: Computation and Control
- Hybrid Systems: Computation and Control
This page was built for publication: Rigorous Simulation-Based Analysis of Linear Hybrid Systems