Browsing by Subject "Control policies"
Now showing items 1-2 of 2
-
Conference Object
Fault-tolerant supervisory control of discrete event systems modeled by bounded Petri nets
(2007)This paper considers bounded Petri nets with both controllable and uncontrollable transitions, and addresses the synthesis of a fault-tolerant supervisor in a setting where the control specifications are described via ...
-
Conference Object
Supervisor synthesis for discrete event systems with arbitrary forbidden state specifications
(2008)In this paper, we consider the forbidden state problem in discrete event systems modeled by Petri nets with uncontrollable and/or unobservable transitions. To handle the interleaving of uncontrollable and unobservable ...