Abstract
Cyber-physical system security presents unique challenges to conventional measurement science and technology. Anomaly detection in software-assisted physical systems, such as those employed in additive manufacturing or in DNA synthesis, is often hampered by the limited available parameter space of the underlying mechanism that is transducing the anomaly. As a result, the formulation of anomaly detection for such systems often leads to inverse or ill-posed problems, requiring statistical treatments. Here, we present Bayesian inference of unknown parameters associated with a generic actuator considered as a representative vital element of a cyber-physical system. Via a series of experimental input-output measurements, a transfer function for the actuator is obtained numerically, which serves as our model for the proposed method. Linear, nonlinear, and delayed dynamics may be assumed for the actuator response. By devising a code-based malicious signal, we study the efficacy of Bayesian inference for its potential to produce a detection, including uncertainty quantification, with a remarkably small number of input data points. Our approach should be adaptable to a variety of real-time cyber-physical anomaly detection scenarios.
Original language | English |
---|---|
Article number | 6112 |
Journal | Sensors (Switzerland) |
Volume | 22 |
Issue number | 16 |
DOIs | |
State | Published - Aug 2022 |
Funding
J.M.L. acknowledges support from the U.S. Department of Energy, Office of Science, Advanced Scientific Computing Research, through the Quantum Algorithm Teams Program. This work was performed in part at Oak Ridge National Laboratory, operated by UT-Battelle for the U.S. Department of Energy under contract number DE-AC05-00OR22725. This research was funded by the Laboratory Directed Research and Development Program at Oak Ridge National Laboratory (ORNL) under U.S. Department of Energy grant number DE-FG2-13ER41967.
Funders | Funder number |
---|---|
U.S. Department of Energy | DE-FG2-13ER41967 |
Office of Science | |
Advanced Scientific Computing Research | |
Oak Ridge National Laboratory | |
UT-Battelle | DE-AC05-00OR22725 |
Keywords
- Bayesian estimation
- cyber-physical security
- dynamical systems
- sensors and actuators