The Control of Dense Real-Time Discrete Event Systems,

Abstract
We introduce dense real-time into the supervisory control framework for discrete event systems. Supervisory control theory models an autonomous plant and its specification as sets of execution traces. The task of a supervisor is to control the plant by disabling certain events so that the closed-loop behavior lies within the specification. We extend this theory to model the real-time aspects of the plant's execution. The two cases of finite (terminating) and infinite (non-terminating) timed traces are discussed. We give necessary and sufficient conditions for the existence of a supervisor. A supervisory synthesis problem is formulated. When the plant and specification behaviors are represented by deterministic timed automata, the synthesis problem can be solved. The synthesis procedure and the synthesized supervisor are polynomial in the number of automata states and exponential in the timing information.

This publication has 0 references indexed in Scilit: