AI 驱动的网络-物理系统中的架构转换与新兴验证需求
软件工程
2025-10-02 v1 人工智能
摘要
在网络-物理系统 (CPS) 的世界中，数字技术与物理世界之间发生了引人入胜的实时融合。这种协同力量显著通过整合人工智能 (AI) 得到放大，极大增强了系统的适应性，并引入了影响 CPS 控制优化和可靠性的复杂性层级。尽管 AI 集成取得了进展，但仍存在一个显著的知识空白：即这种转变如何影响 CPS 的架构、操作复杂性和验证实践。extended abstract 通过调查 AI 驱动模型与传统控制模型在 Simulink 中设计的架构差异及其对系统验证的影响来弥补这一空白。
引用
@article{arxiv.2510.00519,
title = {Architectural Transformations and Emerging Verification Demands in AI-Enabled Cyber-Physical Systems},
author = {Hadiza Umar Yusuf and Khouloud Gaaloul},
journal= {arXiv preprint arXiv:2510.00519},
year = {2025}
}