Abstraction by Projection and Application to Multi-affine Systems

This publication has 26 references indexed in Scilit:

• Bisimilar linear systems
  Automatica, 2003
• The d/dt Tool for Verification of Hybrid Systems
  Published by Springer Nature ,2002
• Approximate Reachability Analysis of Piecewise-Linear Dynamical Systems
  Published by Springer Nature ,2000
• Ellipsoidal Techniques for Reachability Analysis
  Published by Springer Nature ,2000
• Level Set Methods for Computation in Hybrid Systems
  Published by Springer Nature ,2000
• Verification of Polyhedral-Invariant Hybrid Automata Using Polygonal Flow Pipe Approximations
  Published by Springer Nature ,1999
• Algorithmic analysis of nonlinear hybrid systems
  IEEE Transactions on Automatic Control, 1998
• Stability and Euler Approximation of One-sided Lipschitz Differential Inclusions
  SIAM Journal on Control and Optimization, 1998
• On the Time-Discretization of Control Systems
  SIAM Journal on Control and Optimization, 1997
• Abstract interpretation and application to logic programs
  The Journal of Logic Programming, 1992