85 citations · 279 across the 25 of their papers we have counts for
4 papers · 1 filter
Fast Falsification of Hybrid Systems using Probabilistically Adaptive Input
Gidon Ernst, Sean Sedwards, Zhenya Zhang +1
We present an algorithm that quickly finds falsifying inputs for hybrid systems, i.e., inputs that steer the system towards violation of a given temporal logic requirement. Our met…
Two-Layered Falsification of Hybrid Systems guided by Monte Carlo Tree Search
Zhenya Zhang, Gidon Ernst, Sean Sedwards +2
Few real-world hybrid systems are amenable to formal verification, due to their complexity and black box components. Optimization-based falsification---a methodology of search-base…
Time-Staging Enhancement of Hybrid System Falsification
Gidon Ernst, Ichiro Hasuo, Zhenya Zhang +1
Optimization-based falsification employs stochastic optimization algorithms to search for error input of hybrid systems. In this paper we introduce a simple idea to enhance falsifi…
Bounding Errors Due to Switching Delays in Incrementally Stable Switched Systems (Extended Version)
Kengo Kido, Sean Sedwards, Ichiro Hasuo
Time delays pose an important challenge in networked control systems, which are now ubiquitous. Focusing on switched systems, we introduce a framework that provides an upper bound…