CPS: Small: Dynamically Managing the Real-time Fabric of a Wireless Sensor-Actuator Network

CPS：小型：动态管理无线传感器-执行器网络的实时结构这项研究的目标是开发无线传感器-执行器网络(WSAN)的算法，允许控制应用程序和网络服务器一起工作，在硬实时服务约束下最大化控制应用程序的性能。该方法是一种基于模型的方法，将WSAN展开为一个实时结构，该结构捕获网络的网络进程和应用程序的物理进程之间的交互。该项目的方法在应用于无线控制系统时面临许多挑战。该项目通过1)使用网络微积分概念来提出网络效用最大化(NUM)问题，从而在网络容量限制的情况下最大化整体应用性能，2)使用事件触发的消息传递方案来减少通信开销，3)使用非线性分析方法来更准确地描述问题的效用函数，以及4)使用随时控制概念来确保对网络连接的广泛变化的稳健性，从而解决这些挑战。项目的影响将通过与工业合作伙伴Emnet LLC的互动来扩大。该公司将在其CSOnet系统上使用该项目的算法。CSOnet是控制合流下水道溢流(CSO)的WSAN，CSO是美国近800个城市面临的环境问题。该项目的影响还将通过教育外联活动扩大，这些活动将开发一门关于网络物理系统的正规方法的研究生级课程。该项目的影响将通过与在欧盟Wide项目下从事网络控制系统工作的同事合作来进一步扩大。

CPS: Small: Dynamically Managing the Real-time Fabric of a Wireless Sensor-Actuator NetworkThe objective of this research is to develop algorithms for wireless sensor-actuator networks (WSAN) that allow control applications and network servers to work together in maximizing control application performance subject to hard real-time service constraints. The approach is a model-based approach in which the WSAN is unfolded into a real-time fabric that captures the interaction between the network's cyber-processes and the application's physical-processes. The project's approach faces a number of challenges when they are applied to wireless control systems. This project addresses these challenges by 1) using network calculus concepts to pose a network utility maximization (NUM) problem that maximizes overall application performance subject to network capacity constraints, 2) using event-triggered message passing schemes to reduce communication overhead, 3) using nonlinear analysis methods to more precisely characterize the problem's utility functions, and 4) using anytime control concepts to assure robustness over wide variations in network connectivity.The project's impact will be broadened through interactions with industrial partner, EmNet LLC. The company will use this project's algorithms on its CSOnet system. CSOnet is a WSAN controlling combined-sewer overflows (CSO), an environmental problem faced by nearly 800 cities in the United States. The project's impact will also be broadened through educational outreach activities that develop a graduate level course on formal methods in cyber-physical systems. The project's impact will be broadened further through collaborations with colleagues working on networked control systems under the European Union's WIDE project.