Peter J. Ramadge

The control of discrete event systems

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. >

On the supermal controllable sublanguage of a given language

The concept of controllable language has been shown to play a basic role in the existence theory of supervisory controls for discrete event processes. In this paper the supremal controllable sublanguage S of a given language L is characterized as the largest fixpoint of a monotone operator

Modular feedback logic for discrete event systems

\Omega

Discrete Time Stochastic Adaptive Control

. In the case where the languages involved are regular it is shown that the fixpoint S can be computed as the limit of the (finite) sequence

Rapid estimation of camera motion from compressed video with application to video annotation

\{ {K_j } \}

Periodicity and chaos from switched flow systems: contrasting examples of discretely controlled continuous systems

given by

Some tractable supervisory control problems for discrete-event systems modeled by Buchi automata

K_{j + 1} = \Omega (K_j )

Observability of discrete event systems

,

Control of discrete event processes with forced events

K_0 = L

Controller switching based on output prediction errors

. An effective computational algorithm is developed, and three examples are provided for illustration.