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.

On synthesizing robust discrete controllers under modeling uncertainty

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

Synthesis of guaranteed dissipation controller for uncertain time-delay systems

Event-triggered Robust Adaptive Control for Discrete Time Uncertain Systems with Unmodelled Dynamics and Disturbances

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

Robust Controller Design for a Class of Time-Delay Systems with Nonlinear Uncertainties

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

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

Specification and Reactive Synthesis of Robust Controllers

Robust control for uncertain linear systems with constraints on output

Robust Dynamic Programming for Temporal Logic Control of Stochastic Systems

A General Approach to Robust Controller Analysis and Synthesis

Controlling Multivariable Systems with Significant Uncertainty

Probabilities Are Not Enough: Formal Controller Synthesis for Stochastic Dynamical Models with Epistemic Uncertainty

Robustly Complete Synthesis of Memoryless Controllers for Nonlinear Systems With Reach-and-Stay Specifications

Robust model predictive control with polytopic model uncertainty through System Level Synthesis

Probabilistic Approach to Robust Controller Synthesis

Robust ℋ_∞ decentralized dynamic control for synchronization of a complex dynamical network with randomly occurring uncertainties

Robustness analysis of uncertain linear systems with guaranteed cost control

Data-Driven Strategy Synthesis for Stochastic Systems with Unknown Nonlinear Disturbances