Zero-crossing location and detection algorithms for hybrid system simulation

IFAC Proceedings Volumes (IFAC-PapersOnline)

Volumn 17, Issue 1 PART 1, 2008, Pages

  Zhang, Fu ^a   Yeddanapudi, Murali ^a   Mosterman, Pieter ^a  

^a NONE

Author keywords

Hybrid system; Simulation; Zeno system; Zero crossings

Indexed keywords

COMPUTATIONAL MODEL; CONTINUOUS TIME; CONTINUOUS VARIABLES; DETECTION ALGORITHM; DISCRETE EVENTS; EMBEDDED CONTROL SYSTEMS; ESSENTIAL ELEMENTS; EVENT DETECTION; HYBRID DYNAMIC SYSTEMS; NUMERICAL SIMULATION; SIMULATION; SOLUTION STRATEGY; TIME STEP; ZENO BEHAVIOR; ZENO SYSTEM; ZERO CROSSINGS;

COMPUTATIONAL EFFICIENCY; COMPUTER SIMULATION; CONTINUOUS TIME SYSTEMS; CROSSINGS (PIPE AND CABLE); DISCRETE TIME CONTROL SYSTEMS; DYNAMIC PROGRAMMING; EMBEDDED SYSTEMS; HYBRID COMPUTERS; HYBRID SYSTEMS;

MATHEMATICAL MODELS;

EID: 79961017931     PISSN: 14746670     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.3182/20080706-5-KR-1001.3498     Document Type: Conference Paper

References (17)

1. Aaron D. Ames, Robert D. Gregg, Haiyang Zheng, and Shankar Sastry. Is there life after Zeno? Taking executions past the breaking (Zeno) point. In 2007 American Control Conference. Minneapolis, MN, June 14-16, 2006.
2. Maria Domenica Di Benedetto and Alberto L. Sangiovanni-Vincentelli, editors. Hybrid Systems: Computation and Control, volume 2034 of Lecture Notes in Computer Science. Springer-Verlag, 2001.
3. Francois E. Cellier. Combined Continuous/Discrete System Simulation by Use of Digital Computers: Techniques and Tools. PhD diss., ETH, Zurich, Switzerland, 1979.
4. Joel M. Esposito, Vijay Kumar, and George J. Pappas. Accurate event detection for simulating hybrid systems. Lecture Notes in Computer Science, 2034:204-217, 2001.
5. John Guckenheimer and Stewart Johnson. Planar hybrid systems. In Panos Antsaklis, Wolf Kohn, Anil Nerode, and Shankar Sastry, editors, Hybrid Systems II, volume 999, pages 202-225. Springer-Verlag, 1995. Lecture Notes in Computer Science.
6. Karl H. Johansson, Magnus Egerstedt, John Lygeros, and Shankar Sastry. On the regularization of Zeno hybrid automata. Systems and Control Letters, 38:141-150, 1999.
7. Nancy Lynch and Bruce Krogh, editors. Hybrid Systems: Computation and Control, volume 1790 of Lecture Notes in Computer Science. Springer-Verlag, 2000.
8. Cleve Moler. Are we there yet? Zero crossing and event handling for differential equations. EE Times, pages 16-17, 1997. Simulink 2 Special Edition.
9. Pieter J. Mosterman. An overview of hybrid simulation phenomena and their support by simulation packages. In Frits W. Vaandrager and Jan H. van Schuppen, editors, Hybrid Systems: Computation and Control, volume 1569, pages 164-177. Lecture Notes in Computer Science; Springer-Verlag, 1999.
10. Pieter J. Mosterman and Gautam Biswas. A hybrid modeling and simulation methodology for dynamic physical systems. SIMULATION: Transactions of The Society for Modeling and Simulation International, 178(1):5-17, January 2002.
11. Pieter J. Mosterman, Feng Zhao, and Gautam Biswas. Sliding mode model semantics and simulation for hybrid systems. In Panos Antsaklis, Wolf Kohn, Michael Lemmon, Anil Nerode, and Shankar Sastry, editors, Hybrid Systems V, pages 218-237. Springer-Verlag, 1999. Lecture Notes in Computer Science.
12. Taeshin Park and Paul I. Barton. State event location in differential-algebraic models. ACM Transactions on Modeling and Computer Simulation, 6(2):137-165, 1996.
13. Lawrence F. Shampine, Ian Gladwell, and Richard W. Brankin. Reliable solutions of special event location problems for ODEs. ACM Transactions on Mathematical Software, 17(1):11-25, 1991.
14. Simulink. Using SimulinkR. TheMathWorks, Inc., Natick, MA, September 2007.
15. Frits W. Vaandrager and Jan H. van Schuppen, editors. Hybrid Systems: Computation and Control, volume 1569 of Lecture Notes in Computer Science. Springer-Verlag, March 1999.
16. Jun Zhang, Karl Henrik Johansson, John Lygeros, and Shankar Sastry. Dynamical systems revisited: Hybrid systems with Zeno executions. In Hybrid Systems: Computation and Control, pages 451-464, 2000.
17. Haiyang Zheng. Simulating Zeno hybrid systems beyond their Zeno points. Technical Report, University of California Berkeley, January 2006.