CPS: TTP Option: Synergy: Collaborative Research: Certifiable, Scalable, and Attack-resilient Submodular Control Framework for Smart Grid Stability

利用CPS域的固有物理结构可以产生经济上可行且有效的新颖算法，用于提供性能、控制、同步以及不仅仅依赖于密码术的CPS安全性的替代方法。在这些系统中的每一个中，无论网络的当前状态如何，在存在干扰或对抗性输入的情况下，都需要使系统达到期望的状态，以实现网络的性能和控制。该项目提出了一种新的方法，通过观察CPS应用，包括智能电网，协调机器人，无人机编队飞行，以及包括大脑网络在内的生物系统的同步，都表现出一种特殊的物理结构，即子模块化，相对于控制动作的集合。子模块性是一个收益递减的属性，它使开发具有可证明的最优性保证的高效算法成为可能，并且在许多情况下，分布式版本是本地可实现的，因此是可扩展的。虽然它已被广泛用于机器学习和离散优化社区，但在CPS环境中使用子模块化是一个肥沃的研究领域。 该项目最初将子模块化应用于智能电网的背景下，并展示了它如何提高系统稳定性和攻击弹性。通过定义捕获物理动力学基础的子模块结构的合适度量，研究人员开发了算法，通过仿真消除了控制动作的耗时和计算昂贵的验证。同步，收敛，鲁棒性和攻击弹性的基本属性考虑在这项工作中有横切应用程序多个CPS域，这将受益于子模块化的方法，我们将研究和开发。

Exploiting inherent physical structure of the CPS domains can lead to economically viable and efficient novel algorithms for providing performance, control, synchronization and an alternate approach to CPS security that does not rely solely on cryptography. In each of these systems, regardless of the current state of the network, in the presence of disturbances or adversarial inputs, there is a need to bring the system to desired state for performance and control of the network. This project presents one such novel approach by observing that the CPS applications including smartgrid, coordinating robotics, formation flights in UAV, and synchronization of biological systems including brain networks all exhibit a special physical structure, namely submodularity, with respect to the set of control actions. Submodularity is a diminishing returns property that enables the development of efficient algorithms with provable optimality guarantees and in many cases distributed versions that are locally implementable, and hence scalable. While it has been widely used in the machine learning and discrete optimization communities, the use of submodularity in the context of CPS is a fertile research area. This project initially applies submodularity in the context of smart grid and show how it can lead to greater system stability and attack resilience. By defining suitable metrics that capture the submodular structures underlying the physical dynamics, the researchers develop algorithms that eliminate the time-consuming and computationally expensive verification of control actions through simulation. The fundamental properties of synchronization, convergence, robustness, and attack-resilience considered in this effort have crosscutting applications to multiple CPS domains, which will benefit from the submodular approach that we will research and develop.