Abstract:We define robust abstractions for synthesizing provably correct and robust controllers for (possibly infinite) uncertain transition systems. It is shown that robust abstractions are sound in the sense that they preserve robust satisfaction of linear-time properties. We then focus on discrete-time control systems modelled by nonlinear difference equations with inputs and define concrete robust abstractions for them. While most abstraction techniques in the literature for nonlinear systems focus on constructing sound abstractions, we present computational procedures for constructing both sound and approximately complete robust abstractions for general nonlinear control systems without stability assumptions. Such procedures are approximately complete in the sense that, given a concrete discrete-time control system and an arbitrarily small perturbation of this system, there exists a finite transition system that robustly abstracts the concrete system and is abstracted by the slightly perturbed system simultaneously. A direct consequence of this result is that robust control synthesis for discrete-time nonlinear systems and linear-time specifications is robustly decidable. More specifically, if there exists a robust control strategy that realizes a given linear-time specification, we can algorithmically construct a (potentially less) robust control strategy that realizes the same specification. The theoretical results are illustrated with a simple motion planning example.

Probabilistic Approach to Robust Controller Synthesis

Robust Hinfinity Controller Design for Time-Varying Uncertain Linear Systems with Time-Varying State and Control Delays

A Memoryless Robust Stabilizing Controller for a Class of Uncertain Linear Time-Delay Systems

Multi-objective Robust Controller Synthesis for Discrete-Time Systems with Convex Polytopic Uncertain Domain

A New Probabilistic Robust Control Approach for System with Uncertain Parameters

Robust control for uncertain linear systems with constraints on output

Controlling Multivariable Systems with Significant Uncertainty

A General Approach to Robust Controller Analysis and Synthesis

Robust H∞Controller Design Using Interval System Models

Probabilistic Robust Linear Parameter-Varying Control of a Small Helicopter Using Iterative Scenario Approach

Strongly practical robust control for a class of nonlinear systems

Robust Control of a Class of Nonlinear Systems with Parametric Uncertainties

Design of Robust Controller for a Class of Nonlinear Uncertain Systems

Robust Stabilization Of Uncertain Systems With Mixed Perturbation

Robust, Multi-Objective Control Synthesis For A Class Of Uncertain Linear Systems

Safe and Stable Control Synthesis for Uncertain System Models via Distributionally Robust Optimization

A probabilistic approach to robust control

Adaptive Robust Control Synthesis for Linear Systems with Time-Varying Uncertainties

Robust State Feedback Control Design with Probabilistic System Parameters

Robust Non-Fragile Controllers Design For Uncertain Linear Switched Systems

Robust Abstractions for Control Synthesis: Robustness Equals Realizability for Linear-Time Properties