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
%0 Journal Article
%1 ramadge1989
%A Ramadge, P.J.G.
%A Wonham, W.M.
%D 1989
%I IEEE Press
%J Proceedings of the IEEE
%K formal control autonomic discrete
%N 1
%T The control of discrete event systems
%U http://ieeexplore.ieee.org/xpls/abs_all.jsp?isnumber=859&arnumber=21072&type=ref
%V 77
%X 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
@article{ramadge1989,
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},
added-at = {2006-11-23T19:22:32.000+0100},
author = {Ramadge, P.J.G. and Wonham, W.M.},
biburl = {https://www.bibsonomy.org/bibtex/2947fcbcf811cd9465f6dc78659b8003e/neilernst},
interhash = {7306bb5738178e73e57a6991d9f54742},
intrahash = {947fcbcf811cd9465f6dc78659b8003e},
issn = {0018-9219},
journal = {Proceedings of the IEEE},
keywords = {formal control autonomic discrete},
number = 1,
publisher = {IEEE Press},
timestamp = {2006-11-23T19:22:32.000+0100},
title = {The control of discrete event systems},
url = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?isnumber=859&arnumber=21072&type=ref},
volume = 77,
year = 1989
}