A Linear Programming Approach to Computing Safe Sets for Software Rejuvenation
| Autor: | Eduardo F. Camacho, T. Arauz, José M. Maestre, Bruno Sinopoli, Raffaele Romagnoli |
|---|---|
| Přispěvatelé: | Universidad de Sevilla. Departamento de Ingeniería de Sistemas y Automática |
| Rok vydání: | 2022 |
| Předmět: |
Schedule
Cybersecurity Control and Optimization Linear programming Software rejuvenation Linear quadratic regulator business.industry Computer science Distributed computing Linear systems System safety Invariant sets System dynamics Software Control and Systems Engineering Control system business Invariant (computer science) |
| Zdroj: | IEEE Control Systems Letters. 6:1214-1219 |
| ISSN: | 2475-1456 |
| DOI: | 10.1109/lcsys.2021.3090448 |
| Popis: | 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|