학술논문
Sensor assignment for invertibility in interruptive timed discrete event systems
Document Type
Conference
Author
Source
Proceedings of 1994 9th IEEE International Symposium on Intelligent Control Intelligent control Intelligent Control, 1994., Proceedings of the 1994 IEEE International Symposium on. :207-212 1994
Subject
Language
ISSN
2158-9860
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.ETX