36 citations · 50 across the 6 of their papers we have counts for
Showing eess.SYShow all
2 papers · 1 filter
eess.SY2025★ 3 cited
Certifying Lyapunov Stability of Black-Box Nonlinear Systems via Counterexample Guided Synthesis (Extended Version)
Chiao Hsieh, Masaki Waga, Kohei Suenaga
Finding Lyapunov functions to certify the stability of control systems has been an important topic for verifying safety-critical systems. Most existing methods on finding Lyapunov…
eess.SY2022
GAS: Generating Fast and Accurate Surrogate Models for Autonomous Vehicle Systems
Keyur Joshi, Chiao Hsieh, Sayan Mitra +1
Modern autonomous vehicle systems use complex perception and control components. These components can rapidly change during development of such systems, requiring constant re-testi…