Accession Number : ADA325997

Title :   The Control of Dense Real-Time Discrete Event Systems,

Corporate Author : STANFORD UNIV CA DEPT OF COMPUTER SCIENCE

Personal Author(s) : Wong-Toi, Howard ; Hoffmann, Gerard

PDF Url : ADA325997

Report Date : MAR 1992

Pagination or Media Count : 52

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.

Descriptors :   *CONTROL THEORY, *AUTOMATA, ALGORITHMS, AUTOMATION, TIME DEPENDENCE, REAL TIME, SYSTEMS ANALYSIS, CLOSED LOOP SYSTEMS, CONTROL SEQUENCES.

Subject Categories : Cybernetics

Distribution Statement : APPROVED FOR PUBLIC RELEASE