150 citations · 341 across the 17 of their papers we have counts for
Showing 2014 · eess.SYShow all
2 papers · 2 filters
eess.SY2014★ 4 cited
Delta-Complete Analysis for Bounded Reachability of Hybrid Systems
Sicun Gao, Soonho Kong, Wei Chen +1
We present the framework of delta-complete analysis for bounded reachability problems of general hybrid systems. We perform bounded reachability checking through solving delta-deci…
eess.SY2014
Revisiting the Complexity of Stability of Continuous and Hybrid Systems
Sicun Gao, Soonho Kong, Edmund Clarke
We develop a framework to give upper bounds on the "practical" computational complexity of stability problems for a wide range of nonlinear continuous and hybrid systems. To do so,…