Numerical integration of hybrid dynamical systems via domain relaxation

Though hybrid dynamical systems are a powerful modeling tool, it has proven difficult to accurately simulate their trajectories. In this paper, we develop a provably convergent numerical integration scheme for approximating trajectories of hybrid dynamical systems. This is accomplished by first relaxing hybrid systems whose continuous states reside on manifolds by attaching epsilon-sized strips to portions of the boundary and then extending the dynamic and distance metric onto these strips. On this space we develop a numerical integration scheme and prove that discrete approximations converge to trajectories of the hybrid system. An example is included to illustrate the approach.

[1]  Vijay Kumar,et al.  Accurate Event Detection for Simulating Hybrid Systems , 2001, HSCC.

[2]  W. Rudin.  Principles of mathematical analysis , 1964 .

[3]  Elijah Polak,et al.  Optimization: Algorithms and Consistent Approximations , 1997 .

[4]  B. Brogliato,et al.  Numerical simulation of finite dimensional multibody nonsmooth mechanical systems , 2001 .

[5]  D. Burago,et al.  A Course in Metric Geometry , 2001 .

[6]  S. Shankar Sastry,et al.  A Homology Theory for Hybrid Systems: Hybrid Homology , 2005, HSCC.

[7]  S. Sastry,et al.  Zeno hybrid systems , 2001 .

[8]  Karl Henrik Johansson,et al.  Dynamical properties of hybrid automata , 2003, IEEE Trans. Autom. Control..

[9]  M. Egerstedt,et al.  On the regularization of Zeno hybrid automata , 1999 .

[10]  Laetitia Paoli,et al.  A Numerical Scheme for Impact Problems II: The Multidimensional Case , 2002, SIAM J. Numer. Anal..

[11]  Lawrence F. Shampine,et al.  Reliable solution of special event location problems for ODEs , 1991, TOMS.

[12]  Robert E. Mahony,et al.  Optimization Algorithms on Matrix Manifolds , 2007 .

[13]  Laetitia Paoli,et al.  A Numerical Scheme for Impact Problems I: The One-Dimensional Case , 2002, SIAM J. Numer. Anal..

[14]  J. Lygerosy,et al.  On the Regularization of Zeno Hybrid Automata , 1999 .

[15]  Aaron D. Ames,et al.  Formal and practical completion of Lagrangian hybrid systems , 2009, 2009 American Control Conference.

[16]  John M. Lee.  Introduction to Smooth Manifolds , 2002 .

[17]  John M. Lee.  Riemannian Manifolds: An Introduction to Curvature , 1997 .

[18]  Karl Henrik Johansson,et al.  Towards a Geometric Theory of Hybrid Systems , 2000, HSCC.

[19]  M. B. Carver.  Efficient integration over discontinuities in ordinary differential equation simulations , 1978 .