Sensor assignment for invertibility in interruptive timed discrete event systems
Yongseok Park, Edwin K. P. Chong · 2002
We represent a discrete event system (DES) as an interruptive timed finite automaton, observed partially by an observation scheme. The observation scheme consists of event and state sensors. Given a large pool of sensors, there are many choices in designing the observation scheme. Among them, we consider minimal schemes, which do not have any redundant sensors. Specifically, we consider the problem of designing the minimal observation scheme for invertibility of an interruptive timed DES, and provide an algorithm to compute all the minimal sensor configurations for it.>