Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systems
Open Access
- 12 April 2010
- conference paper
- Published by Association for Computing Machinery (ACM)
- p. 211-220
Abstract
No abstract availableKeywords
This publication has 24 references indexed in Scilit:
- Robustness of temporal logic specifications for continuous-time signalsTheoretical Computer Science, 2009
- Sampling-based planning, control and verification of hybrid systemsIEE Proceedings - Control Theory and Applications, 2006
- Statistical probabilistic model checking with a focus on time-bounded propertiesInformation and Computation, 2006
- Hit-and-Run from a CornerSIAM Journal on Computing, 2006
- An asynchronous integration and event detection algorithm for simulating multi-agent hybrid systemsACM Transactions on Modeling and Computer Simulation, 2004
- On reachability and minimum cost optimal controlAutomatica, 2004
- Hit-and-run mixes fastMathematical Programming, 1999
- The algorithmic analysis of hybrid systemsTheoretical Computer Science, 1995
- Simulated annealing for constrained global optimizationJournal of Global Optimization, 1994
- Improving Hit-and-Run for global optimizationJournal of Global Optimization, 1993