Journal ArticleDOI
On controllability and normality of discrete event dynamical systems
TLDR
In this paper, the supervisor synthesis problem of discrete event dynamical systems (DEDS) is studied through the use of synchronous composition of the plant and the supervisor and discusses some of the simplifications achieved by using the synchronous compositions to model supervisory control.About:
This article is published in Systems & Control Letters.The article was published on 1991-09-01. It has received 136 citations till now. The article focuses on the topics: Controllability & Observability.read more
Citations
More filters
Journal ArticleDOI
Limited lookahead policies in supervisory control of discrete event systems
TL;DR: In this article, a supervisory control scheme based on limited lookahead control policies is proposed, using an online scheme where after the occurrence of an event, the next control action is determined on the basis of an N-step-ahead projection of the behavior of the process (represented as an Nlevel tree). This procedure then repeats after the execution of the next event.
Proceedings ArticleDOI
PLC-based implementation of supervisory control for discrete event systems
Martin Fabian,Anders Hellgren +1 more
TL;DR: In this article, the authors point out the main problems of supervisor implementation on a synchronous signal-based PLC and suggest procedures to alleviate the problems, and point out that the asynchronous event-driven nature of the supervisor is not straightforwardly implemented in the synchronous Signal-Based Programmable Logic Controller (SLC).
Journal ArticleDOI
Predicates and predicate transformers for supervisory control of discrete event dynamical systems
TL;DR: In this article, the control of discrete-event systems using predicates and predicate transformers is studied, and a closed-form expression for the weakest controllable predicate is obtained.
Journal ArticleDOI
Observability of discrete event systems modeled by interpreted Petri nets
TL;DR: The main advantage over other methods is that the observer presented herein is given as an IPN, allowing further analysis of the system-observer pair, and a method for designing asymptotic observers is discussed.
Journal ArticleDOI
Optimal Supervisory Control of Discrete Event DynamicalSystems
Ratnesh Kumar,Vijay K. Garg +1 more
TL;DR: In this article, the authors formalized the notion of optimal supervisory control of discrete event dynamical systems (DEDSs) in the framework of Ramadge and Wonham.
References
More filters
Book
Introduction to Automata Theory, Languages, and Computation
TL;DR: This book is a rigorous exposition of formal languages and models of computation, with an introduction to computational complexity, appropriate for upper-level computer science undergraduates who are comfortable with mathematical arguments.
Journal ArticleDOI
Communicating sequential processes
TL;DR: It is suggested that input and output are basic primitives of programming and that parallel composition of communicating sequential processes is a fundamental program structuring method.
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.