Fully-Automated Verification of Linear Systems Using Reachability Analysis with Support Functions
type: Item
instance of: scholarly article
title: Fully-Automated Verification of Linear Systems Using Reachability Analysis with Support Functions
DOI: 10.1145/3575870.3587121
author: Mark Wetzlinger
author: Niklas Kochdumper
author: Stanley Bak
author: Matthias Althoff
published in: Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control
publication date: 2024-02-21T00:00:00Z
full work available at URL: https://mediatum.ub.tum.de/1710697
Mathematics Subject Classification ID: 68Q45
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 93C30
zbMATH DE Number: 7807946
zbMATH Keywords: formal verification
zbMATH Keywords: automated parameter tuning
zbMATH Keywords: counterexample.
zbMATH Keywords: high-dimensional systems
zbMATH Keywords: iterative refinement
zbMATH Keywords: set-based computing
MaRDI profile type: MaRDI publication profile
cites work: Q4953376
cites work: Simulation-equivalent reachability of large linear systems with inputs
cites work: JuliaReach
cites work: Counterexample-Guided Refinement of Template Polyhedra
cites work: Computational techniques for hybrid system verification
cites work: Systematic Simulation Using Sensitivity Analysis
cites work: Parsimonious, Simulation Based Verification of Linear Systems
cites work: A note on regularity and positive definiteness of interval matrices
cites work: Conservative time discretization: a comparative study
cites work: Eliminating spurious transitions in reachability with support functions
cites work: Flowpipe approximation and clustering in space-time
cites work: Reachability Analysis for Solvable Dynamical Systems
cites work: Hybrid Systems: Computation and Control
cites work: Zonotope/Hyperplane Intersection for Hybrid Systems Reachability Analysis
cites work: Reachability analysis of continuous-time piecewise affine systems
cites work: Ellipsotopes: Uniting Ellipsoids and Zonotopes for Reachability Analysis and Fault Detection
cites work: Q4953393
cites work: Reachability Analysis of Hybrid Systems Using Support Functions
cites work: Reachability analysis of linear systems using support functions
cites work: A time-dependent Hamilton-Jacobi formulation of reachable sets for continuous dynamic games
cites work: Differential dynamic logic for hybrid systems
cites work: Logical Analysis of Hybrid Systems
cites work: A dynamic algorithm for approximate flow computations
cites work: A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates
cites work: Efficient dynamic error reduction for hybrid systems reachability analysis
cites work: Constrained zonotopes: a new tool for set-based estimation and fault detection
cites work: Adaptive reachability algorithms for nonlinear systems using abstraction error analysis
description: scientific article; zbMATH DE number 7807946