DYNAMICAL SUPERVISORY CONTROL OF A CLASS OF REAL TIME DISCRETE EVENT SYSTEMS
Yi Li
Abstract
Yi Li
Abstract
Dynamical supervisory control of a class of real time discrete event systems with deterministic state sojourn times is studied in this paper.Based on the concept of real time controllability of certain languages with respect to a given plant is defined.It is shown that for a given. real time discrete event system G.there is a complete supervisor ψ such that L(ψ/G) = K if and only if K is closed and real time controllable.Necessary and sufficient conditions ensuring the existenee of solution to a real time supervisory synthesis problem is given.
A significance statement is not available in the OpenAlex record.
A contribution statement is not available in the OpenAlex record.
Method details are not available in the OpenAlex metadata.
Findings are not separately available in the OpenAlex metadata.
Limitations are not available in the OpenAlex metadata.
Application details are not available in the OpenAlex metadata.
Dynamical supervisory control of a class of real time discrete event systems with deterministic state sojourn times is studied in this paper.Based on the concept of real time controllability of certain languages with respect to a given plant is defined.It is shown that for a given. real time discrete event system G.there is a complete supervisor ψ such that L(ψ/G) = K if and only if K is closed and real time controllable.Necessary and sufficient conditions ensuring the existenee of solution to a real time supervisory synthesis problem is given.
Key concepts: Supervisory control, Supervisor, Controllability, Discrete event dynamic system, Class (philosophy), Discrete time and continuous time, Supervisory control theory, Event (particle physics)