Box invariance of hybrid and switched systems

Box invariance of hybrid and switched systems

Alessandro Abate and Ashish Tiwari

Presented at ADHS 2006, Alghero, Italy. Electronic version of the proceedings: CD.

Abstract

This paper investigates the concept of Box Invariance for classes of hybrid and switched systems. After motivating and defining the notion, a concise summary of results on its characterization for single-domain dynamical systems is given. The notion is then extended to the more general and challenging case of hybrid and switched systems. Sufficient conditions for the validity of the notion are given and discussed. Models of many naturally occuring real systems have been found to be box invariant. This paper illustrates the concept using a biological model of blood glucose metabolism.

postscript, pdf.

Slides

Slides of the presentation (pdf) at ADHS'06.

BibTeX Entry


@inproceedings{AbateTiwari06:ADHS,
	author = "A. Abate and A. Tiwari",
	title = "Box invariance of hybrid and switched systems",
	booktitle = "2nd {IFAC} Conf. on Analysis and Design of Hybrid Systems, ADHS",
	pages = "359--364",
	YEAR = 2006
}

Return to the Ashish's home page
Return to the Computer Science Laboratory home page