Parsimonious, Simulation Based Verification of Linear Systems

DOI10.1007/978-3-319-41528-4_26zbMath1411.68064OpenAlexW2501830452MaRDI QIDQ4633548

Mahesh Viswanathan, Parasara Sridhar Duggirala

Publication date: 3 May 2019

Published in: Computer Aided Verification (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-41528-4_26

Mathematics Subject Classification ID

Control/observation systems involving computers (process control, etc.) (93C83) Linear systems in control theory (93C05) 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)

Related Items

Multi-agent Safety Verification Using Symmetry Transformations ⋮ Automatic dynamic parallelotope bundles for reachability analysis of nonlinear systems ⋮ Reachability analysis of linear dynamic systems with constant, arbitrary, and Lipschitz continuous inputs ⋮ Extracting counterexamples induced by safety violation in linear hybrid systems ⋮ Adaptive parameter tuning for reachability analysis of nonlinear systems ⋮ Constrained polynomial zonotopes ⋮ The octatope abstract domain for verification of neural networks ⋮ 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 ⋮ Rigorous Simulation-Based Analysis of Linear Hybrid Systems

This page was built for publication: Parsimonious, Simulation Based Verification of Linear Systems