Supervisory Control Design for Nondeterministic Systems With Application to Network Management

9626399萨伊曼离散系统是涉及具有一组离散值的量的系统，除了在系统中发生事件的离散时间外，这些量是恒定的。例子包括通信网络、智能车辆高速公路系统、制造系统和计算机程序。监督控制理论的发展为这类系统的控制器设计提供了一个数学框架，以满足各种约束条件。这方面的研究主要集中在确定性系统的监督控制上。然而，未建模的动态或部分观察经常导致不确定的模型，其中关于当前状态和下一事件的知识不足以唯一地确定下一状态。分布式系统通常具有不确定的模型。本提案中描述的研究计划旨在扩展监控理论，使其能够适应通信网络故障管理自动化中出现的技术问题。这些问题包括分布式工厂对监管者可用信息的影响，以及控制有效性和信息成本之间的权衡。后者对于网络管理尤其重要，因为监视网元的信息收集过程将网络资源从数据传输的主要任务中分流出来。***

9626399 Shayman Discrete systems are systems that 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 constraints. The majority of the research effort in this area has focused on the supervisory control of deterministic systems. However, unmodeled dynamics or partial observation often leads to {\it nondeterministic models} in which knowledge of the current state and next event is insufficient to uniquely determine the next state. Distributed systems commonly have nondeterministic models. The research program described in this proposal is intended to extend supervisory control theory so that it can accommodate technical issues that arise in the automation of fault management for communication networks. These include, among others, the effects of a distributed plant on the information available to the supervisor as well as tradeoffs between the effectiveness of control and the cost of information. The latter is especially important for network management since the information gathering process of monitoring the network elements diverts network resources from the primary task of data transfer. ***