2 papers
astro-ph.HE2022
V392 Persei: a γ-ray bright nova eruption from a known dwarf nova
F. J. Murphy-Glaysher, M. J. Darnley, É. J. Harvey +57
V392 Persei is a known dwarf nova (DN) that underwent a classical nova eruption in 2018. Here we report ground-based optical, Swift UV and X-ray, and Fermi-LAT γ-ray observations f…
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).…