Stochastic approximations of hybrid systems

This paper introduces a method for approximating the dynamics of deterministic hybrid systems. Within this setting, we shall consider jump conditions that are characterized by spatial guards. After defining proper penalty functions along these deterministic guards, corresponding probabilistic intensities are introduced and the deterministic dynamics are approximated by the stochastic evolution of a continuous-time Markov process. We would illustrate how the definition of the stochastic barriers can avoid ill-posed events such as "grazing", and show how the probabilistic guards can be helpful in addressing the problem of event detection. Furthermore, this method represents a very general technique for handling Zeno phenomena; it provides a universal way to regularize a hybrid system. Simulations would show that the stochastic approximation of a hybrid system is accurate, while being able to handle ''pathological cases". Finally, further generalizations of this approach are motivated and discussed.

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

[2]  Åke Björck,et al.  Numerical Methods , 1995, Handbook of Marine Craft Hydrodynamics and Motion Control.

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

[4]  M. Branicky Stability of hybrid systems: state of the art , 1997, Proceedings of the 36th IEEE Conference on Decision and Control.

[5]  S. Sastry,et al.  Towars a Theory of Stochastic Hybrid Systems , 2000, HSCC.

[6]  A.D. Ames,et al.  Blowing up affine hybrid systems , 2004, 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601).

[7]  G. G. Stokes "J." , 1890, The New Yale Book of Quotations.

[8]  Mark H. Davis Markov Models and Optimization , 1995 .

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

[10]  Pieter Collins,et al.  A Trajectory-Space Approach to Hybrid Systems , 2004 .

[11]  João Pedro Hespanha,et al.  Stochastic Hybrid Systems: Application to Communication Networks , 2004, HSCC.

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

[13]  Robert G. Gallager,et al.  Discrete Stochastic Processes , 1995 .

[14]  John Lygeros,et al.  Towars a Theory of Stochastic Hybrid Systems , 2000, HSCC.

[15]  Ling Shi,et al.  A Stability Criterion for Stochastic Hybrid Systems , 2005 .

[16]  A. Booth Numerical Methods , 1957, Nature.

[17]  M. Mariton,et al.  Jump Linear Systems in Automatic Control , 1992 .