Preprint
Specifying and Reasoning about CPS through the Lens of the NIST CPS Framework
Abstract
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
Authors
Nguyen TH; Bundas M; Son TC; Balduccini M; Garwood KC; Griffor ER
Publication date
January 14, 2022
DOI
10.48550/arxiv.2201.05710
Preprint server
arXiv