ePrints@IIScePrints@IISc Home | About | Browse | Latest Additions | Advanced Search | Contact | Help

Resilient Abstraction-Based Controller Design

Samuel, S and Mallik, K and Schmuck, AK and Neider, D (2020) Resilient Abstraction-Based Controller Design. In: 59th IEEE Conference on Decision and Control, CDC 2020, 14 - 18 Dec 2020, Virtual, Jeju Island; South Korea, pp. 2123-2129.

pro_iee_con_dec_con_2020_2123-2129_2020.pdf - Published Version

Download (414kB) | Preview
Official URL: https://dx.doi.org/10.1109/CDC42340.2020.9303932


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 the system via so called disturbance edges. (II) We show that the application of resilient reactive synthesis techniques to these abstract models results in closed loop systems which are optimally resilient to these occasional high disturbance spikes. We have implemented this resilient ABCD workflow on top of SCOTS and showcase our method through multiple robot planning examples. © 2020 IEEE.

Item Type: Conference Paper
Publication: Proceedings of the IEEE Conference on Decision and Control
Publisher: Institute of Electrical and Electronics Engineers Inc.
Additional Information: The copyright of this article belongs to Institute of Electrical and Electronics Engineers Inc.
Keywords: Closed loop systems; Dynamical systems; Linear control systems; Robot programming; Temporal logic, Abstract models; Controller designs; Controller synthesis; Finite-state abstraction; Linear time temporal logic; Perturbed systems; Reactive synthesis; Resilient controller, Controllers
Department/Centre: Division of Electrical Sciences > Computer Science & Automation
Date Deposited: 16 Feb 2021 11:51
Last Modified: 16 Feb 2021 11:51
URI: http://eprints.iisc.ac.in/id/eprint/67974

Actions (login required)

View Item View Item