CPS: Medium: Quantitative Analysis and Design of Control Networks

本研究的目的是为控制网的定量分析和设计奠定科学基础。控制网络是用于工业自动化控制的无线基板，例如WirelessHART和Honeywell的OneWireless，并且与它们的传感器网络对应物具有根本区别，因为它们还包括致动和物理动力学。 该项目的方法侧重于理解使用时间触发架构的计算系统、控制系统、传感器网络和无线通信之间的交叉接口，这项研究的智力价值是基于使用时间触发通信和计算作为理解控制网络的统一抽象。 时间触发的体系结构使得控制网络的通信、计算和物理方面能够自然地集成为切换控制系统。时间触发的抽象将用于解决以下相互关联的主题：通过定量自动机的最优调度，控制网络的定量分析和设计：最优控制的无线协议：控制网络的定量信任管理。这项研究的各个组成部分将被集成到PI的RAVEN控制网络中，该网络与WirelessHART和OneWireless规范兼容。这为该提案立即产生工业影响提供了直接途径。 为了增加该项目的更广泛的影响，该项目将启动嵌入式系统硕士课程的创建，这是全国第一个。指导这一新方案的课程开发的原则是计算，通信和控制系统的统一系统观。

The objective of this research is to develop the scientific foundation for the quantitative analysis and design of control networks. Control networks are wireless substrates for industrial automation control, such as the WirelessHART and Honeywell's OneWireless, and have fundamental differences over their sensor network counterparts as they also include actuation and the physical dynamics. The approach of the project focuses on understanding cross-cutting interfaces between computing systems, control systems, sensor networks, and wireless communications using time-triggered architectures.The intellectual merit of this research is based on using time-triggered communication and computation as a unifying abstraction for understanding control networks. Time-triggered architectures enable the natural integration of communication, computation, and physical aspects of control networks as switched control systems. The time-triggered abstraction will serve for addressing the following interrelated themes: Optimal Schedules via Quantitative Automata, Quantitative Analysis and Design of Control Networks: Wireless Protocols for Optimal Control: Quantitative Trust Management for Control Networks.Various components of this research will be integrated into the PIs' RAVEN control network which is compatible with both WirelessHART and OneWireless specifications. This provides a direct path for this proposal to have immediate industrial impact. In order to increase the broader impact of this project, this project will launch the creation of a Masters' program in Embedded Systems, one of the first in the nation. The principle that guides the curriculum development of this novel program is a unified systems view of computing, communication, and control systems.