An STL-based Approach to Resilient Control for Cyber-Physical Systems
Refereed conference paper presented and published in conference proceedings
Full Text
Digital Object Identifier (DOI) DOI for CUHK Users |
Altmetrics Information
.
Other information
AbstractWe present ResilienC, a framework for resilient control of Cyber-Physical Systems subject to STL-based requirements. ResilienC utilizes a recently developed formalism for specifying CPS resiliency in terms of sets of (rec, dur) real-valued pairs, where rec represents the system’s capability to rapidly recover from a property violation (recoverability), and dur is reflective of its ability to avoid violations post-recovery (durability). We define the resilient STL control problem as one of multi-objective optimization, where the recoverability and durability of the desired STL specification are maximized. When neither objective is prioritized over the other, the solution to the problem is a set of Pareto-optimal system trajectories. We present a precise solution method to the resilient STL control problem using a mixed-integer linear programming encoding and an a posteriori ϵ -constraint approach for efficiently retrieving the complete set of optimally resilient solutions. In ResilienC, at each time-step, the optimal control action selected from the set of Pareto-optimal solutions by a Decision Maker strategy realizes a form of Model Predictive Control. We demonstrate the practical utility of the ResilienC framework on two significant case studies: autonomous vehicle lane keeping and deadline-driven, multi-region package delivery.
All Author(s) ListChen Hongkai , Smolka A. Scott , Paoletti Nicola , Lin Shan
Name of Conference26th ACM International Conference on Hybrid Systems: Computation and Control
Start Date of Conference09/05/2023
End Date of Conference12/05/2023
Place of ConferenceSan Antonio, TX
Country/Region of ConferenceUnited States of America
Book titleProceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control
Year2023
Month5
Article number2
Pages1 - 12
LanguagesEnglish-United States
