# Resilient Abstraction-Based Controller Design

@article{Samuel2020ResilientAC, 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)}, year={2020}, pages={2123-2129} }

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…

## 3 Citations

### Data-Driven Abstraction-Based Control Synthesis

- Computer ScienceArXiv
- 2022

A data-driven approach that computes the growth bound of the system using a ﬁnite number of trajectories and shows that it can be readily used as a model-free abstraction reﬂnement 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

- Computer ScienceHSCC
- 2022

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

- Computer ScienceISoLA
- 2022

This paper addresses the robust-by-construction synthesis problem by considering the speciﬁcations 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.

## References

SHOWING 1-10 OF 31 REFERENCES

### A Notion of Robustness for Cyber-Physical Systems

- Mathematics, Computer ScienceIEEE Transactions on Automatic Control
- 2016

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

- Computer Science2019 IEEE 58th Conference on Decision and Control (CDC)
- 2019

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.

### Finite abstractions with robustness margins for temporal logic-based control synthesis

- Engineering
- 2016

### Feedback Refinement Relations for the Synthesis of Symbolic Controllers

- Computer ScienceIEEE Transactions on Automatic Control
- 2017

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

- Computer ScienceHSCC '13
- 2013

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

- Computer ScienceHSCC
- 2015

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.

### Abstraction-based Synthesis for Stochastic Systems with Omega-Regular Objectives

- Computer Science, MathematicsNonlinear Analysis: Hybrid Systems
- 2022

### Towards Robustness for Cyber-Physical Systems

- Mathematics, Computer ScienceIEEE Transactions on Automatic Control
- 2014

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

- Computer ScienceHSCC
- 2018

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

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