The scale of Internet-connected systems has increased considerably, and these systems are
being exposed to cyberattacks more than ever. The complexity and dynamics of …

With the booming of cyber attacks and cyber criminals against cyber-physical systems
(CPSs), detecting these attacks remains challenging. It might be the worst of times, but it …

The application of new techniques to increase the performance of intrusion detection
systems is crucial in modern data networks with a growing threat of cyber-attacks. These …

Autonomous cyber-physical systems (CPS) can improve safety and efficiency for safety-
critical applications, but require rigorous testing before deployment. The complexity of these …

Reinforcement learning (RL) methods can successfully solve complex optimization
problems. Our article gives a systematic overview of major types of RL methods, their …

Black-box testing has been extensively applied to test models of Cyber-Physical systems
(CPS) since these models are not often amenable to static and symbolic testing and …

Hybrid system falsification is an important quality assurance method for cyber-physical
systems with the advantage of scalability and feasibility in practice than exhaustive …

The reliability of decision-making policies is urgently important today as they have
established the fundamentals of many critical applications, such as autonomous driving and …

For exhaustive formal verification, industrial-scale cyber-physical systems (CPSs) are often
too large and complex, and lightweight alternatives (eg, monitoring and testing) have …

Finding the most likely path to a set of failure states is important to the analysis of safety-
critical systems that operate over a sequence of time steps, such as aircraft collision …