Eventual Generic Observability in Linear Hybrid Systems with discrete dynamic modeled by Petri nets*

The observability property of Linear Hybrid Systems LHS has been studied in the past from different perspectives. In this work, the observability of LHS is addressed for the case in which the switching signal is unknown, but there are some rules that determine the switching possibilities, codified as a Petri net. By taking advantage of the knowledge of such switching rules, the LHS can be observable under some general conditions. Here, a couple of algorithms are provided in order to translate the information that can be obtained from the continuous output into the Petri net framework, combining thus the continuous and discrete output information of the LHS, and allowing the detection of the discrete state (location) under some relaxed conditions.