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.0570MaRDI 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
93C55: Discrete-time control/observation systems
93C05: Linear systems in control theory
93B03: Attainable sets, reachability
Related Items
Automated generation of hybrid automata for multi-rigid-body mechanical systems and its application to the falsification of safety properties, Temporally and spatially flexible plan execution for dynamic hybrid systems, Finding Errors of Hybrid Systems by Optimising an Abstraction-Based Quality Estimate
Uses Software