A state event detection algorithm for numerically simulating hybrid systems with model singularities

This article describes an algorithm for detecting the occurrence of events, which signify discontinuities in the first derivative of the state variables, while simulating a set of nonsmooth differential equations. Such combined-discrete continuous systems arise in many contexts and are often referred to as hybrid systems, switched systems, or nonsmooth systems. In all cases, the state events are triggered at simulated times which generate states corresponding to the zeros of some algebraic “event” function. It has been noted that all existing simulators are prone to failure when these events occur in the neighborhood of model singularities---regions of the state space where the right-hand side of the differential equation is undefined. Such model singularities are often the impetus for using nonsmooth models in the first place. This failure occurs because existing algorithms blindly attempt to interpolate across singular regions, checking for possible events after the fact. The event detection algorithm described here overcomes this limitation using an approach inspired by feedback control theory. A carefully constructed extrapolation polynomial is used to select the integration step size by checking for potential future events, avoiding the need to evaluate the differential equation in potentially singular regions. It is shown that this alternate approach gives added functionality with little impact on the simulation efficiency.

[1]  Uri M. Ascher,et al.  Computer methods for ordinary differential equations and differential-algebraic equations , 1998 .

[2]  Pieter J. Mosterman,et al.  An Overview of Hybrid Simulation Phenomena and Their Support by Simulation Packages , 1999, HSCC.

[3]  A. Alan B. Pritsker,et al.  Simulation with Visual SLAM and AweSim, 2nd Edition , 1999 .

[4]  Randall P. Sadowski,et al.  Simulation with Arena , 1998 .

[5]  Nahum Shimkin,et al.  Nonlinear Control Systems , 2008 .

[6]  Michael S. Branicky,et al.  Studies in hybrid systems: modeling, analysis, and control , 1996 .

[7]  Dianne Easterling,et al.  March , 1890, The Hospital.

[8]  Kjell Gustafsson,et al.  Control-theoretic techniques for stepsize selection in implicit Runge-Kutta methods , 1991, TOMS.

[9]  Gintaras V. Reklaitis,et al.  A simulator for batch and semi-conductors processes☆ , 1984 .

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

[11]  Keijo Ruohonen Event Detection for ODEs and Nonrecursive Hierarchies , 1994, Results and Trends in Theoretical Computer Science.

[12]  Franco Zambonelli,et al.  Cooperative Information Agents, Proceedings of the 5th International Workshop , 2001 .

[13]  Vijay Kumar,et al.  An asynchronous integration and event detection algorithm for simulating multi-agent hybrid systems , 2004, TOMC.

[14]  François E. Cellier Combined continuous/discrete system simulation by use of digital computers , 1979 .

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

[16]  Paul I. Barton,et al.  State event location in differential-algebraic models , 1996, TOMC.

[17]  Andreas A. Linninger,et al.  Modeling of Continuous-Discrete Processes , 2001, HSCC.

[18]  Joel M. Esposito,et al.  Simulation and control of hybrid systems with applications to mobile robotics , 2002 .

[19]  Ding Lee,et al.  Numerical Solutions of Initial Value Problems , 1976 .

[20]  A. Alan B. Pritsker,et al.  Simulation with Visual SLAM and AweSim , 1997 .

[21]  M. Berzins,et al.  Algorithms for the location of discontinuities in dynamic simulation problems , 1991 .

[22]  A. Isidori Nonlinear Control Systems , 1985 .