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