Computation observability regions for discrete-time hybrid systems

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 nonconvex and disconnected, can be represented as the union of finitely many polytopic regions. The argument, which is based on multi-parametric programming theory, is constructive and provides an algorithm for the computation of the regions.