Abstract
Box invariant sets are box-shaped positively invariant sets. We show that box invariants are computable for a large class of nonlinear and hybrid systems. The technique for computing these invariants is based on nonlinear constraint solving. This paper also shows that the class of multiaffine systems, which has been used successfully for modeling and analyzing regulatory and biochemical reaction networks, can be generalized to the class of monotone and quasi-monotone systems without losing any of its nice properties.
Research supported in part by the National Science Foundation under grant CNS-0720721 and by NASA under grant NNX08AB95A.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Blanchini, F.: Set invariance in control. Automatica 35, 1747–1767 (1999)
Abate, A., Tiwari, A.: Box invariance of hybrid and switched systems. In: 2nd IFAC Conf. on Analysis and Design of Hybrid Systems, ADHS, pp. 359–364 (2006)
Abate, A., Tiwari, A., Sastry, S.: Box invariance for biologically-inspired dynamical systems. In: CDC (2007)
Sankaranarayanan, S., Sipma, H., Manna, Z.: Constructing invariants for hybrid systems. In: Alur, R., Pappas, G.J. (eds.) HSCC 2004. LNCS, vol. 2993, pp. 539–554. Springer, Heidelberg (2004)
Tiwari, A.: Approximate reachability for linear systems. In: Maler, O., Pnueli, A. (eds.) HSCC 2003. LNCS, vol. 2623, pp. 514–525. Springer, Heidelberg (2003)
Yazarel, H., Pappas, G.J.: Geometric programming relaxations for linear system reachability. In: Proc. 2004 American Control Conference (2004)
Tiwari, A., Khanna, G.: Nonlinear Systems: Approximating reach sets. In: Alur, R., Pappas, G.J. (eds.) HSCC 2004. LNCS, vol. 2993, pp. 600–614. Springer, Heidelberg (2004)
Rodriguez-Carbonell, E., Tiwari, A.: Generating polynomial invariants for hybrid systems. In: Morari, M., Thiele, L. (eds.) HSCC 2005. LNCS, vol. 3414, pp. 590–605. Springer, Heidelberg (2005)
Prajna, S., Jadbabaie, A.: Safety verification of hybrid systems using barrier certificates. In: Alur, R., Pappas, G.J. (eds.) HSCC 2004. LNCS, vol. 2993, pp. 477–492. Springer, Heidelberg (2004)
Pastravanu, O., Voicu, M.: Necessary and sufficient conditions for componentwise stability of interval matrix systems. IEEE Tran. Aut. Con. 49(6) (June 2004)
Kiendl, H., Adamy, J., Stelzner, P.: Vector norms as Lyapunov functions for linear systems. IEEE Transactions on Automatic Control 37(6) (June 1992)
Tarski, A.: A Decision Method for Elementary Algebra and Geometry, 2nd edn. University of California Press (1948)
Belta, C., Habets, L., Kumar, V.: Control of multi-affine systems on rectangles with applications to hybrid biomolecular networks. In: CDC, pp. 534–539 (2002)
Kloetzer, M., Belta, C.: A fully automated framework for control of linear systems from ltl specifications. In: Hespanha, J.P., Tiwari, A. (eds.) HSCC 2006. LNCS, vol. 3927, pp. 333–347. Springer, Heidelberg (2006)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Tiwari, A. (2008). Generating Box Invariants. In: Egerstedt, M., Mishra, B. (eds) Hybrid Systems: Computation and Control. HSCC 2008. Lecture Notes in Computer Science, vol 4981. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-78929-1_58
Download citation
DOI: https://doi.org/10.1007/978-3-540-78929-1_58
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-78928-4
Online ISBN: 978-3-540-78929-1
eBook Packages: Computer ScienceComputer Science (R0)