Abstract
In this paper we discuss the problem of calculating the reachable states of a dynamical system defined by ordinary differential equations or inclusions. We present a prototype system for approximating this set and demonstrate some experimental results.
This research was supported in part by the European Community project HYBRID EC-US-043. Verimag is a joint laboratory of CNRS and UJF.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
R. Alur and D.L. Dill, A Theory of Timed Automata, Theoretical Computer Science 126, 183–235, 1994.
R. Alur, C. Courcoubetis, N. Halbwachs, T.A. Henzinger, P.-H. Ho, X. Nicollin, A. Olivero, J. Sifakis and S. Yovine, The Algorithmic Analysis of Hybrid Systems, Theoretical Computer Science 138, 3–34, 1995.
E. Asarin and O. Maler, Achilles and the Tortoise Climbing Up the Arithmetical Hierarchy, in P.S. Thiagarajan (Ed.), Proc. FST/TCS'95, 471-483, LNCS 1026, Springer, 1995.
A. Asarin, O. Maler and A. Pnueli, Reachability Analysis of Dynamical Systems having Piecewise-Constant Derivatives, Theoretical Computer Science 138, 35–66, 1995.
E. Asarin, O. Maler and A. Pnueli, Symbolic Controller Synthesis for Discrete and Timed Systems, in P. Antsaklis, W. Kohn, A. Nerode and S. Sastry(Eds.), Hybrid Systems II, LNCS 999, Springer, 1995.
J.-P. Aubin and A. Cellina, Differential Inclusions: Set-valued Maps and Viability Theory, Springer, 1984.
P. Caspi, Global Simulation via Partial Differential Equations, Unpublished note, Verimag, 1993.
M.R. Greenstreet, Verifying Safety Properties of Differential Equations, in Proc. CA V'96, 277–287, 1996.
M.R. Greenstreet and I. Mitchell, Integrating Projections, these proceedings.
T.A. Henzinger and H. Wong-Toi, Linear Phase-Portrait Approximation for Nonlinear Hybrid Systems, in R. Alur, T.A. Henzinger and E.D. Sontag (Eds.), Hybrid Systems III, 377–388, LNCS 1066, Springer, 1996.
T.A. Henzinger, P.W. Kopke, A. Puri and P. Varaiya, What's Decidable about Hybrid Automata?, Proc. 27th STOC, 373–382, 1995.
M.W. Hirsch and S. Smale, Differential Equations, Dynamical Systems and Linear Algebra, Academic Press, 1974.
R.P. Kurshan and K.L. McMillan, Analysis of Digital Circuits Through Symbolic Reduction, IEEE Trans. on Computer-Aided Design, 10, 1350–1371, 1991.
J. Lygeros, C. Tomlin and S. Sastry, Multiobjective Hybrid Controller Synthesis, in O. Maler (Ed.), Proc. Int. Workshop on Hybrid and Real-Time Systems, 109–123, LNCS 1201, Springer, 1997.
A. Puri, V. Borkar and P. Varaiya, ε-Approximation of Differential Inclusions, in R. Alur, T.A. Henzinger and E.D. Sontag (Eds.), Hybrid Systems III, 363–376, LNCS 1066, Springer, 1996.
A. Puri and P. Varaiya, Decidability of Hybrid Systems with Rectangular Differential Inclusions, in D. Dill (Ed.), Proc. CAV '94, LNCS 1066, Springer, 1996.
P.J. Ramadge and W.M. Wonham, The Control of Discrete Event Systems, Proc. of the IEEE 77, 81–98, 1989.
J.A. Sethian, Level Set Methods: Evolving Interfaces in Geometry, Fluid Mechanics, Computer Vision, and Materials Science, Cambridge, 1996.
O. Stursberg, S. Kowalewski ans S. Engell, Generating Timed Discrete Models of Continuous Systems, in Proc. MATHMOD'97, Vienna, 1997.
C. Tomlin, G. Pappas, and S. Sastry, Conflict Resolution for Air Traffic Management: A Study in Multi-Agent Hybrid Systems, IEEE Trans. on Automatic Control, to appear.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Dang, T., Maler, O. (1998). Reachability analysis via face lifting. In: Henzinger, T.A., Sastry, S. (eds) Hybrid Systems: Computation and Control. HSCC 1998. Lecture Notes in Computer Science, vol 1386. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-64358-3_34
Download citation
DOI: https://doi.org/10.1007/3-540-64358-3_34
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-64358-6
Online ISBN: 978-3-540-69754-1
eBook Packages: Springer Book Archive