1995

# Control of discrete event systems : research at the interface of control theory and computer science

## Publication

### Publication

This expository paper is directed to a general audience of engineers, mathematicians, and computer scientists. A discrete event system is a mathematical model (in the form of an automaton, Petri nets, or process algebra) of, for example, a computer controlled engineering system such as a communication network. Control theory for discrete event systems aims at synthesis procedures for a supervisor that forces a discrete event system such that it satisfies prespecified control objectives. As an example it i s discussed how the control problem of blocking prevention for nondeterminist ic systems may be solved by the use of failure semantics.

Additional Metadata | |
---|---|

, , , | |

CWI | |

Department of Operations Research, Statistics, and System Theory [BS] | |

Organisation | System and control theory |

Overkamp, A., & van Schuppen, J. (1995). Control of discrete event systems : research at the interface of control theory and computer science. Department of Operations Research, Statistics, and System Theory [BS]. CWI. |