实时离散事件系统的动态反馈控制
Dynamical Supervisory Control of a Class of Real time Discrete Event Systems
-
摘要: 本文研究了一类含确定性状态时间的实时离散事件系统的动态反馈控制问题.基于一定 语言的实时可控性的概念,证明了对给定实时离散事件系统G,存在完备监控器φ使L(φ/ Gr)=K的充分必要条件是K是闭及实时可控的,并得到了有关实时监控问题解存在的充要 条件.Abstract: Dynamical supervisory control of a class of real time discrete event systems with deterministic state sojourn times is studied in this paper. Based on the concept of real time controllability of certain languages with respect to a given plant is defined. It is shown that for a given real time discrete event system G. there is a complete supervisor φ such that L(φ/G) =K if and only if K is closed and real time controllable. Necessary and sufficient conditions ensuring the existenee of solution to a real time supervisory synthesis problem is given.
-
Key words:
- Discrete Event Systems /
- Real Time Control /
- Dynamical Feedback Control /
- Controllability
计量
- 文章访问数: 2465
- HTML全文浏览量: 60
- PDF下载量: 1044
- 被引次数: 0