Supervisory control for continuous-time discrete-event systems and its observability
连续计时离散事件系统监控及其可观性

The constructive model of an extended discrete-event system with continuous-time variable, called timed discrete-event systems (timed-DES), is presented. The synthesis problem of this system is solved by considering properties of timed languages, e.g., closeness, controllability and observability. By using these properties, we develop the necessary and sufficient conditions for the existence of supervisors with full and partial observations.