Article
A Linear Programming Approach to Computing Safe Sets for Software Rejuvenation
Author/s | Araúz Pisón, María Teresa
Maestre Torreblanca, José María Romagnoli, R. Sinopoli, B. Camacho, Eduardo F. |
Department | Universidad de Sevilla. Departamento de Ingeniería de Sistemas y Automática |
Publication Date | 2021 |
Deposit Date | 2023-03-09 |
Published in |
|
Abstract | Software rejuvenation was born to fix operating system faults by periodically refreshing the run-time code and data. This mechanism has been extended to protect control systems from cyber-attacks. This letter proposes a ... Software rejuvenation was born to fix operating system faults by periodically refreshing the run-time code and data. This mechanism has been extended to protect control systems from cyber-attacks. This letter proposes a software rejuvenation design method in discrete-time where invariant sets for the safety and mission controllers are designed to schedule the timing of software refreshes. To compute a minimal robust positively invariant (min-RPI) set and the bounded time between software refreshes to ensure system safety, an LP based approach is proposed for stable and unstable systems. Finally, the designed approach is illustrated by the case study of a simulated lab-scale microgrid. |
Citation | Araúz Pisón, M.T., Maestre Torreblanca, J.M., Romagnoli, R., Sinopoli, B. y Camacho, E.F. (2021). A Linear Programming Approach to Computing Safe Sets for Software Rejuvenation. IEEE Control Systems Letters, 6, 1214-1219. https://doi.org/10.1109/LCSYS.2021.3090448. |