| 引用本文: | 王飞,罗继亮.连续计时离散事件系统监控及其可观性[J].控制理论与应用,2010,27(12):1731~1736.[点击复制] |
| WANFG Fei,LUO Ji-liang.Supervisory control for continuous-time discrete-event systems and its observability[J].Control Theory and Technology,2010,27(12):1731~1736.[点击复制] |
|
| 连续计时离散事件系统监控及其可观性 |
| Supervisory control for continuous-time discrete-event systems and its observability |
| 摘要点击 1923 全文点击 1135 投稿时间：2010-05-05 修订日期：2010-07-07 |
| 查看全文 查看/发表评论 下载PDF阅读器 |
| DOI编号 10.7641/j.issn.1000-8152.2010.12.PCTA100498 |
| 2010,27(12):1731-1736 |
| 中文关键词 离散事件系统 监控器 轨迹可控性 时间可控性 可观性 |
| 英文关键词 discrete event systems supervisors trace-controllability time-controllability observability |
| 基金项目 国家自然科学基金资助项目(60904018); 泉州科技计划资助项目(2010G2); 华侨大学科研基金资助项目(09BS509). |
|
| 中文摘要 |
| 本文提出了一种带有连续时间变量的离散事件系统(称为计时离散事件系统)结构模型. 通过讨论计时语言的性质, 如封闭性、可控性以及可观性, 研究了计时离散事件系统的监控综合问题, 并基于这些性质, 分别提出了计时离散事件系统在完全可观与部分可观条件下监控器存在的充要条件. |
| 英文摘要 |
| 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. |