Journal ArticleDOI
The control of discrete event systems
Peter J. Ramadge,W. M. Wonham +1 more
- Vol. 77, Iss: 1, pp 81-98
TLDR
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. >read more
Citations
More filters
Journal ArticleDOI
Diagnosability of discrete-event systems
TL;DR: The approach to failure diagnosis presented in this paper is applicable to systems that fall naturally in the class of DES's; moreover, for the purpose of diagnosis, most continuous variable dynamic systems can be viewed as DES's at a higher level of abstraction.
Journal ArticleDOI
Alternating-time temporal logic
TL;DR: This work introduces a third, more general variety of temporal logic: alternating-time temporal logic, which offers selective quantification over those paths that are possible outcomes of games, such as the game in which the system and the environment alternate moves.
Book
Artificial Intelligence: A New Synthesis
TL;DR: Intelligent agents are employed as the central characters in this new introductory text and Nilsson gradually increases their cognitive horsepower to illustrate the most important and lasting ideas in AI.
Journal ArticleDOI
Measurement and correction of systematic odometry errors in mobile robots
Johann Borenstein,Liqiang Feng +1 more
TL;DR: Experimental results are presented that show a consistent improvement of at least one order of magnitude in odometric accuracy (with respect to systematic errors) for a mobile robot calibrated with the method described.
Journal ArticleDOI
Failure diagnosis using discrete-event models
TL;DR: A discrete-event systems (DES) approach to the failure diagnosis problem is proposed, applicable to systems that fall naturally in the class of DES; moreover, for the purpose of diagnosis, continuous-variable dynamic systems can often be viewed as DES at a higher level of abstraction.
References
More filters
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
Impossibility of distributed consensus with one faulty process
TL;DR: In this paper, it is shown that every protocol for this problem has the possibility of nontermination, even with only one faulty process.
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.