Resilient Abstraction-Based Controller Design

  title={Resilient Abstraction-Based Controller Design},
  author={Stanly Samuel and Kaushik Mallik and Anne-Kathrin Schmuck and Daniel Neider},
  journal={2020 59th IEEE Conference on Decision and Control (CDC)},
We consider the computation of resilient controllers for perturbed non-linear dynamical systems w.r.t. linear-time temporal logic specifications. We address this problem through the paradigm of Abstraction-Based Controller Design (ABCD) where a finite state abstraction of the perturbed system dynamics is constructed and utilized for controller synthesis. In this context, our contribution is twofold: (I) We construct abstractions which model the impact of occasional high disturbance spikes on… 

Figures from this paper

Data-Driven Abstraction-Based Control Synthesis

A data-driven approach that computes the growth bound of the system using a finite number of trajectories and shows that it can be readily used as a model-free abstraction reflnement scheme by modifying the formulation of thegrowth bound and providing similar sample complexity results.

ABS: A formally correct software tool for space-efficient symbolic synthesis

ABS is presented, a software for Abstraction-Based Synthesis of controllers for continuous-state control systems that is formally correct, i.e., any controller synthesized by ABS is mathematically guaranteed to solve the control problem provided as input.

Robustness-by-Construction Synthesis: Adapting to the Environment at Runtime

This paper addresses the robust-by-construction synthesis problem by considering the specifications to be expressed by a robust version of Linear Temporal Logic, called robust LTL, and de-veloped two new notions of strategies, which are that of adaptive strategies and strongly adaptive strategies.



A Notion of Robustness for Cyber-Physical Systems

A notion of robustness termed input-output dynamical stability for cyber-physical systems (CPS) which merges existing notions of robustity for continuous systems and discrete systems is introduced.

Incremental Abstraction Computation for Symbolic Controller Synthesis in a Changing Environment

This paper presents an incremental algorithm to locally adapt abstractions to changes in the disturbance model, and empirically shows the benefit of dynamic abstraction adaptation on two large examples: a 5-dimensional vehicle model and a 12-dimensional quadrotor model.

Feedback Refinement Relations for the Synthesis of Symbolic Controllers

This work builds on a general notion of system with set-valued dynamics and possibly non-deterministic quantizers to permit the synthesis of controllers that robustly, and provably, enforce the specification in the presence of various types of uncertainties and disturbances.

CoSyMA: a tool for controller synthesis using multi-scale abstractions

CoSyMA is introduced, a tool for automatic controller synthesis for incrementally stable switched systems based on multi-scale discrete abstractions and the significant performance gains during their computation are illustrated.

Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games

This work considers the problem of computing the set of initial states of a dynamical system such that there exists a control strategy to ensure that the trajectories satisfy a temporal logic specification with probability 1 (almost-surely), and proposes a solution based on iterative abstraction-refinement, and turn-based 2-player probabilistic games.

Towards Robustness for Cyber-Physical Systems

It is shown that the proposed notion of robustness captures two intuitive goals: bounded disturbances lead to bounded deviations from nominal behavior, and the effect of a sporadic disturbance disappears in finitely many steps.

Multi-Layered Abstraction-Based Controller Synthesis for Continuous-Time Systems

It is empirically demonstrate that multi-layered synthesis can outperform standard (single-layer) ABCS algorithms on a number of examples, despite the additional cost of constructing multiple abstract systems.

Robust temporal logic model predictive control

  • Sadra SadraddiniC. Belta
  • Mathematics
    2015 53rd Annual Allerton Conference on Communication, Control, and Computing (Allerton)
  • 2015
This paper introduces a (conservative) computationally efficient framework to synthesize control strategies based on mixed integer programs that satisfy the temporal logic requirements, are robust to all possible realizations of the disturbances, and optimal with respect to a cost function.