Constructing Invariants for Hybrid Systems

This publication has 17 references indexed in Scilit:

• Linear Invariant Generation Using Non-linear Constraint Solving
  Published by Springer Nature ,2003
• Solving Numerical Constraints
  Published by Elsevier ,2001
• A Transformational Approach for Generating Non-linear Invariants
  Published by Springer Nature ,2000
• Term Rewriting and All That
  Published by Cambridge University Press (CUP) ,1998
• REDLOG
  ACM SIGSAM Bulletin, 1997
• Verification of Real-Time Systems using Linear Relation Analysis
  Formal Methods in System Design, 1997
• Algorithmic analysis of nonlinear hybrid systems
  Published by Springer Nature ,1995
• Partial Cylindrical Algebraic Decomposition for quantifier elimination
  Journal of Symbolic Computation, 1991
• Automatic discovery of linear restraints among variables of a program
  Published by Association for Computing Machinery (ACM) ,1978
• 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