Browsing by Subject "Supervisory control"
Now showing items 1-7 of 7
-
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
Marking observer in labeled petri nets with application to supervisory control
(2017)In this paper, we consider the problem of marking estimation in labeled Petri nets whose initial marking is known to belong to a given convex set, in the presence of silent transitions (i.e., transitions labeled with the ...
-
Article
On the history of diagnosability and opacity in discrete event systems
(2018)This paper presents historical remarks on key projects and papers that led to the development of a theory of event diagnosis for discrete event systems modeled by finite-state automata or Petri nets in the 1990s. The goal ...
-
Article
Opacity-enforcing supervisory strategies via state estimator constructions
(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 ...
-
Conference Object
Probabilistic marking estimation in labeled petri nets
(Institute of Electrical and Electronics Engineers Inc., 2013)Given a labeled Petri net, possibly with silent transitions, we are interested in performing current marking estimation in a probabilistic setting. We assume a known initial marking or a known finite set of initial markings, ...
-
Conference Object
Semiglobal stabilization of nonlinear uncertain systems via a lyapunov-based switching logic
(Institute of Electrical and Electronics Engineers Inc., 2013)An adaptive supervisory switching control scheme for nonlinear uncertain systems is developed. Such a scheme comprises: A family of nonlinear candidate controllers, designed using a convex control design methodology
-
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 ...