1. Switched stability of nonlinear systems via sos-convex Lyapunov functions and semidefinite programming;Ahmadi,2013
2. Joint spectral radius and path-complete graph Lyapunov functions;Ahmadi;SIAM Journal on Control and Optimization,2014
3. Set propagation techniques for reachability analysis;Althoff;Annual Review of Control, Robotics, and Autonomous Systems,2021
4. Simultaneous contractibility;Ando;SIAM Journal on Matrix Analysis and Applications,1998
5. A revised implementation of the reverse search vertex enumeration algorithm;Avis,2000