1. S. Prajna, A. Jadbabaie, Safety verification of hybrid systems using barrier certificates, in: Proc. of Hybrid Systems: Computation and Control, Berlin, Heidelberg, 2004, pp. 477–492.
2. Level set methods for computation in hybrid systems;Mitchell,2000
3. A. Papachristodoulou, S. Prajna, On the construction of Lyapunov functions using the sum of squares decomposition, in: IEEE Conference on Decision and Control, 2002, pp. 3482–3487.
4. Structured Semidefinite Programs and Semialgebraic Geometry Methods in Robustness and Optimization;Parrilo,2000
5. System analysis via integral quadratic constraints;Megretski;IEEE Trans. Automat. Control,1997