Simulation-equivalent reachability of large linear systems with inputs

DOI10.1007/978-3-319-63387-9_20zbMath1497.93010OpenAlexW2734705105MaRDI QIDQ2151263

Parasara Sridhar Duggirala, Stanley Bak

Publication date: 1 July 2022

Full work available at URL: https://doi.org/10.1007/978-3-319-63387-9_20

Mathematics Subject Classification ID

Linear programming (90C05) Linear systems in control theory (93C05) Attainable sets, reachability (93B03) Control/observation systems governed by ordinary differential equations (93C15)

Related Items (15)

Extracting counterexamples induced by safety violation in linear hybrid systems ⋮ Using Intersection of Unions to Minimize Multi-directional Linearization Error in Reachability Analysis ⋮ Verification of machine learning based cyber-physical systems: a comparative study ⋮ Constrained polynomial zonotopes ⋮ Quantitative Verification for Neural Networks using ProbStars ⋮ Fully-Automated Verification of Linear Systems Using Reachability Analysis with Support Functions ⋮ Verification of Recurrent Neural Networks with Star Reachability ⋮ Reachability Analysis for Linear Systems with Uncertain Parameters using Polynomial Zonotopes ⋮ Reachability of weakly nonlinear systems using Carleman linearization ⋮ Verification of piecewise deep neural networks: a star set approach with zonotope pre-filter ⋮ On checking equivalence of simulation scripts ⋮ Decomposing reach set computations with low-dimensional sets and high-dimensional matrices (extended version) ⋮ Parameter synthesis of polynomial dynamical systems ⋮ Recent developments in theory and tool support for hybrid systems verification with \textsc{HyPro} ⋮ Reachability analysis of a general class of neural ordinary differential equations

This page was built for publication: Simulation-equivalent reachability of large linear systems with inputs