Control Synthesis for Discrete Event Systems
J.G. Thistle · Birkhäuser Basel eBooks · 1999
Among the control challenges posed by modern digital technology are problems of subsystem coordination in large-scale, complex systems. These are common in communications, transportation, manufacturing and other fields. In many instances, the essence of such coordination problems can be captured by “lumping” the trajectories of low-level subsystems into sequences of discrete, instantaneous events, thus abstracting away from any continuous dynamics. The resulting discrete event systems (DES) may be modelled by means of automata, formal languages, formal logic, etc. These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.