Abstract
We describe techniques to generate useful reachability information for nonlinear dynamical systems. These techniques can be automated for polynomial systems using algorithms from computational algebraic geometry. The generated information can be incorporated into other approaches for doing reachability computation. It can also be used when abstracting hybrid systems that contain modes with nonlinear dynamics. These techniques are most naturally embedded in the hybrid qualitative abstraction approach proposed by the authors previously. They also show that the formal qualitative abstraction approach is well suited for dealing with nonlinear systems.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Research of the first author was supported in part by the National Science Foundation under grant CCR-0311348, NASA Langley Research Center contract NAS1-00108 to Rannoch Corporation, and DARPA BioSpice contract DE-AC03-765F00098 to Lawrence Berkeley Laboratory. Second author was supported in part by the National Science Foundation under grant PHY-0140236.
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
Alur, R., Dang, T., Ivancic, F.: Reachability analysis of hybrid systems via predicate abstraction. In: Tomlin and Greenstreet [28]
Alur, R., Dang, T., Ivancic, F.: Progress on reachability analysis of hybrid systems using predicate abstraction. In: Maler and Pnueli [20]
Alur, R., Henzinger, T., Lafferriere, G., Pappas, G.J.: Discrete abstractions of hybrid systems. Proceedings of the IEEE 88(2), 971–984 (2000)
Anai, H., Weispfenning, V.: Reach set computations using real quantifier elimination. In: Di Benedetto, M.D., Sangiovanni-Vincentelli, A.L. (eds.) HSCC 2001. LNCS, vol. 2034, pp. 63–76. Springer, Heidelberg (2001)
Becker, T., Weispfenning, V.: Gröbner bases: a computational approach to commutative algebra. Springer, Berlin (1993)
Chutinan, A., Krogh, B.H.: Verification of polyhedral-invariant hybrid automata using polygonal flow pipe approximations. In: Vaandrager and van Schuppen [29], pp. 76–90
Dang, T., Maler, O.: Reachability analysis via face lifting. In: Henzinger, T.A., Sastry, S. (eds.) HSCC 1998. LNCS, vol. 1386, pp. 96–109. Springer, Heidelberg (1998)
Forsman, K.: Construction of Lyapunov functions using Gröbner bases. In: 30th CDC, IEEE, Los Alamitos (1991)
Forsman, K., Glad, T.: Constructive algebraic geometry in nonlinear control. In: 29th CDC, vol. 5, pp. 2825–2827. IEEE, Los Alamitos (1990)
Graf, S., Saïdi, H.: Construction of abstract state graphs with PVS. In: Grumberg, O. (ed.) CAV 1997. LNCS, vol. 1254, pp. 72–83. Springer, Heidelberg (1997)
Henzinger, T.A., Ho, P.-H.: Algorithmic analysis of nonlinear hybrid systems. In: Wolper, P. (ed.) CAV 1995. LNCS, vol. 939, pp. 225–238. Springer, Heidelberg (1995)
Henzinger, T.A., Wong-Toi, H.: Linear phase-portrait approximations for nonlinear systems. In: Alur, R., Henzinger, T., Sontag, E.D. (eds.) HS 1995. LNCS, vol. 1066, pp. 377–388. Springer, Heidelberg (1996)
Henzinger, T.A., Ho, P.-H., Wong-Toi, H.: Algorithmic analysis of nonlinear hybrid systems. IEEE Transactions on Automatic Control 43, 540–554 (1998)
Krogh, B.H., Stursberg, O.: On efficient representation and computation of reachable sets for hybrid systems. In: Maler and Pnueli [20]
Kuipers, B.J.: Qualitative reasoning: Modeling and simulation with incomplete knowledge. MIT Press, Cambridge (1994)
Kurzhanski, A.B., Varaiya, P.: Ellipsoidal techniques for reachability analysis. In: Lynch, N.A., Krogh, B.H. (eds.) HSCC 2000. LNCS, vol. 1790, pp. 202–214. Springer, Heidelberg (2000)
Lafferriere, G., Pappas, G.J., Sastry, S.: O-minimal hybrid systems. Mathematics of Control, Signals, and Systems 13(1), 1–21 (2000)
Lafferriere, G., Pappas, G.J., Yovine, S.: A new class of decidable hybrid systems. In: Vaandrager and van Schuppen [29], pp. 137–151
Lafferriere, G., Pappas, G.J., Yovine, S.: Symbolic reachability computations for families of linear vector fields. J. Symbolic Computation 32(3), 231–253 (2001)
Maler, O., Pnueli, A. (eds.): HSCC 2003. LNCS, vol. 2623. Springer, Heidelberg (2003)
Parrilo, P.A.: Structured semidefinite programs and semialgebraic geometric methods in robustness and optimization. PhD thesis, California Institute of Technology, Pasadena (2000)
Parrilo, P.A., Sturmfels, B.: Minimizing polynomial functions. In: Algorithmic and quantitative real algebraic geometry. DIMACS series in discrete mathematics and theoretical computer science, vol. 60, pp. 83–99 (2003), http://www.arxiv.org/abs/math.OC/0103170
Prajna, S., Papachristodoulou, A., Parrilo, P.A.: SOSTOOLS: Sum of square optimization toolbox for MATLAB (2002)
Sastry, S.: Nonlinear systems:Analysis, stability, and control. Springer, Heidelberg (1999)
Tiwari, A.: Approximate reachability for linear systems. In: Maler and Pnueli [20], pp. 514–525
Tiwari, A., Khanna, G.: Series of abstractions for hybrid automata. In: Tomlin and Greenstreet [28], pp. 465–478
Tiwari, A., Wolf, D., Arkin, A., Lincoln, P.: Hybrid modeling and analysis of genetic regulatory networks: Sporulation initiation in bacillus subtilis (2003) (in preparation)
Tomlin, C.J., Greenstreet, M.R. (eds.): HSCC 2002. LNCS, vol. 2289. Springer, Heidelberg (2002)
Vaandrager, F.W., van Schuppen, J.H. (eds.): HSCC 1999. LNCS, vol. 1569. Springer, Heidelberg (1999)
Vidyasagar, M.: Nonlinear systems analysis. Prentice Hall, Englewood Cliffs (1993)
Walther, U., Georgiou, T., Tannenbaum, A.: On the computation of switching surfaces in optimal control:A Gröbner basis approach. IEEE Transactions on Automatic Control 46(4) (2001)
Wolf, D., Arkin, A.: Survival strategy selection as an emergent property of ubernetwork topology. Lawrence Berkeley Laboratory, Berkeley (2003) (unpublished manuscript)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Tiwari, A., Khanna, G. (2004). Nonlinear Systems: Approximating Reach Sets. In: Alur, R., Pappas, G.J. (eds) Hybrid Systems: Computation and Control. HSCC 2004. Lecture Notes in Computer Science, vol 2993. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24743-2_40
Download citation
DOI: https://doi.org/10.1007/978-3-540-24743-2_40
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-21259-1
Online ISBN: 978-3-540-24743-2
eBook Packages: Springer Book Archive