Your search returned the following 5 documents:

5. Safety Verification of Hybrid Systems by Constraint Propagation Based Abstraction Refinement
   Stefan Ratschan and Zhikun She
   ACM Transactions in Embedded Computing Systems 6 (1): 1-23, 2007
   
   
4. Safety Verification of Hybrid Systems by Constraint Propagation Based Abstraction Refinement
   Stefan Ratschan and Zhikun She
   In: Hybrid Systems: Computation and Control: 8th International Workshop, HSCC 2005, Zürich, Schweiz, 2005, 573-589
   
3. A Semi-Algebraic Approach for the Computation of Lyapunov Functions
   Zhikun She, Bican Xia, and Rong Xiao
   In: 2th IASTED International Conference on COMPUTATIONAL INTELLIGENCE, San Francisco, CA, USA, 2006, 7-12
   
2. Constraints for Continuous Reachability in the Verification of Hybrid Systems
   Stefan Ratschan and Zhikun She
   In: Artificial Intelligence and Symbolic Computation, 8th International Conference, AISC 2006, Beijing, China, 2006, 196-210. Note: This work was partly supported by the German Research Council (DFG) as part of the Transregional Collaborative Research Center "Automatic Verification and Analysis of Complex Systems" (SFB/TR 14 AVACS). See www.avacs.org for more information.
   
1. Providing a Basin of Attraction to a Target Region by Computation of Lyapunov-like Functions
   Zhikun She and Stefan Ratschan
   In: 4th IEEE International Conference on Computational Cybernetics, Tallinn, Estonia, 2006, 245-249