Computation of observability regions for discretetime hybrid systems

Abstract In this paper we focus on observability for hybrid systems in the mixed-logic dynamical form. We show that the maximal set of observable states, that is usually non convex and disconnected, can be represented as the union of nitely many polytopic regions. The argument, that is based on multi-parametric programming theory, is constructive and provides an algorithm for the computation of the regions. I