On the supervisory control for state trajectory specifications in time-varying discrete-event systems

Authors:	Guay Martin, Queen's University, Canada Romanovski I., Queen's University, Canada Rudie K., Queen's University, Canada
Topic:	1.3 Discrete Event and Hybrid Systems
Session:	Supervisory Control of Discrete Event Systems
Keywords:	Discrete-Event systems, Time-Varying Automata, SupervisoryControl, State Trajectory Specifications

Abstract

In this paper, the Supervisory Control in Time-Varying Discrete-Event Systemsis considered when the plant specifications are formulated as State TrajectorySpecifications. The procedure for construction of on-line supervisors in this caseis given and an example of re-using of the computed supervisor is given.