Your search returned the following 12 documents:

12. 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
    
    
11. 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.
    
10. Efficient Solving of Quantified Inequality Constraints over the Real Numbers
    Stefan Ratschan
    ACM Transactions on Computational Logic 7 (4): 723-748, 2006
    
9. 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
   
8. Verification-Integrated Falsification of Non-Deterministic Hybrid Systems
   Stefan Ratschan and Jan-Georg Smaus
   In: 2nd IFAC Conference on Analysis and Design of Hybrid Systems, Alghero, Italy, 2006
   
7. Guaranteed Termination in the Verification of LTL Properties of Non-linear Robust Discrete Time Hybrid Systems
   Werner Damm, Guilherme Pinto, and Stefan Ratschan
   In: Automated technology for verification and analysis : Third International Symposium, ATVA 2005, Taipei, Taiwan, 2005, 99-113
   
6. 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
   
5. Solving Undecidable Problems in the Theory of Real Numbers and Hybrid Systems
   Stefan Ratschan
   In: Algorithmic Algebra and Logic; Conference in Honor of the 60th Birthday of Volker Weispfenning, Passau, Germany, 2005, 213-216
   
4. Solving Existentially Quantified Constraints with One Equality and Arbitrarily Many Inequalities
   Stefan Ratschan
   In: Principles and practice on constraint programming - CP 2003 : 9th International Conference, CP 2003, Kinsale, Ireland, September 29-October 3, 2003, 2003, 615-633
   
3. Convergent Approximate Solving of First-order Constraints by Approximate Quantifiers
   Stefan Ratschan
   ACM Transactions on Computational Logic 5 (2): 264-281, 2004
   
2. Robust Pole Clustering of Parametric Uncertain Systems Using Interval Methods
   Stefan Ratschan and Josep Vehi
   In: Robust control design 2003 : (ROCOND 2003) ; a proceedings volume from the 4th IFAC symposium, Milano, 25-27 June 2003, 2004, 323-328
   [PS: Download: RatschanVehi.ps.gz]
   
1. Set Computation for Nonlinear Control
   Luc Jaulin, Stefan Ratschan, and Laurent Hardouin
   Reliable Computing 10 (1): 1-26, 2004