%0 Journal Article
%T Supervisory control for continuous-time discrete-event systems and its observability
连续计时离散事件系统监控及其可观性
%A WANFG Fei
%A LUO Ji-liang
%A
王飞
%A 罗继亮
%J 控制理论与应用
%D 2010
%I
%X 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.
%K discrete event systems
%K supervisors
%K trace-controllability
%K time-controllability
%K observability
离散事件系统
%K 监控器
%K 轨迹可控性
%K 时间可控性
%K 可观性
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=970898A57DFC021F93AB51667BAED7F7&aid=025A5F81F6F5EA776BACB032DD55BD29&yid=140ECF96957D60B2&vid=DB817633AA4F79B9&iid=59906B3B2830C2C5&sid=BF631CA8030AF011&eid=7BDE0FB5072797C1&journal_id=1000-8152&journal_name=控制理论与应用&referenced_num=0&reference_num=0