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 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.
| Original language | English |
|---|---|
| Article number | 9459778 |
| Pages (from-to) | 1214-1219 |
| Number of pages | 6 |
| Journal | IEEE Control Systems Letters |
| Volume | 6 |
| DOIs | |
| State | Published - 2022 |
Keywords
- Cybersecurity
- Invariant sets
- Linear quadratic regulator
- Linear systems
- Software rejuvenation
Fingerprint
Dive into the research topics of 'A Linear Programming Approach to Computing Safe Sets for Software Rejuvenation'. Together they form a unique fingerprint.Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver