Transactions of the Institute of Systems, Control and Information Engineers
Online ISSN : 2185-811X
Print ISSN : 1342-5668
ISSN-L : 1342-5668
Supervisory Control of Partially Observed Systems with Arbitrary Control Patterns
Shigemasa TAKAI
Author information

1999 Volume 12 Issue 8 Pages 498-504


In this paper, we study supervisory control of partially observed discrete event systems with arbitrary control patterns. We assume that the desirable behavior is specified as a nonempty and closed language. We present a necessary and sufficient condition for the existence of a supervisor which achieves the desirable behavior under partial observation. We also consider the case that there does not exist a supervisor for a given specification language under the assumption that the set of control patterns is closed under union. We present a sublanguage of the specification language for which a supervisor exists.

Information related to the author
© The Institute of Systems, Control and Information Engineers
Previous article Next article