ITR: Design of Supervisory Control Software for Dynamic Systems with Decentralized Information

计算和通信技术的快速发展使得自动化在制造业、通信网络、交通运输和电力系统的动态工程和计算系统的监测和控制中得到了越来越广泛的应用，这只是几个关键领域。监视和控制这些系统的软件程序负责各种功能，包括启动和关闭程序，监视和控制，重大事件的检测和隔离，系统重新配置等。我们把所有这些软件程序称为“监控软件”。本建议的重点是分布在多个站点的系统，其中监控软件也是分布的。目标是对设计具有分散信息的监视和控制系统的分布式软件系统的新颖形式化通用方法进行基础研究。我们建议将系统、控制和决策理论的概念和技术引入到设计可证明正确和高效的分布式软件系统的问题上。作为这项工作的一部分，我们将对密歇根大学和韦恩州立大学的计算机科学和工程专业的学生进行有关分布式软件设计的基本问题的教育。

Rapid advances in computation and communication technologies are giving rise to an ever wider use of automation in the monitoring and control of dynamic engineering and computing systems inmanufacturing, communication networks, transportation, and electric power systems, to mention but a few key areas. The software programs that monitor and control these systems are responsible for various functions, including start-up and shut-down procedures, monitoring and control, detection and isolation of significant events, system reconfiguration, etc. We refer to all of these software programs as the "supervisory control software". This proposal is focused on systems that are distributed over several sites and where the supervisory control software is distributed as well. The goal is to conduct fundamental research on novel formal generic methodologies for designing distributed software systems that monitor and control systems with decentralized information. We propose to bring the concepts and techniques of Systems, Control, and Decision Theory to bear on the problem of designing distributed software systems that are provably correct and efficient. As part of this effort, we will educate computer science and engineering students at the University of Michigan and Wayne State University on the fundamental issues associated with distributed software design.