Safety-Critical Online Control with Adversarial Disturbances

09/20/2020
by   Bhaskar Ramasubramanian, et al.
0

This paper studies the control of safety-critical dynamical systems in the presence of adversarial disturbances. We seek to synthesize state-feedback controllers to minimize a cost incurred due to the disturbance, while respecting a safety constraint. The safety constraint is given by a bound on an H-inf norm, while the cost is specified as an upper bound on the H-2 norm of the system. We consider an online setting where costs at each time are revealed only after the controller at that time is chosen. We propose an iterative approach to the synthesis of the controller by solving a modified discrete-time Riccati equation. Solutions of this equation enforce the safety constraint. We compare the cost of this controller with that of the optimal controller when one has complete knowledge of disturbances and costs in hindsight. We show that the regret function, which is defined as the difference between these costs, varies logarithmically with the time horizon. We validate our approach on a process control setup that is subject to two kinds of adversarial attacks.

READ FULL TEXT
POST COMMENT

Comments

There are no comments yet.

Authors

page 1

page 2

page 3

page 4

05/04/2021

Regret-Optimal Full-Information Control

We consider the infinite-horizon, discrete-time full-information control...
11/24/2020

Regret-optimal measurement-feedback control

We consider measurement-feedback control in linear dynamical systems fro...
09/22/2021

Recursive Feasibility Guided Optimal Parameter Adaptation of Differential Convex Optimization Policies for Safety-Critical Systems

Quadratic programs (QPs) that enforce control barrier functions (CBFs) h...
01/25/2020

Improper Learning for Non-Stochastic Control

We consider the problem of controlling a possibly unknown linear dynamic...
02/26/2018

Multicopter attitude control for recovery from large disturbances

We present a novel, high-performance attitude control law for multicopte...
12/12/2020

Generating Adversarial Disturbances for Controller Verification

We consider the problem of generating maximally adversarial disturbances...
10/25/2021

Complete Test of Synthesised Safety Supervisors for Robots and Autonomous Systems

Verified controller synthesis uses world models that comprise all potent...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.