3 papers
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.NI2018
Robust Safety for Autonomous Vehicles through Reconfigurable Networking
Khalid Halba, Charif Mahmoudi, Edward Griffor
Autonomous vehicles bring the promise of enhancing the consumer experience in terms of comfort and convenience and, in particular, the safety of the autonomous vehicle. Safety func…
cs.CR2018
Ontology-Based Reasoning about the Trustworthiness of Cyber-Physical Systems
Marcello Balduccini, Edward Griffor, Michael Huth +3
It has been challenging for the technical and regulatory communities to formulate requirements for trustworthiness of the cyber-physical systems (CPS) due to the complexity of the…