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

fYear

1994

fDate

16-18 Aug 1994

Firstpage

207

Lastpage

212

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Intelligent Control, 1994., Proceedings of the 1994 IEEE International Symposium on

Conference_Location

Columbus, OH

ISSN

2158-9860

Print_ISBN

0-7803-1990-7

Type

conf

DOI

10.1109/ISIC.1994.367816

Filename

367816