Browsing by Subject "Forbidden markings"
Now showing items 1-3 of 3
-
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 ...
-
Article
Supervisor synthesis for discrete event systems under partial observation and arbitrary forbidden state specifications
(2014)In this paper, we consider the forbidden state problem in discrete event systems modeled by partially observed and partially controlled Petri nets. Assuming that the reverse net of the uncontrollable subnet of the Petri ...
-
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 ...