Control design for nondeterministic input/output automata

Nke, Yannick; Lunze, Jan

doi:10.1016/j.ejcon.2014.11.001

Cited by 8 publications

(1 citation statement)

References 25 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Authors in [8] and [9] studied the supervisor synthesis technique for Mealy automata with nondeterministic output functions. Authors in [10] proposed a new interpretation of the I/O transitions, based on which a controller that enforced determinism and non-blockingness of the closed-loop system was designed. The control objectives in the aforementioned papers were to restrict the controllable input events such that the system output behavior meets a specification.…”

Section: Introductionmentioning

confidence: 99%

Reactive Supervisory Control of Open Discrete Event Systems

Partovi

Lin

2019

2019 IEEE 58th Conference on Decision and Control (CDC)

View full text Add to dashboard Cite

The conventional Wonham-Ramadge supervisory control framework of discrete event systems enforces a closed discrete event system to generate correct behaviors under certain environments, which can be captured by an appropriate plant model. Nevertheless, such control methods cannot be directly applied for many practical engineering systems nowadays since they are open systems and their operation heavily depends on nontrivial interactions between the systems and the external environments. These open systems should be controlled in such a way that accomplishment of the control objective can be guaranteed for any possible environment, which may be dynamic, uncertain and sometimes unpredictable. In this paper, we aim at extending the conventional supervisory control theory to open discrete event systems in a reactive manner. Starting from a novel input-output automaton model of an open system, we consider control objectives that characterize the desired inputoutput behaviors of the system, based on which a game-theoretic approach is carried out to compute a reactive supervisor that steers the system to fulfill the specifications regardless of the environment behaviors. We present a necessary and sufficient conditions for the existence of such a reactive supervisor. Furthermore, illustrative examples are given throughout this paper to demonstrate the key definitions and the effectiveness of the proposed reactive supervisor synthesis framework.

show abstract

Section: Introductionmentioning

confidence: 99%