Sampling-Based Resolution-Complete Algorithms for Safety Falsification of Linear Systems
From MaRDI portal
Publication:3523142
DOI10.1007/978-3-540-78929-1_45zbMath1144.93309arXiv0801.0570OpenAlexW1613235480MaRDI QIDQ3523142
Publication date: 2 September 2008
Published in: Hybrid Systems: Computation and Control (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/0801.0570
Discrete-time control/observation systems (93C55) Linear systems in control theory (93C05) Attainable sets, reachability (93B03)
Related Items (3)
Temporally and spatially flexible plan execution for dynamic hybrid systems ⋮ Finding Errors of Hybrid Systems by Optimising an Abstraction-Based Quality Estimate ⋮ Automated generation of hybrid automata for multi-rigid-body mechanical systems and its application to the falsification of safety properties
Uses Software
This page was built for publication: Sampling-Based Resolution-Complete Algorithms for Safety Falsification of Linear Systems
