A survey on machine-learning based security design for cyber-physical systems
A cyber-physical system (CPS) is the integration of a physical system into the real world and
control applications in a computing system, interacting through a communications network …
control applications in a computing system, interacting through a communications network …
A systematic review of software robustness
A Shahrokni, R Feldt - Information and Software Technology, 2013 - Elsevier
CONTEXT: With the increased use of software for running key functions in modern society it
is of utmost importance to understand software robustness and how to support it. Although …
is of utmost importance to understand software robustness and how to support it. Although …
Runtime assurance for safety-critical systems: An introduction to safety filtering approaches for complex control systems
More than three miles above the Arizona desert, an F-16 student pilot experienced a gravity-
induced loss of consciousness, passing out while turning at nearly 9Gs (nine times the force …
induced loss of consciousness, passing out while turning at nearly 9Gs (nine times the force …
Towards a framework for realizable safety critical control through active set invariance
This paper presents initial results towards a realizable framework for the safety critical
controlled invariance of cyber-physical systems. The main contribution of this paper is the …
controlled invariance of cyber-physical systems. The main contribution of this paper is the …
A scalable safety critical control framework for nonlinear systems
There are two main approaches to safety-critical control. The first one relies on computation
of control invariant sets and is presented in the first part of this work. The second approach …
of control invariant sets and is presented in the first part of this work. The second approach …
Run time assured reinforcement learning for safe satellite docking
Reinforcement learning promises high performance in complex tasks as well as low online
storage and computation cost. However, the trial-and-error learning approach of …
storage and computation cost. However, the trial-and-error learning approach of …
SOTER: a runtime assurance framework for programming safe robotics systems
The recent drive towards achieving greater autonomy and intelligence in robotics has led to
high levels of complexity. Autonomous robots increasingly depend on third-party off-the …
high levels of complexity. Autonomous robots increasingly depend on third-party off-the …
An online approach to active set invariance
This paper presents an online approach to safety critical control. The common approach for
enforcing safety of a system requires the offline computation of a viable set, which is either …
enforcing safety of a system requires the offline computation of a viable set, which is either …
S3A: Secure system simplex architecture for enhanced security and robustness of cyber-physical systems
The recently discovered'W32. Stuxnet'worm has drastically changed the perception that
systems managing critical infrastructure are invulnerable to software security attacks. Here …
systems managing critical infrastructure are invulnerable to software security attacks. Here …
Guaranteed physical security with restart-based design for cyber-physical systems
Physical plants that form the core of the Cyber-Physical Systems (CPS) often have stringent
safety requirements. Recent attacks have shown that cyber intrusions can result in the safety …
safety requirements. Recent attacks have shown that cyber intrusions can result in the safety …