De Santis, Elena (Univ. of L'Aquila), Di Benedetto, Maria Domenica (Univ. of L'Aquila), Pola, Giordano (Univ. of L'Aquila)

Detectability-based State Space Reductions for Hybrid Systems

Scheduled for presentation during the Regular Session "Switched Systems I" (MoA05), Monday, July 24, 2006, 11:15−11:40, Room F

17th International Symposium on Mathematical Theory of Networks and Systems, July 24-28, 2006, Kyoto, Japan

This information is tentative and subject to change. Compiled on April 25, 2024

Abstract

In this paper, we focus on a particular subclass of hybrid systems, the class of linear switching systems. We propose hybrid state space decompositions, based on hybrid invariant subspaces, which reduce the computational effort required for checking the structural property of detectability. Connections to bisimulation and bisimulation-based reduction are also established.