Abstract
It has been observed that there are a variety of situations in which the most popular hybrid simulation methods can fail to properly detect the occurrence of discrete events. In this paper, we present a method for detecting discrete which, using techniques borrowed from control theory, selects integration step sizes in such a way that the simulation slows down as the state approaches a set which triggers an event (a guard set). Our method guarantees that the state will approach the boundary of this set exponentially; and in the case of linear or polynomial guard descriptions, terminating on it, without entering it. Given that any system with a nonlinear guard description can be transformed to an equivalent system with a linear guard description, this technique is applicable to a broad class of systems. Even in situations where nonlinear guards have not been transformed to the canonical form, the method is still increases the chances of detecting and event in practice. We show how to extend the method to guard sets which are constructed from many simple sets using boolean operators (e.g. polyhedral or semi-algebraic sets). The technique is easily used in combination with existing numerical integration methods and does not adversely affect the underlying accuracy or stability of the algorithms.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
A. Gollu A. Deshpande and L. Semenzato. Shift programming language and runtime system for dynamic networks of hybrid automata. California PATH, 1995.
A. Isidori. Nonlinear Control Systems. Springer, London, 1995.
M.B. Carver. Efficeint integration over discontinuities in ordinary differential equation simulations. Mathematics and Computers in Simulation, XX:190–196, 1978.
F. Cellier. Combined discrete/ continuous system simulation by use of digital computers: techniques and tools. PhD thesis, ETH Zurich, Zurich, Switzerland, 1979.
A. Chutinam and B. Krogh. Verification of polyhedral-invariant hybrid automata using polygonal flow pipe approximations. In F. Vaandrager and J. H. van Schuppen, editors, Hybrid Systems: Computation and Control, volume 1569 of Lecture Notes in Computer Science. Springer Verlag, 1999.
T. Dang and O. Maler. Reachability analysis via face lifting. In T. Henzinger and S. Sastry, editors, Hybrid Systems: Computation and Control, volume 1386 of Lecture Notes in Computer Science, pages 96–109. Springer Verlag, Berlin, 1998.
J. Esposito and V. Kumar. Effcient dynamic simulation of robotic systems with hierarchy. submitted to International Conference on Robotics and Automation 2001.
C.W. Gear and O. Osterby. Solving ordinary differential equations with discontinuities. Technical report, Dept. of Comput. Sci., University of Illinois, 1981.
D. Bruck H. Elmqvist and M. Otter. Dymola-user’s manual. Dynasim AB Research Park Ideon, Lund Switzerland, 1996.
S. Campbell K. Benan and L. Petzold. Numerical solutions of initial value problems. North Holland, London, 1989.
S. Kowaleski, M. Fritz, H. Graf, J. Preubig, S. Simon, O. Stursberg, and H. Treseler. A case study in tool-aided analysis of discretely controled continuous systems: the two tanks problem. In Hybrid Systems V, Lecture Notes in Computer Science. Springer Verlag, 1998.
L.F. Shampine, I. Gladwell, and R.W. Brankin. Reliable solution of special event location problems for ODEs. ACM transactions on Mathematical Software, 17(1):11–25, March 1991.
Ian Mitchell and Claire Tomlin. Level set methods for computation in hybrid systems. In N. Lynch and B. H. Krogh, editors, Hybrid Systems: Computation and Control, volume 1790 of Lecture Notes in Computer Science, pages 310–323. Springer Verlag, 2000.
P. Mosterman. An overview of hybrid simulation phenomena and their support by simulation packages. In F.W. Vaandrager and J. H. van Schuppen, editors, Hybrid Systems: Computation and Control, volume 1569 of Lecture Notes in Computer Science, pages 163–177. Springer Verlag, 1999.
A.J. Preston and M. Berzins. Algorithms for the location of discontinuities in dynamic simualtion problems. Computers in Chemical Engineering, 15(10):701–713, 1991.
R. Alur, R. Grosse, Y. Hur, V. Kumar, and I. Lee. Modular specification of hybrid systems in charon. Hybrid Systems Computation and Control: Third international workshop, 3:6–19, 2000.
T. Park and P. Barton. State event location in differential-algebraic models. ACM transactions on modeling and computer simulation, 6(2):137–165, 1996.
J. Liu X. Lui, T.J. Koo, B. Sinopoli, S. Sastry, and E.A. Lee. A hierarchical hybrid system model and its simulation. Proceedings of the 38 th Conference on Decision and Control, pages 2407–2411, 1999.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Esposito, J.M., Kumar, V., Pappas, G.J. (2001). Accurate Event Detection for Simulating Hybrid Systems. In: Di Benedetto, M.D., Sangiovanni-Vincentelli, A. (eds) Hybrid Systems: Computation and Control. HSCC 2001. Lecture Notes in Computer Science, vol 2034. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45351-2_19
Download citation
DOI: https://doi.org/10.1007/3-540-45351-2_19
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-41866-5
Online ISBN: 978-3-540-45351-2
eBook Packages: Springer Book Archive