Reasoning About Trustworthiness in Cyber-Physical Systems Using Ontology-Based Representation and ASP
Reasoning About Trustworthiness in Cyber-Physical Systems Using Ontology-Based Representation and ASP
复制标题
使用基于本体的表示和 ASP 推理网络物理系统的可信度
DOI：
10.1007/978-3-030-69322-0_4
复制
发表时间：
2020
期刊：
影响因子：
--
通讯作者：
Griffor, Edward
中科院分区：
文献类型：
--
作者：
Nguyen, Thanh H;Son, Tran C;Bundas, Matthew;Balduccini, Marcello;Garwood, Kathleen C;Griffor, Edward
本文提出了一种基于本体的推理和答案集编程（ASP）相结合的网络物理系统（CPS）的可信性推理框架。它介绍了一个正式的定义CPS和几个问题相关的CPS的可信度，如系统的最脆弱的组件的识别问题和计算策略，以减轻问题。然后，它显示了如何结合基于本体的推理和ASP可以用来解决上述问题。本文最后讨论了所提出的方法的潜力。
This paper presents a framework for reasoning about trustworthiness in cyber-physical systems (CPS) that combines ontology-based reasoning and answer set programming (ASP). It introduces a formal definition of CPS and several problems related to trustworthiness of a CPS such as the problem of identification of the most vulnerable components of the system and of computing a strategy for mitigating an issue. It then shows how a combination of ontology based reasoning and ASP can be used to address the aforementioned problems. The paper concludes with a discussion of the potentials of the proposed methodologies.
登录
查看更多内容
Manyopt：通过 SMT 求解进行混合非线性优化的可扩展工具
DOI：
10.48550/arxiv.1702.01332
发表时间：
2017
期刊：
arXiv e-prints
影响因子：
--
作者：
Callia D'Iddio Andrea
通讯作者：
Callia D'Iddio Andrea
影响因子：
8.2
作者：
Ezer, Tal;Atkinson, Larry P.
通讯作者：
Atkinson, Larry P.
Phylotastic：使用逻辑编程创建、操作和进化系统发生生物学工作流程的实验
影响因子：
1.4
作者：
T. Nguyen;Enrico Pontelli;Tran Cao Son
通讯作者：
Tran Cao Son
Phylotastic 的自动 Web 服务组合
DOI：
10.1007/978-3-319-73305-0_13
发表时间：
2018
期刊：
IFAC Proceedings Volumes
影响因子：
--
作者：
T. Nguyen;Tran Cao Son;Enrico Pontelli
通讯作者：
Enrico Pontelli