Authenticated Computation of Control Signal from Dynamic Controllers

Significant concerns on networked control systems are modifications on the control signals caused by a compromise on the network or the controller, since it can cause a devastating behavior or even entire failure of the system. In this paper, we present a fundamental solution to this problem by prop...

Full description

Saved in:
Bibliographic Details
Main Authors: Cheon, Jung Hee, Kim, Dongwoo, Kim, Junsoo, Lee, Seungbeom, Shim, Hyungbo
Format: Conference Proceeding
Language:English
Subjects:
Actuators
Computational efficiency
Dynamical systems
Encryption
Forgery
Matrix converters
Networked control systems
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Significant concerns on networked control systems are modifications on the control signals caused by a compromise on the network or the controller, since it can cause a devastating behavior or even entire failure of the system. In this paper, we present a fundamental solution to this problem by proposing a new authenticated computation that checks the matrix-vector multiplications-the main arithmetic of a controller-and verifies the updates on the states of the controller. It enables the plant-side not only to check the computation of the controller with much less computational cost than that required for the computation itself, but also to detect any modifications on the control signals.
ISSN:2576-2370
DOI:10.1109/CDC42340.2020.9304150