Fully-Automated Verification of Linear Systems Using Reachability Analysis with Support Functions
DOI10.1145/3575870.3587121MaRDI QIDQ6202080
Matthias Althoff, Stanley Bak, Niklas Kochdumper, Mark Wetzlinger
Publication date: 21 February 2024
Published in: Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control (Search for Journal in Brave)
Full work available at URL: https://mediatum.ub.tum.de/1710697
formal verificationset-based computingiterative refinementhigh-dimensional systemsautomated parameter tuningcounterexample.
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)
Cites Work
- Unnamed Item
- Unnamed Item
- Constrained zonotopes: a new tool for set-based estimation and fault detection
- A note on regularity and positive definiteness of interval matrices
- Reachability analysis of linear systems using support functions
- Differential dynamic logic for hybrid systems
- Adaptive reachability algorithms for nonlinear systems using abstraction error analysis
- Simulation-equivalent reachability of large linear systems with inputs
- Conservative time discretization: a comparative study
- Efficient dynamic error reduction for hybrid systems reachability analysis
- Reachability analysis of continuous-time piecewise affine systems
- A dynamic algorithm for approximate flow computations
- Flowpipe approximation and clustering in space-time
- Eliminating spurious transitions in reachability with support functions
- Counterexample-Guided Refinement of Template Polyhedra
- Zonotope/Hyperplane Intersection for Hybrid Systems Reachability Analysis
- Systematic Simulation Using Sensitivity Analysis
- Reachability Analysis of Hybrid Systems Using Support Functions
- Parsimonious, Simulation Based Verification of Linear Systems
- Reachability Analysis for Solvable Dynamical Systems
- Logical Analysis of Hybrid Systems
- JuliaReach
- Computational techniques for hybrid system verification
- A time-dependent Hamilton-Jacobi formulation of reachable sets for continuous dynamic games
- A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates
- Hybrid Systems: Computation and Control
- Hybrid Systems: Computation and Control
- Hybrid Systems: Computation and Control
- Hybrid Systems: Computation and Control
- Ellipsotopes: Uniting Ellipsoids and Zonotopes for Reachability Analysis and Fault Detection
This page was built for publication: Fully-Automated Verification of Linear Systems Using Reachability Analysis with Support Functions
