Box invariance of hybrid and switched systems

Analysis and Design of Hybrid Systems 2006

Volumn , Issue , 2006, Pages 359-364

  Abate, Alessandro ^a   Tiwari, Ashish ^b  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b SRI INTERNATIONAL   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BLOOD GLUCOSE; CONDITION; GLUCOSE METABOLISM; HYBRID AND SWITCHED SYSTEMS; PHARMACODYNAMIC MODELS; REAL SYSTEMS; SINGLE DOMAINS; SWITCHED SYSTEM;

EID: 39849108008     PISSN: None     EISSN: None     Source Type: Book    
DOI: 10.3182/20060607-3-it-3902.00066     Document Type: Chapter

References (10)

1. Abate A., Tiwari A. The concept of box invariance for biologically-inspired dynamical systems 2006, Technical report. UC Berkeley - EECS.
2. Ames A., Abate A., Sastry S. Sufficient conditions for the existence of zeno behavior. Proceedings of the 44th Conference on Decision and Control 2005, IEEE.
3. Branicky M. Stability of switched and hybrid systems. Proceedings of the 33rd Conference on Decision and Control 1994, 3498-3503. IEEE.
4. Coxson G.E. The p-matrix problem is co-np-complete. Mathematical Programming 1994, 64:173-178.
5. Coxson G.E. Computing exact bounds on elements of an inverse interval matrix is np-hard. Reliable Computing 1999, 5:137-142.
6. Ghosh R., Tomlin C.J. Lateral inhibition through delta-notch signaling: A piece-wise affine hybrid model. Hybrid Systems: Computation and Control, HSCC 2001 2001, 2034 of LNCS:232-246.
7. Johansson M., Rantzer A. Computation of piecewise lyapunov functions for bybrid systems. IEEE Transactions on Automatic Control 1998, 43:555-559.
8. Kiendl H., Adamy J., Stelzner P. Vector norms as lyapunov functions for linear systems. IEEE Transactions on Automatic Control 1992, 37:839-842.
9. Lygeros J., Johansson K.H., Simic S.N., Zhang J., Sastry S. Dynamical properties of hybrid automata. IEEE Transactions on Automatic Control 2003, 48:2-17.
10. Sorensen J.T. A physiologic model of glucose metabolism in man and its use to design and assess improved insulin therapies for diabetes 1985, PhD thesis. MIT.