Box invariance for biologically-inspired dynamical systems

Proceedings of the IEEE Conference on Decision and Control

Volumn , Issue , 2007, Pages 5162-5167

  Abate, Alessandro ^a   Tiwari, Ashish ^b   Sastry, Shankar ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b SRI INTERNATIONAL   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BIOLOGY; MATHEMATICAL MODELS; SYSTEM STABILITY; VERIFICATION;

BOX INVARIANCE; SAFETY PROPERTIES;

DYNAMICAL SYSTEMS;

EID: 62749192116     PISSN: 07431546     EISSN: 25762370     Source Type: Conference Proceeding    
DOI: 10.1109/CDC.2007.4434569     Document Type: Conference Paper

References (21)

1. F. Blanchini, "Set invariance in control," Automatica, vol. 35, pp. 1747-1767, 1999.
2. A. Podelski and S. Wagner, "Model checking of hybrid systems: from reachabilty towards stabilty," in Hybrid Systems: Computation and Control, ser. LNCS 3927. Springer Verlag, Apr 2006.
3. A. Abate, A. Tiwari, and S. Sastry, "The concept of box invariance for biologically-inspired dynamical systems," EECS Dept., UC Berkeley, Tech. Rep., 2006.
4. M. Voicu, "Componentwise asymptotic stability of linear constant dynamical systems," IEEE Transactions on Automatic Control, vol. 29, pp. 937-939, 1984.
5. O. Pastravanu and M. Voicu, "Norm-based approach to componentwise asymptotic stability," in Proc. 11th IEEE Mediterranean Conf. on Control and Automation, 2003.
6. _, "Necessary and sufficient conditions for componentwise stability of interval matrix systems," IEEE Transactions on Automatic Control, vol. 49, pp. 1016-1021, 2004.
7. H. Kiendl, J. Adamy, and P. Stelzner, "Vector norms as lyapunov functions for linear systems," IEEE Transactions on Automatic Control, vol. 37, pp. 839-842, 1992.
8. K. Loskot, A. Polanski, and R. Rudnicki, "Further comments on "vector norms as Lyapunov functions for linear systems"," IEEE Trans. on Automatic Control, vol. 43, no. 2, 1998.
9. R. Horn and C. Johnson, Matrix Analysts. Cambridge U. Press, 1985.
10. G. Coxson, "The p-matrix problem is co-np-complete," Mathematical Programming, vol. 64, pp. 173-178, 1994.
11. E. Seneta, Nonnegative Matrices. Wiley, New York, 1973.
12. J. Sorensen, "A physiologic model of glucose metabolism in man and its use to design and assess improved insulin therapies for diabetes," Ph.D. dissertation, MIT, 1985.
13. A. Abate and A. Tiwari, "Box invariance for hybrid and switched systems," in Proceedings of the 2nd IFAC Conference on Analysis and Design of Hybrid Systems, 2006.
14. H. Minc, Nonnegative Matrices. Wiley, New York, 1988.
15. A. Tarski, A Decision Method for Elementary Algebra and Geometry. University of California Press, 1948, second edition.
16. G. E. Collins, "Quantifier elimination for the elementary theory of real closed fields by cylindrical algebraic decomposition," in Proc. 2nd GI Conf. Automata Theory and Formal Languages, ser. LNCS, vol. 33. Springer, 1975, pp. 134-183.
17. C. Belta, L. Habets, and V. Kumar, "Control of multi-affine systems on rectangles with applications to hybrid biomolecular networks," in Proc. 41st Conf. on Decision and Control. IEEE, 2002, pp. 534-539.
18. P. Lincoln and A. Tiwari, "Symbolic systems biology: Hybrid modeling and analysis of biological networks," in Hybrid Systems: Computation and Control, ser. LNCS 2993. Springer, 2004, pp. 660-672.
19. O. Bernard and J.-L. Gouze, "Global qualitative description of a class of nonlinear dynamical systems," Artificial Intelligence, vol. 136, pp. 29-59, 2002.
20. P. Borne, J. Richard, and N. Radhy, "Stability, stabilization, regulation using vector norms," J. Fossard and D. Normand-Cyrot eds., Nonlinear Systems, Stability and Stabilization, vol. 2, pp. 45-90, 1996.
21. E. Erdem and A. Alleyne, "Estimation of stability regions of sdre controlled systems using vector norms," in Proceedings of the American Control Conference, 2002, pp. 80-85.