Safety-Critical Online Control with Adversarial Disturbances

by   Bhaskar Ramasubramanian, et al.

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.



There are no comments yet.


page 1

page 2

page 3

page 4


Regret-Optimal Full-Information Control

We consider the infinite-horizon, discrete-time full-information control...

Regret-optimal measurement-feedback control

We consider measurement-feedback control in linear dynamical systems fro...

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...

Improper Learning for Non-Stochastic Control

We consider the problem of controlling a possibly unknown linear dynamic...

Multicopter attitude control for recovery from large disturbances

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

Generating Adversarial Disturbances for Controller Verification

We consider the problem of generating maximally adversarial disturbances...

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.