Database Entry Point
max planck institut
informatik
mpii logo Minerva of the Max Planck Society
 

Publications Master Template, generated: 18:37, 15 September 2019

Search the publication database

  . Return

Your search returned the following 5 documents:

  1. Stefan Ratschan and Zhikun She
    Safety Verification of Hybrid Systems by Constraint Propagation Based Abstraction Refinement
    ACM Transactions in Embedded Computing Systems 6 (1): 1-23, 2007

  2. Stefan Ratschan and Zhikun She
    Safety Verification of Hybrid Systems by Constraint Propagation Based Abstraction Refinement
    In: Hybrid Systems: Computation and Control: 8th International Workshop, HSCC 2005, Z├╝rich, Schweiz, 2005, 573-589
  3. Zhikun She, Bican Xia, and Rong Xiao
    A Semi-Algebraic Approach for the Computation of Lyapunov Functions
    In: 2th IASTED International Conference on COMPUTATIONAL INTELLIGENCE, San Francisco, CA, USA, 2006, 7-12
  4. Stefan Ratschan and Zhikun She
    Constraints for Continuous Reachability in the Verification of Hybrid Systems
    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.
  5. Zhikun She and Stefan Ratschan
    Providing a Basin of Attraction to a Target Region by Computation of Lyapunov-like Functions
    In: 4th IEEE International Conference on Computational Cybernetics, Tallinn, Estonia, 2006, 245-249