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 published on a yearly basis
Papers
More filters
•
30 Sep 1999TL;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
••
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
••
01 Jan 1989TL;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
•
12 Aug 1992TL;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
••
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