Collaborative Research: CPS: Medium: Co-Designed Control and Scheduling Adaptation for Assured Cyber-Physical System Safety and Performance

协作研究：CPS：中：共同设计控制和调度适应，以确保网络物理系统的安全和性能

• 批准号: 2229290
• 负责人: Christopher Gill
• 金额: $ 59.76万
• 依托单位: Washington University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2023
• 资助国家: 美国
• 起止时间: 2023-04-15 至 2026-03-31
• 项目状态: 未结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=2229290&HistoricalAwards=false
• 关键词: Collaborative; Research; CPS; Medium; Co

The safety and performance of cyber-physical systems (CPS) depend crucially on control and scheduling decisions that often are fixed at design time, which significantly restricts the conditions under which a system can operate both safely and with suitable performance. Going beyond prior work that has explored different control and scheduling adaptations in individual system designs, this project will conduct more general and in-depth investigations, into how cyber-physical systems’ control and scheduling can be co-designed to adapt jointly, automatically, dynamically, safely, and effectively even in response to rapid, large, and diverse changes in: (1) the system’s controlled behavior; (2) its environment; (3) its physical components; and (4) its platform software and hardware. Our project will immerse multiple graduate students in cross-disciplinary research, with extensive education, training, and mentoring spanning computer science, control theory, natural hazards engineering, structural engineering, mechanical engineering, and computer engineering. We will also involve undergraduate students via summer REU supplements and in-semester mentored independent study projects for academic credit, and will leverage our existing initiatives and relationships with partner organizations for K-12 outreach. As we have done in each of our previous collaborations, our multi-university team will recruit, mentor, and retain participants from groups traditionally under-represented in science and technology fields, leveraging effective and established outreach programs at our institutions. In this cross-disciplinary research project we will develop new formal models, analyses, system infrastructure, and evaluation metrics, to explicitly represent, respect, and even exploit control and scheduling inter-dependencies, to ensure that systems’ behaviors remain safe while enabling significant improvements in performance. The novel co-design approach we propose will enable radically improved cyber-physical system performance capabilities while respecting safety constraints that may cross-cut cyber and physical components and the system’s environment. For example, it will enable more extreme (but safely realizable) stress testing and adaptive management of mechanical systems and civil structures, to gauge and maintain resilience to significant (potentially adverse) changes to conditions in a system and its environment, and to enact adaptive mitigating responses accordingly.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）的安全性和性能很大程度上取决于通常在设计时确定的控制和调度决策，这极大地限制了系统安全运行并具有适当性能的条件。已经在各个系统设计中探索了不同的控制和调度适应，该项目将进行更一般和更深入的研究，探讨信息物理系统的控制和调度如何协同设计，以联合、自动、动态、安全和适应。甚至可以有效地应对快速、大规模和(1) 系统的受控行为；(3) 其物理组件；(4) 其平台软件和硬件。我们的项目将让多名研究生参与广泛的跨学科研究。涵盖计算机科学、控制理论、自然灾害工程、结构工程、机械工程和计算机工程的教育、培训和指导，我们还将通过暑期 REU 补充课程和学期内指导的独立学习项目来吸引本科生，以获得学术导师学分。并将利用我们现有的举措和关系正如我们在之前的每次合作中所做的那样，我们的多大学团队将利用有效且既定的外展活动，招募、指导和保留来自传统上在科学和技术领域代表性不足的群体的参与者。在这个跨学科研究项目中，我们将开发新的正式模型、分析、系统基础设施和评估指标，以明确表示、尊重甚至利用控制和调度的相互依赖性，以确保系统的行为。保持安全，同时显着提高性能。我们提出的新颖的协同设计方法将能够从根本上提高网络物理系统的性能，同时尊重可能交叉网络和物理组件以及系统环境的安全约束，例如，它将实现更极端（但可以安全实现）的压力测试。机械系统和土木结构的适应性管理，以衡量和保持对系统及其环境条件的重大（潜在不利）变化的恢复能力，并相应地制定适应性缓解措施。该奖项反映了 NSF 的法定使命，并被认为是值得的通过评估提供支持利用基金会的智力优势和更广泛的影响审查标准。

项目成果

Scheduling IDK classifiers with arbitrary dependences to minimize the expected time to successful classification

调度具有任意依赖性的 IDK 分类器，以最大限度地缩短成功分类的预期时间

• DOI: 10.1007/s11241-023-09395-0
• 发表时间: 2023-01
• 期刊: Real-Time Systems
• 影响因子: 1.3
• 作者: Abdelzaher, Tarek;Agrawal, Kunal;Baruah, Sanjoy;Burns, Alan;Davis, Robert I.;Guo, Zhishan;Hu, Yigong
• 通讯作者: Hu, Yigong

An Integrated Real-Time and Security Scheduling Framework for CPS.

CPS 的集成实时和安全调度框架。

• 发表时间: 2023-08
• 期刊: Proceedings of the 29th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA
• 作者: Kriti Kansal; Thidapat Chantem
• 通讯作者: Thidapat Chantem

Improved Uniprocessor Scheduling of Systems of Sporadic Constrained-Deadline Elastic Tasks

零星约束期限弹性任务系统的改进单处理器调度

• DOI: 10.1145/3575757.3575759
• 发表时间: 2023-06
• 期刊: Proceedings of the 31st International Conference on Real-Time and Network Systems (RTNS
• 作者: Baruah; Sanjoy
• 通讯作者: Sanjoy

Rethinking Tractability for Schedulability Analysis.

重新思考可调度性分析的易处理性。

• 发表时间: 2023-12
• 期刊: Proceedings of the 44th IEEE Real-Time Systems Symposium (RTSS 2023
• 作者: Kunal Agrawal; Sanjoy Baruah
• 通讯作者: Sanjoy Baruah

Robust to Early Termination Model Predictive Control

稳健的提前终止模型预测控制

• DOI: 10.1109/tac.2023.3308817
• 发表时间: 2023-08
• 期刊: IEEE Transactions on Automatic Control
• 影响因子: 6.8
• 作者: Hosseinzadeh, Mehdi;Sinopoli, Bruno;Kolmanovsky, Ilya;Baruah, Sanjoy
• 通讯作者: Baruah, Sanjoy