Design of software rejuvenation for CPS security using invariant sets

R Romagnoli, BH Krogh… - 2019 American Control …, 2019 - ieeexplore.ieee.org
Software rejuvenation has been proposed as a strategy to protect cyber-physical systems
(CSPs) against unanticipated and undetectable cyber attacks. The basic idea is to refresh …

Secure networked control via software rejuvenation

P Griffioen, R Romagnoli, BH Krogh… - 2019 IEEE 58th …, 2019 - ieeexplore.ieee.org
Software rejuvenation has been proposed as a prevention mechanism against
unanticipated and undetectable attacks on cyber-physical systems. Without needing to …

Safety and liveness of software rejuvenation for secure tracking control

R Romagnoli, BH Krogh… - 2019 18th European …, 2019 - ieeexplore.ieee.org
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 …

Sandboxing controllers for stochastic cyber-physical systems

B Zhong, M Zamani, M Caccamo - … on Formal Modeling and Analysis of …, 2019 - Springer
Current cyber-physical systems (CPS) are expected to accomplish complex tasks. To
achieve this goal, high performance, but unverified controllers (eg deep neural network …

[PDF][PDF] Key establishment algorithm for secure Cyber Physical system to prevent cyber attacks

S Thite, DS Thakore - Regular Issue, 2019 - academia.edu
Extensive research effort is going on to contribute to the Cyber Physical system (CPS). It will
create a physical system capable of computation, communication and sharing information …