Dynamical Supervisory Control of a Class of Real time Discrete Event Systems
实时离散事件系统的动态反馈控制

本文研究了一类含确定性状态时间的实时离散事件系统的动态反馈控制问题。基于一定语言的实时不控性的概念，证明了对给定实时离散事件系统Ｇ，存在完备监控器ψ使Ｌ（ψ／ＧＴ）＝Ｋ的充分必要条件是Ｋ是闭及实时可控的，并得到了有关实时监控问题解存在的充要条件。