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，这是美国近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.