1. Automatic symbolic verification of embedded systems;Alur;IEEE Trans. SoftwareEng,1996
2. Stability of switched and hybrid systems;Branicky;Proc. 33rd Conf. Decision Contr,1994
3. Relay Feedback and Multivariable Control;Johansson,1997
4. Nonlinear Systems;Khalil,1996
5. Asymptotic stability of m-switched systems using lyapunov-like functions;Peleties;Proc. Am. Contr. Conf,1991