Supervisory Control Design of Nondeterministic Systems

小行星9312587 建议的研究项目涉及非确定性离散事件系统的监督控制。 离散事件系统是这样的系统，其涉及的量具有离散的值集，并且除了在系统中发生事件的离散时间之外，这些量是恒定的。 例子包括通信网络、智能车辆高速公路系统、制造系统和计算机程序。 监督控制理论的发展提供了一个数学框架，为这样的系统，以满足各种定性约束的控制器的设计。 将进行一项关于不确定系统的监督控制的研究计划。 监督控制的不定时和定时系统将在完全和部分观察下进行研究。 将开发集中式和分散式、分级和模块化控制技术。 有效的计算技术，以验证监督员的存在，合成他们时，他们存在和合成限制性最小的监督员将获得。 离线和在线计算技术都将被考虑。 其结果将应用于通信网络的综合管理问题。 ***

9312587 Shayman The proposed research project deals with supervisory control of nondeterministic discrete event systems. Discrete event systems are systems which involve quantities which take on a discrete set of values and which are constant except at discrete times when events occur in the system. Examples include communication networks, intelligent vehicle highway systems, manufacturing systems and computer programs. Supervisory control theory was developed to provide a mathematical framework for the design of controllers for such systems in order to meet various qualitative constraints. A research program on the supervisory control of nondeterministic systems will be undertaken. Supervisory control of both untimed and timed systems will be studied under complete as well as partial observation. Centralized as well as decentralized, hierarchical and modular control techniques will be developed. Efficient computational techniques to verify the existence of supervisors, to synthesize them when they exist and to synthesize minimally restrictive supervisors will be obtained. Both off-line and on-line computational techniques will be considered. The results will be applied to the problem of integrated management of communication networks. ***