Title :
Sensor assignment for invertibility in interruptive timed discrete event systems
Author :
Park, Yongseok ; Chong, Edwin K P
Author_Institution :
Sch. of Electr. Eng., Purdue Univ., West Lafayette, IN, USA
Abstract :
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
Keywords :
discrete event systems; dynamics; finite automata; observability; optimisation; sensors; state estimation; discrete event systems; interruptive timed finite automaton; invertibility; minimal observation; sensor assignment; state sensors; Algorithm design and analysis; Application software; Automata; Controllability; Data mining; Discrete event systems; Monitoring; Sensor phenomena and characterization; Sensor systems; Supervisory control;
Conference_Titel :
Intelligent Control, 1994., Proceedings of the 1994 IEEE International Symposium on
Conference_Location :
Columbus, OH
Print_ISBN :
0-7803-1990-7
DOI :
10.1109/ISIC.1994.367816
