Reachability of Uncertain Linear Systems Using Zonotopes

This publication has 16 references indexed in Scilit:

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