研究人员开发了一个新的运行时强制执行框架，旨在提高自主系统和网络物理系统的安全性。该框架利用混合自动机对安全需求进行建模，允许主动干预以防止属性违规。它结合了离散事件编辑和连续时间监控来处理复杂的动态，并在自适应巡航控制系统上进行了有效演示，计算开销极小。 AI
影响 增强了自主系统的安全机制，有可能提高实际应用的可靠性。
排序理由 这是一篇详细介绍混合系统属性运行时强制执行新框架的研究论文。
AI 生成摘要 · Google Gemini · 来自 2 个来源。 我们如何撰写摘要 →
新框架强制执行混合自主系统的安全性
报道来源 [2]
-
Runtime Enforcement of Hybrid System Properties
arXiv:2606.12022v1 Announce Type: cross Abstract: Runtime enforcement has emerged as a promising approach for ensuring the safety of autonomous and cyber-physical systems operating in uncertain and dynamic environments. Unlike traditional runtime verification, runtime enforcement…
-
混合系统属性的运行时强制执行
Runtime enforcement has emerged as a promising approach for ensuring the safety of autonomous and cyber-physical systems operating in uncertain and dynamic environments. Unlike traditional runtime verification, runtime enforcement actively intervenes during execution to prevent p…