Linear Hybrid System Falsification through Local Search
- 1 January 2011
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 503-510
Abstract
No abstract availableKeywords
All Related Versions
This publication has 12 references indexed in Scilit:
- Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systems2010
- Bayesian Statistical Model Checking with Application to Stateflow/Simulink Verification2010
- Robustness of temporal logic specifications for continuous-time signalsTheoretical Computer Science, 2009
- Trajectory Based Verification Using Local Finite-Time Invariance2009
- Verification and Control of Hybrid Systems2009
- Efficient Reachability Analysis for Linear Systems using Support FunctionsIFAC Proceedings Volumes, 2008
- Robust Test Generation and Coverage for Hybrid Systems2007
- Sampling-based planning, control and verification of hybrid systemsIEE Proceedings - Control Theory and Applications, 2006
- Verification Using Simulation2006
- Dynamical properties of hybrid automataIEEE Transactions on Automatic Control, 2003