@inproceedings{7a416f371aae4b1ba7f9305eff5aa476,
title = "Monte-Carlo techniques for falsification of temporal properties of non-linear hybrid systems",
abstract = "We present a Monte-Carlo optimization technique for finding inputs to a system that falsify a given Metric Temporal Logic (MTL) property. Our approach performs a random walk over the space of inputs guided by a robustness metric defined by the MTL property. Robustness can be used to guide our search for a falsifying trajectory by exploring trajectories with smaller robustness values. We show that the notion of robustness can be generalized to consider hybrid system trajectories. The resulting testing framework can be applied to non-linear hybrid systems with external inputs. We show through numerous experiments on complex systems that using our framework can help automatically falsify properties with more consistency as compared to other means such as uniform sampling.",
keywords = "Hybrid systems, Metric temporal logic, Robustness, Testing",
author = "Truong Nghiem and Sriram Sankaranarayanan and Georgios Fainekos and Franjo Ivan{\v c}i{\'c} and Aarti Gupta and Pappas, {George J.}",
year = "2010",
doi = "10.1145/1755952.1755983",
language = "English (US)",
isbn = "9781605589558",
series = "HSCC'10 - Proceedings of the 13th ACM International Conference on Hybrid Systems: Computation and Control",
pages = "211--220",
booktitle = "HSCC'10 - Proceedings of the 13th ACM International Conference on Hybrid Systems",
note = "13th ACM International Conference on Hybrid Systems: Computation and Control, HSCC'10 ; Conference date: 12-04-2010 Through 15-04-2010",
}