透过 NIST CPS 框架的视角规范描述与推理 CPS
人工智能
2022-01-19 v1 计算机科学中的逻辑
摘要
本文以美国国家标准与技术研究院 (NIST) 提出的 CPS 框架为精神，引入信息物理系统 (Cyber-Physical System, CPS) 的形式化定义。我们表明，使用该定义，CPS 中各类关注点相关的问题可借助答案集编程 (Answer Set Programming, ASP) 被精确形式化并实现。这些问题包括关注点之间的依赖或冲突、如何缓解某一问题，以及针对给定问题的最合适缓解策略是什么。随后我们展示如何利用 ASP 开发解决上述问题的实现。本文最后讨论了所提方法的潜力。
引用
@article{arxiv.2201.05710,
title = {Specifying and Reasoning about CPS through the Lens of the NIST CPS Framework},
author = {Thanh Hai Nguyen and Matthew Bundas and Tran Cao Son and Marcello Balduccini and Kathleen Campbell Garwood and Edward R. Griffor},
journal= {arXiv preprint arXiv:2201.05710},
year = {2022}
}
备注
Under consideration in Theory and Practice of Logic Programming (TPLP)