Core Concepts
This paper proposes a supervisory control theory that allows the supervisor to not only enable/disable events, but also force specific events (called forcible events) that can preempt uncontrollable events. The authors define a notion of forcible-controllability that captures the interplay between controllability of a supervisor and the uncontrollable events provided by a plant in the setting with event forcing. They show the existence of a maximally permissive, forcibly-controllable, nonblocking supervisor and provide an algorithm to compute such a supervisor.
Abstract
The paper introduces a supervisory control theory that extends the traditional Ramadge-Wonham framework by allowing the supervisor to force specific events, called forcible events, in addition to enabling/disabling events. This enriched interaction mechanism between the supervisor and the plant enables the supervisor to preempt uncontrollable events.
The key contributions are:
Definition of forcible-controllability: This notion captures the interplay between the controllability of a supervisor and the uncontrollable events provided by the plant in the setting with event forcing. Forcible-controllability allows the supervisor to use forcible events to preempt uncontrollable events.
Existence of maximally permissive supervisor: The authors show that a maximally permissive, forcibly-controllable, nonblocking supervisor exists for any given plant and specification.
Synthesis algorithm: An algorithm is provided to compute the maximally permissive, forcibly-controllable, nonblocking supervisor. The algorithm maintains sets of nonblocking states, bad states, and states where forcing is applied to handle the absence of the transitivity property for forcibly-controllable sublanguages.
Illustration: Two small case studies are presented to illustrate the approach.
The paper generalizes the classical supervisory control theory by incorporating the notion of forcible events, which allows the supervisor to preempt uncontrollable events. This enriched interaction mechanism can lead to more permissive supervisors compared to the traditional approach.