Open AccessJournal Article
Supervisory Control Synthesis of Discrete-Event Systems using Coordination Scheme
TLDR
In this article, a control synthesis problem for a generator with a global specification and with a combination of a coordinator and local controllers is formulated and solved, and conditions under which the result coincides with the supremal controllable sublanguage are stated.Abstract:
Supervisory control of distributed DES with a global specification and local supervisors is a difficult problem. For global specifications, the equivalent conditions for local control synthesis to equal global control synthesis may not be met. This paper formulates and solves a control synthesis problem for a generator with a global specification and with a combination of a coordinator and local controllers. Conditional controllability is proven to be an equivalent condition for the existence of such a coordinated controller. A procedure to compute the least restrictive solution within our coordination control architecture is provided and conditions under which the result coincides with the supremal controllable sublanguage are stated.read more
Citations
More filters
Journal ArticleDOI
Control of Distributed Systems - Tutorial and Overview
Jan H. van Schuppen,Olivier Boutin,Pia L. Kempker,Jan Komenda,Tomáš Masopust,Nicola Pambakian,André C. M. Ran +6 more
TL;DR: Coordinated distributed systems are defined for linear systems, for Gaussian systems, and for discrete-eventsystemsandanalgebraic-geometriccharacterization and a specific control synthesis procedure is presented.
Journal ArticleDOI
Supervisory control and reactive synthesis: a comparative introduction
TL;DR: A novel reduction of the basic supervisory control problem, non-blocking case, to a problem of reactive synthesis with plants and with a maximal permissiveness requirement is provided.
Journal ArticleDOI
Maximally Permissive Distributed Control of Large Scale Automated Manufacturing Systems Modeled With Petri Nets
Hesuan Hu,Yang Liu,MengChu Zhou +2 more
TL;DR: A condition under which the control law via decomposition promises the maximal permissiveness of large-scale AMSs is developed, and theoretical results are developed to characterize the behavior compatibility among local controllers.
Journal ArticleDOI
On conditional decomposability
TL;DR: A polynomial-time algorithm for verification whether a language is conditionally decomposable with respect to given alphabets is presented and it is shown that conditional decomposability is a weaker condition than nonblockingness.
Journal ArticleDOI
Coordination Control of Discrete-Event Systems Revisited
TL;DR: In this paper, the coordination control approach proposed for supervisory control of distributed discrete-event systems with synchronous communication based on the Ramadge-Wonham automata framework is revised and further investigated.
References
More filters
Book
Introduction to Discrete Event Systems
TL;DR: This edition includes recent research results pertaining to the diagnosis of discrete event systems, decentralized supervisory control, and interval-based timed automata and hybrid automata models.
Journal ArticleDOI
Supervisory control of a class of discrete event processes
Peter J. Ramadge,W. M. Wonham +1 more
TL;DR: In this paper, the control of a class of discrete event processes, i.e., processes that are discrete, asynchronous and possibly non-deterministic, is studied. And the existence problem for a supervisor is reduced to finding the largest controllable language contained in a given legal language, where the control process is described as the generator of a formal language, while the supervisor is constructed from the grammar of a specified target language that incorporates the desired closed-loop system behavior.
Journal ArticleDOI
The control of discrete event systems
Peter J. Ramadge,W. M. Wonham +1 more
TL;DR: The focus is on the qualitative aspects of control, but computation and the related issue of computational complexity are also considered.
Control of Discrete Event Systems
TL;DR: The main focus of this paper is the presentation of the automata and formal language model for DES introduced by Raniadge and Wonham in 1985, suitable for the examination of some important control theoretic issues, and provides a good basis for modular synthesis of controllers.
Journal ArticleDOI
A General Architecture for Decentralized Supervisory Control of Discrete-Event Systems
Tae-Sic Yoo,Stéphane Lafortune +1 more
TL;DR: It is shown that under this architecture, a larger class of languages can be achieved than before since a relaxed version of the notion of co-observability appears in the necessary and sufficient conditions for the existence of supervisors.
Related Papers (5)
Multitasking Supervisory Control of Discrete-Event Systems
Modular supervisory control of asynchronous and hierarchical finite state machines
Benoit Gaudin,Hervé Marchand +1 more