Supervisory Control Design of Nondeterministic Systems

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

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. ***