CPS attacks mitigation approaches on power electronic systems with security challenges for smart grid applications: A review
This paper presents an inclusive review of the cyber-physical (CP) attacks, vulnerabilities,
mitigation approaches on the power electronics and the security challenges for the smart …
mitigation approaches on the power electronics and the security challenges for the smart …
RoboFuzz: fuzzing robotic systems over robot operating system (ROS) for finding correctness bugs
Robotic systems are becoming an integral part of human lives. Responding to the increased
demands for robot productions, Robot Operating System (ROS), an open-source …
demands for robot productions, Robot Operating System (ROS), an open-source …
An investigation of byzantine threats in multi-robot systems
Multi-Robot Systems (MRSs) show significant advantages to deal with complex tasks
efficiently. However, the system complexity inevitably enlarges the attack surface and adds …
efficiently. However, the system complexity inevitably enlarges the attack surface and adds …
FIGCPS: Effective failure-inducing input generation for cyber-physical systems with deep reinforcement learning
Cyber-Physical Systems (CPSs) are composed of computational control logic and physical
processes, which intertwine with each other. CPSs are widely used in various domains of …
processes, which intertwine with each other. CPSs are widely used in various domains of …
Efficient Input Space Exploration for Falsification of Cyber-Physical Systems
M Savaliya - 2022 - search.proquest.com
In recent years black-box optimization based search testing for Signal Temporal Logic (STL)
specifications has been shown to be a promising approach for finding bugs in complex …
specifications has been shown to be a promising approach for finding bugs in complex …