Generating box invariants

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4981 LNCS, Issue , 2008, Pages 658-661

  Tiwari, Ashish ^a  

^a SRI INTERNATIONAL   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

INVARIANT SET; NON-LINEAR CONSTRAINTS; POSITIVELY INVARIANT SETS; REACTION NETWORK;

HYBRID SYSTEMS;

EID: 67349244761     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-78929-1_58     Document Type: Conference Paper

References (14)

1. Blanchini, F.: Set invariance in control. Automatica 35, 1747-1767 (1999)
2. 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)
3. Abate, A., Tiwari, A., Sastry, S.: Box invariance for biologically-inspired dynamical systems. In: CDC (2007)
4. 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)
5. Tiwari, A.: Approximate reachability for linear systems. In: Maler, O., Pnueli, A. (eds.) HSCC 2003. LNCS, vol.2623, pp. 514-525. Springer, Heidelberg (2003)
6. Yazarel, H., Pappas, G.J.: Geometric programming relaxations for linear system reachability. In: Proc. 2004 American Control Conference (2004)
7. 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)
8. 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)
9. 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)
10. Pastravanu, O., Voicu, M.: Necessary and sufficient conditions for componentwise stability of interval matrix systems. IEEE Tran. Aut. Con. 49(6) (June 2004)
11. Kiendl, H., Adamy, J., Stelzner, P.: Vector norms as Lyapunov functions for linear systems. IEEE Transactions on Automatic Control 37(6) (June 1992)
12. Tarski, A.: A Decision Method for Elementary Algebra and Geometry, 2nd edn. University of California Press (1948)
13. 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)
14. 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)