Zero-Crossing Location and Detection Algorithms For Hybrid System Simulation

Abstract Computational models of embedded control systems often combine continuous-time with discrete-event behavior, mathematically representing hybrid dynamic systems. An essential element of numerical simulation of a hybrid dynamic system is the generation of discrete events from continuous variables that exceed thresholds. In particular, the occurrence of such an event has to be detected and the point in time where the threshold is first exceeded has to be located. This paper presents a number of problems that are encountered in event detection and location when using existing techniques. Solution strategies that balance efficiency and robustness are presented to address: (i) repeated detection of a zero-crossing event at consecutive time steps, (ii) masked zero-crossing events because of multiple zero-crossing functions, and (iii) chattering and Zeno behavior.

[1]  Thomas A. Henzinger,et al.  Hybrid Systems: Computation and Control , 1998, Lecture Notes in Computer Science.

[2]  S. Sastry,et al.  Is there life after Zeno? Taking executions past the breaking (Zeno) point , 2006, 2006 American Control Conference.

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

[4]  Mark R. Greenstreet,et al.  Hybrid Systems: Computation and Control , 2002, Lecture Notes in Computer Science.

[5]  John Guckenheimer,et al.  Planar Hybrid Systems , 1994, Hybrid Systems.

[6]  Haiyang Zheng,et al.  Simulating Zeno Hybrid Systems Beyond Their Zeno Points , 2006 .

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

[8]  Karl Henrik Johansson,et al.  Dynamical Systems Revisited: Hybrid Systems with Zeno Executions , 2000, HSCC.

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

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

[11]  Maria Domenica Di Benedetto,et al.  Hybrid Systems: Computation and Control , 2001, Lecture Notes in Computer Science.

[12]  Frits W. Vaandrager,et al.  Hybrid Systems: Computation and Control: Second International Workshop, HSCC’99 Berg en Dal, The Netherlands, March 29–31, 1999 Proceedings , 1999, Lecture Notes in Computer Science.

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

[14]  Pieter J. Mosterman,et al.  Sliding Mode Model Semantics and Simulation for Hybrid Systems , 1997, Hybrid Systems.

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

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

[17]  Nancy A. Lynch,et al.  Hybrid Systems: Computation and Control , 2002, Lecture Notes in Computer Science.

[18]  Pieter J. Mosterman,et al.  A Hybrid Modeling and Simulation Methodology for Dynamic Physical Systems , 2002, Simul..