A Parallelotope Method for Hybrid System Simulation
Résumé
Enclosure methods based on interval analysis construct state enclosures of dynamical systems. Parallelotope state enclosures are well known and widely used in the context of discrete-time dynamical systems and continuous-time ODE-driven dynamical systems. They drastically reduce the wrapping effect in the case of small initial conditions (small enough so that linearizations are accurate). We propose and experimentally evaluate a new parallelotope method for hybrid systems. Our method provides much sharper enclosures than the current methods for small initial conditions , it allows a correct timing associated with state enclosures to be maintained, and it computes space derivatives along the trajectory.