TY - GEN
T1 - Safety and liveness of software rejuvenation for secure tracking control
AU - Romagnoli, Raffaele
AU - Krogh, Bruce H.
AU - Sinopoli, Bruno
N1 - Publisher Copyright:
© 2019 EUCA.
PY - 2019/6
Y1 - 2019/6
N2 - Software rejuvenation is the concept of scheduling periodic system reboots to eliminate sources of potential failures due to unanticipated states in the run-time system. It has been proposed recently as a way to improve security of cyber-physical systems (CPSs) against undetectable cyber-attacks that change run-time code or data towards malicious ends. This paper presents proofs of safety and liveness for a recently proposed scheme for software rejuvenation for tracking control systems based on Lyapunov functions and invariant sets.
AB - Software rejuvenation is the concept of scheduling periodic system reboots to eliminate sources of potential failures due to unanticipated states in the run-time system. It has been proposed recently as a way to improve security of cyber-physical systems (CPSs) against undetectable cyber-attacks that change run-time code or data towards malicious ends. This paper presents proofs of safety and liveness for a recently proposed scheme for software rejuvenation for tracking control systems based on Lyapunov functions and invariant sets.
UR - https://www.scopus.com/pages/publications/85071524536
U2 - 10.23919/ECC.2019.8795951
DO - 10.23919/ECC.2019.8795951
M3 - Conference contribution
AN - SCOPUS:85071524536
T3 - 2019 18th European Control Conference, ECC 2019
SP - 2215
EP - 2220
BT - 2019 18th European Control Conference, ECC 2019
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 18th European Control Conference, ECC 2019
Y2 - 25 June 2019 through 28 June 2019
ER -