34 citations · 77 across the 14 of their papers we have counts for
Showing 2015Show all
2 papers · 1 filter
eess.SY2015★ 2 cited
Computing finite abstractions with robustness margins via local reachable set over-approximation
Yinan Li, Jun Liu, Necmiye Ozay
This paper proposes a method to compute finite abstractions that can be used for synthesizing robust hybrid control strategies for nonlinear systems. Most existing methods for comp…
math.DS2015
Lyapunov-based sufficient conditions for stability of hybrid systems with memory
Jun Liu, Andrew R. Teel
Hybrid systems with memory are dynamical systems exhibiting both hybrid and delay phenomena. In this note, we study the asymptotic stability of hybrid systems with memory using gen…