Reachability of Uncertain Linear Systems Using Zonotopes

This publication has 16 references indexed in Scilit:

• Abstraction by Projection and Application to Multi-affine Systems
  Published by Springer Nature ,2004
• Computational techniques for the verification of hybrid systems
  Proceedings of the IEEE, 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
• Towards Computing Phase Portraits of Polygonal Differential Inclusions
  Published by Springer Nature ,2002
• Reachability Analysis of Hybrid Systems via Predicate Abstraction
  Published by Springer Nature ,2002
• Series of Abstractions for Hybrid Automata
  Published by Springer Nature ,2002
• Verification of Polyhedral-Invariant Hybrid Automata Using Polygonal Flow Pipe Approximations
  Published by Springer Nature ,1999
• Zonotope Dynamics in Numerical Quality Control
  Published by Springer Nature ,1998
• A polyhedral method for solving sparse polynomial systems
  Mathematics of Computation, 1995