The extremal languages in supervisory control of discrete event systems with service specifications
説明
In some application areas such as communication systems, a control specification is often defined on the specified subset of events. Such a specification is called a service specification. Kumar et al. presented a necessary and sufficient condition under which there exists a supervisor for a service specification. Given a service specification, this paper studies its sublanguages and superlanguages for which there exists a supervisor. We show that, unfortunately, neither the supremal sublanguage nor the infimal superlanguage exists in general. Motivated by the fact, we first give a subset of the sublanguages whose supremal element exists. We next present a subset of the superlanguages whose infimal element exists. Moreover, a formula for the infimal element is obtained.
収録刊行物
-
- Proceedings of 35th IEEE Conference on Decision and Control
-
Proceedings of 35th IEEE Conference on Decision and Control 2 2231-2236, 2002-12-24
IEEE
