Collaborative Research: Passivity-based Architecture for Software Design of Dynamic Networked Systems

美国国家科学基金会提案0820088/0819865标题：协作研究：用于动态网络系统软件设计的基于无源的体系结构PI：Xenofon KoutSoukos(0820088)，Panos Antsakis(0819865)Co-PI：Janos Sztipanovits，真实生活中的网络物理系统(CPSS)，如自动车辆和楼宇自动化系统，由网络控制系统监控。在CPSS中，整个系统动力学产生于物理动力学、计算动力学和通信网络之间的相互作用。该项目旨在通过利用无源系统的固有安全性，解决由网络不确定性引起的时变时延、抖动、数据速率限制、丢包等基本问题。该项目将开发(1)基于无源性的网络控制系统设计的理论基础，提供一种有效的方式将多个无源系统互联在一起，并在存在时变延迟和数据丢失的情况下保持稳定性和性能；(2)基于模型的设计过程，用于开发和分析软件，利用由潜在的无源性原则产生的跨设计视图的组合性和正交性。研究计划包括基于无源设计的软件工具链，基于无源的体系结构在分布式硬件平台上的实现，以及用于演示该方法的实验研究。随着CPS技术日益普及，未来的计算机科学家和工程师将面临丰富的社会背景和广泛的跨学科互动，该项目是一个很好的例子。

NSF Proposals 0820088/0819865Title: Collaborative Research: Passivity-based Architecture for Software Design of Dynamic Networked SystemsPIs: Xenofon Koutsoukos (0820088), Panos Antsaklis (0819865)Co-PI: Janos Sztipanovits, Real-life Cyber Physical Systems (CPSs), such as autonomous vehicles and building automation systems, are monitored and controlled by networked control systems. In CPSs, the overall system dynamics emerges from the interaction among physical dynamics, computational dynamics, and communication networks. This project aims at addressing the fundamental problems in constructing CPSs caused by network uncertainties, such as time varying delay, jitter, data rate limitations, packet loss and others, by exploiting the inherent safety of passive systems. The project will develop (1) the theoretical foundations for passivity-based design of networked control systems that provide an effective way to interconnect multiple passive systems together and preserve stability and performance in the presence of time varying delays and data dropouts and (2) model-based design processes for developing and analyzing software utilizing the compositionality and the orthogonality across design views stemming from the underlying passivity principles. The research plan includes a software tool-chain for passivity-based design, an implementation of the passivity-based architecture on a distributed hardware platform, and experimental studies for demonstrating the approach. The project serves as an excellent example for the rich societal context and extensive interdisciplinary interactions that future computer scientists and engineers will face as CPS technology is becoming increasingly pervasive.