Modeling, Optimization and Computation for Software Verification

This publication has 17 references indexed in Scilit:

• Safety Verification of Hybrid Systems Using Barrier Certificates
  Published by Springer Nature ,2004
• Software technology for implementing reusable, distributed control systems
  IEEE Control Systems, 2003
• Optimal control of hybrid systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Linear Invariant Generation Using Non-linear Constraint Solving
  Published by Springer Nature ,2003
• On the computation of piecewise quadratic Lyapunov functions
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Computation of piecewise quadratic Lyapunov functions for hybrid systems
  IEEE Transactions on Automatic Control, 1998
• A unified framework for hybrid control: model and optimal control theory
  IEEE Transactions on Automatic Control, 1998
• Linear Matrix Inequalities in System and Control Theory
  Published by Society for Industrial & Applied Mathematics (SIAM) ,1994
• Systematic design of program analysis frameworks
  Published by Association for Computing Machinery (ACM) ,1979
• Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints
  Published by Association for Computing Machinery (ACM) ,1977