Browsing by Subject "Supervisory personnel"
Now showing items 1-3 of 3
(2013)The wide spread of mobile platforms has brought a wide range of applications for the nomadic user addressing different domains. Universities constitute an ideal environment for the creation and introduction of novel ...
(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 ...
(2012)State-based notions of opacity, such as initial-state opacity and infinite-step opacity, emerge as key properties in numerous security applications of discrete event systems. We consider systems that are modeled as partially ...