CPS: Medium: Collaborative Research: Data-Driven Modeling and Preview-Based Control for Cyber-Physical System Safety

CPS：中：协作研究：数据驱动的建模和基于预览的网络物理系统安全控制

• 批准号: 1931982
• 负责人: Necmiye Ozay
• 金额: $ 62万
• 依托单位: Regents of the University of Michigan - Ann Arbor
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2020
• 资助国家: 美国
• 起止时间: 2020-01-01 至 2024-12-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1931982&HistoricalAwards=false
• 关键词: CPS; Medium; Collaborative; Research; Data

This project will develop the theory and algorithmic tools for the design of provably-safe controllers that can leverage preview information from different sources. Many autonomous or semi-autonomous cyber-physical systems (CPS) are equipped with mechanisms that provide a window of projecting into the future. These mechanisms can be forward looking sensors like cameras (and corresponding perception algorithms), map information, forecast information, or more complicated predictive models of external agents learned from data. Through these mechanisms, at run-time, the systems have a preview of what lies ahead. Leveraging this information to improve performance of CPS while keeping strong guarantees on their safety, therefore, holds great promise for multiple technologies of national interest. We will use driver-assist systems in connected vehicles as the main application. Education and outreach activities will involve undergraduate and graduate students along with stakeholders from local automotive companies.To develop the theory for learning- and prediction-enabled safety for CPS we will: (i) develop a modeling formalism, namely preview automata, for systems with preview information and correct-by-construction control algorithms that consider structured inaccuracies in the predictions for resilience; (ii) investigate how cooperation can assist in enriching the preview information; (iii) learn, via finite-sample data analysis, trustworthy dynamical models of the behaviors of non-cooperative agents with provable uncertainty bounds; and (iv) design methods for selecting compatible models from the learned dynamical models and for deriving safe controllers in the presence of cooperative and non-cooperative agents. Our innovations will enable safety-critical CPS to take full advantage of emerging technologies on sensing, perception, communication, and learning.This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.

该项目将开发用于设计可证明安全的控制器的理论和算法工具，这些控制器可以利用来自不同来源的预览信息。许多自主或半自主的信息物理系统（CPS）都配备了一种机制，可以提供一个预测未来的窗口。这些机制可以是前瞻性传感器，如摄像头（以及相应的感知算法）、地图信息、预测信息或从数据中学习的外部代理的更复杂的预测模型。通过这些机制，在运行时，系统可以预览未来的情况。利用这些信息来提高CPS的性能，同时保持对其安全性的强有力保证，因此，对于国家利益的多种技术来说，这是一个巨大的希望。我们将在联网车辆中使用驾驶员辅助系统作为主要应用。教育和外展活动将涉及本科生和研究生沿着与当地汽车公司的利益相关者。为了发展学习和预测启用的CPS安全理论，我们将：（i）开发一个建模形式主义，即预览自动机，系统的预览信息和纠正的建设控制算法，考虑结构不准确的预测弹性;（ii）研究合作如何有助于丰富预览信息;（iii）通过有限样本数据分析，学习具有可证明的不确定性界限的非合作代理行为的可信动力学模型;和（四）设计方法，用于从学习的动态模型中选择兼容的模型，以及用于在存在协作和不合作的代理商。我们的创新将使安全关键型CPS充分利用传感、感知、通信和学习方面的新兴技术。该奖项反映了NSF的法定使命，并通过使用基金会的知识价值和更广泛的影响审查标准进行评估，被认为值得支持。

项目成果

A Constructive Method for Designing Safe Multirate Controllers for Differentially-Flat Systems

• DOI: 10.1109/lcsys.2021.3136465
• 发表时间: 2024-03
• 期刊: IEEE Control Systems Letters
• 影响因子: 3
• 作者: Devansh R. Agrawal;Hardik Parwana;Ryan K. Cosner;Ugo Rosolia;A. Ames;Dimitra Panagou

Scalable Computation of Controlled Invariant Sets for Discrete-Time Linear Systems with Input Delays

具有输入延迟的离散时间线性系统的受控不变集的可扩展计算

• DOI: 10.23919/acc45564.2020.9147731
• 发表时间: 2020
• 期刊: 2020 American Control Conference (ACC
• 作者: Liu, Zexiang;Yang, Liren;Ozay, Necmiye
• 通讯作者: Ozay, Necmiye

On the Hardness of Learning to Stabilize Linear Systems

论学习稳定线性系统的难度

• 发表时间: 2023
• 期刊: Proceedings of the IEEE Conference on Decision Control
• 作者: Zeng, Xiong;Liu, Zexiang;Du, Zhe;Ozay, Necmiye;Sznaier, Mario
• 通讯作者: Sznaier, Mario

Controlled Invariant Sets: Implicit Closed-Form Representations and Applications

受控不变集：隐式闭式表示和应用

• DOI: 10.1109/tac.2023.3336819
• 发表时间: 2023
• 期刊: IEEE Transactions on Automatic Control
• 影响因子: 6.8
• 作者: Anevlavis, Tzanis;Liu, Zexiang;Ozay, Necmiye;Tabuada, Paulo
• 通讯作者: Tabuada, Paulo

Safe Control Design for Unknown Nonlinear Systems with Koopman-based Fixed-Time Identification

基于库普曼固定时间辨识的未知非线性系统的安全控制设计

• DOI: 10.1016/j.ifacol.2023.10.421
• 发表时间: 2023
• 期刊: IFAC-PapersOnLine
• 作者: Black, Mitchell;Panagou, Dimitra
• 通讯作者: Panagou, Dimitra