Conference
Reasoning About Trustworthiness in Cyber-Physical Systems Using Ontology-Based Representation and ASP
Abstract
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 …
Authors
Nguyen TH; Son TC; Bundas M; Balduccini M; Garwood KC; Griffor ER
Series
Lecture Notes in Computer Science
Volume
12568
Pagination
pp. 51-67
Publisher
Springer Nature
Publication Date
2021
DOI
10.1007/978-3-030-69322-0_4
Conference proceedings
Lecture Notes in Computer Science
ISSN
0302-9743