1. Henzinger, T.A., Kopke, P.W., Puri, A., Varaiya, P.: What’s decidable about hybrid automata? In: Proc. of STOC 1995, pp. 373–382. ACM, New York (1995)
2. Lecture Notes in Computer Science;O. Bournez,1999
3. Chutinan, A., Krogh, B.H.: Computing polyhedral approximations to flow pipes for dynamic systems. In: Proc. of CDC 1998. IEEE Press, Los Alamitos (1998)
4. Kurzhanski, A.B., Varaiya, P.: On ellipsoidal techniques for reachability analysis. Optimization Methods and Software 17, 177–237 (2000)
5. Lecture Notes in Computer Science;A. Girard,2005