scispace - formally typeset
Search or ask a question
Topic

Supervisory control

About: Supervisory control is a research topic. Over the lifetime, 7128 publications have been published within this topic receiving 129025 citations.


Papers
More filters
Book
30 Sep 1999
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.
Abstract: Introduction to Discrete Event Systems is a comprehensive introduction to the field of discrete event systems, offering a breadth of coverage that makes the material accessible to readers of varied backgrounds. The book emphasizes a unified modeling framework that transcends specific application areas, linking the following topics in a coherent manner: language and automata theory, supervisory control, Petri net theory, Markov chains and queuing theory, discrete-event simulation, and concurrent estimation techniques. 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.

4,330 citations

Journal ArticleDOI
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.
Abstract: This paper studies the control of a class of discrete event processes, i.e. processes that are discrete, asynchronous and possibly nondeter-ministic. The controlled process is described as the generator of a formal language, while the controller, or supervisor, is constructed from the grammar of a specified target language that incorporates the desired closed-loop system behavior. The existence problem for a supervisor is reduced to finding the largest controllable language contained in a given legal language. Two examples are provided.

3,432 citations

Journal ArticleDOI
01 Jan 1989
TL;DR: The focus is on the qualitative aspects of control, but computation and the related issue of computational complexity are also considered.
Abstract: A discrete event system (DES) is a dynamic system that evolves in accordance with the abrupt occurrence, at possibly unknown irregular intervals, of physical events. Such systems arise in a variety of contexts ranging from computer operating systems to the control of complex multimode processes. A control theory for the logical aspects of such DESs is surveyed. The focus is on the qualitative aspects of control, but computation and the related issue of computational complexity are also considered. Automata and formal language models for DESs are surveyed. >

2,829 citations

Book
12 Aug 1992
TL;DR: Theory and models of supervisory control of teleoperators for space, undersea, and other applications are discussed in this paper, where the social implications of telerobotics, automation, and super-visory control are discussed.
Abstract: Theory and models of supervisory control - frameworks and fragments supervisory control of anthropomorphic teleoperators for space, undersea, and other applications supervisory control in transportation, process, and other automated systems social implications of telerobotics, automation, and supervisory control.

1,834 citations

Journal ArticleDOI
A.S. Morse1
TL;DR: It is shown that in the absence of unmodeled process dynamics, the proposed supervisor can successfully perform its function even if process disturbances are present, provided they are bounded and constant.
Abstract: This paper describes a simple "high-level" controller called a "supervisor" which is capable of switching into feedback with a SISO process, a sequence of linear positioning or set-point controllers from a family of candidate controllers so as to cause the output of the process to approach and track a constant reference input. The process is assumed to be modeled by a SISO linear system whose transfer function is in the union of a number of subclasses, each subclass being small enough so that one of the candidate controllers would solve the positioning problem if the transfer function of the process were to be one of the subclasses' members. Each subclass contains a "nominal process model transfer function" about which the subclass is centred. It is shown that in the absence of unmodeled process dynamics, the proposed supervisor can successfully perform its function even if process disturbances are present, provided they are bounded and constant.

1,415 citations


Network Information
Related Topics (5)
Control system
129K papers, 1.5M citations
93% related
Control theory
299.6K papers, 3.1M citations
93% related
Robustness (computer science)
94.7K papers, 1.6M citations
85% related
Linear system
59.5K papers, 1.4M citations
84% related
Fuzzy logic
151.2K papers, 2.3M citations
84% related
Performance
Metrics
No. of papers in the topic in previous years
YearPapers
202369
2022150
2021157
2020206
2019193
2018219