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

网络物理系统(CP)的安全和性能在很大程度上取决于控制和调度决策，这些决策通常在设计时是固定的，这极大地限制了系统能够安全运行和具有适当性能的条件。该项目将超越以往在单个系统设计中探索不同控制和调度适应的工作，更全面和深入地调查如何共同设计网络物理系统的控制和调度，以联合、自动、动态、安全和有效地适应以下方面的快速、大规模和多样化的变化：(1)系统的受控行为；(2)其环境；(3)其物理组件；(4)其平台软件和硬件。我们的项目将使多名研究生沉浸在跨学科的研究中，通过广泛的教育、培训和指导，涵盖计算机科学、控制理论、自然灾害工程、结构工程、机械工程和计算机工程。我们还将通过夏季REU补充课程和学期中由导师指导的独立学习项目让本科生获得学分，并将利用我们现有的倡议和与合作伙伴组织的关系来拓展K-12课程。正如我们在之前的每一次合作中所做的那样，我们的多所大学团队将招募、指导和留住在科学和技术领域传统上代表性不足的团体的参与者，利用我们机构有效和既定的外联计划。在这个跨学科的研究项目中，我们将开发新的正式模型、分析、系统基础设施和评估指标，以明确表示、尊重甚至利用控制和调度相互依赖关系，以确保系统的行为保持安全，同时实现显著的性能改进。我们提出的新的联合设计方法将从根本上提高网络物理系统的性能，同时尊重可能横跨网络和物理组件以及系统环境的安全约束。例如，它将允许对机械系统和土木结构进行更极端(但可安全实现)的压力测试和适应性管理，衡量并保持对系统及其环境条件的重大(潜在不利)变化的弹性，并相应地制定适应性缓解响应。该奖项反映了NSF的法定使命，并通过使用基金会的智力优势和更广泛的影响审查标准进行评估，被认为值得支持。

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.