An Overview of Results in Discrete Event Systems Using a Trace Theory Based Setting
Rein Smedinga · Birkhäuser Basel eBooks · 1993
Discrete event systems can be modelled using a trace theory based setting. A control problem similar to the one in supervisory control theory can be formulated and easily solved using a special operator, the reflection. Using state graphs the solution can be computed effectively. Moreover, a subsystem of the controller can be computed such that the connection of plant and controller is free of lock.