中文摘要：

本文提出了一种带有连续时间变量的离散事件系统（称为计时离散事件系统）结构模型.通过讨论计时语言的性质,如封闭性、可控性以及可观性,研究了计时离散事件系统的监控综合问题,并基于这些性质,分别提出了计时离散事件系统在完全可观与部分可观条件下监控器存在的充要条件.

英文摘要：

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.