Browsing by Subject "Control policies"
Now showing items 1-2 of 2
(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 ...
(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 ...