Safety Verification of Hybrid Systems Using Barrier Certificates

This publication has 19 references indexed in Scilit:

• Progress on Reachability Analysis of Hybrid Systems Using Predicate Abstraction
  Published by Springer Nature ,2003
• Computational techniques for hybrid system verification
  IEEE Transactions on Automatic Control, 2003
• The d/dt Tool for Verification of Hybrid Systems
  Published by Springer Nature ,2002
• Reach Set Computations Using Real Quantifier Elimination
  Published by Springer Nature ,2001
• Optimization-Based Verification and Stability Characterization of Piecewise Affine and Hybrid Systems
  Published by Springer Nature ,2000
• Verification of Hybrid Systems with Linear Differential Inclusions Using Ellipsoidal Approximations
  Published by Springer Nature ,2000
• Multiple Lyapunov functions and other analysis tools for switched and hybrid systems
  IEEE Transactions on Automatic Control, 1998
• Computer-aided verification
  IEEE Spectrum, 1996
• The algorithmic analysis of hybrid systems
  Theoretical Computer Science, 1995
• Linear Matrix Inequalities in System and Control Theory
  Published by Society for Industrial & Applied Mathematics (SIAM) ,1994