Recent developments in theory and tool support for hybrid systems verification with \textsc{HyPro}
From MaRDI portal
Publication:2105429
DOI10.1016/j.ic.2022.104945OpenAlexW4286566378MaRDI QIDQ2105429
Erika Ábrahám, Stefan Schupp, Tristan Ebert
Publication date: 8 December 2022
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ic.2022.104945
Related Items
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- The algorithmic analysis of hybrid systems
- Optimizing reachability probabilities for a restricted class of stochastic hybrid automata via flowpipe-construction
- Hybridization methods for the analysis of nonlinear systems
- Reachability analysis of linear systems using support functions
- What's decidable about hybrid automata?
- Simulation-equivalent reachability of large linear systems with inputs
- Verification of deep convolutional neural networks using ImageStars
- Efficient dynamic error reduction for hybrid systems reachability analysis
- Rigorous integration of flows and ODEs using taylor models
- Flowpipe approximation and clustering in space-time
- Rigorous Simulation-Based Analysis of Linear Hybrid Systems
- SMT-RAT: An Open Source C++ Toolbox for Strategic and Parallel SMT Solving
- KeYmaera: A Hybrid Theorem Prover for Hybrid Systems (System Description)
- Introduction to Interval Analysis
- Lectures on Polytopes
- NLTOOLBOX: A Library for Reachability Computation of Nonlinear Dynamical Systems
- JuliaReach
- Hybrid Systems: Computation and Control
- Symbolic Model Checking of Hybrid Systems Using Template Polyhedra
- Hybrid Systems: Computation and Control
- Hybrid Systems: Computation and Control
- Spread the work: multi-threaded safety analysis for hybrid systems
