1 citations · 1 across the 2 of their papers we have counts for
Showing cs.AIShow all
2 papers · 1 filter
cs.AI2022
Specifying and Reasoning about CPS through the Lens of the NIST CPS Framework
Thanh Hai Nguyen, Matthew Bundas, Tran Cao Son +3
This paper introduces a formal definition of a Cyber-Physical System (CPS) in the spirit of the CPS Framework proposed by the National Institute of Standards and Technology (NIST).…
cs.AI2020★ 1 cited
An Application of ASP in Nuclear Engineering: Explaining the Three Mile Island Nuclear Accident Scenario
B. N. Hanna, L. T. Trieu, T. C. Son +1
The paper describes an ongoing effort in developing a declarative system for supporting operators in the Nuclear Power Plant (NPP) control room. The focus is on two modules: diagno…