Search Results

User-centric privacy preservation is of paramount importance in the realm of Cyber-Physical Systems (CPS), where making decisions based on nature of data is crucial. This abstract presents a novel approach to safeguarding user privacy within CPS ...

The zero-sum game-based stochastic encryption problem for cyber–physical systems (CPSs) under stealthy attacks is investigated in this paper. Firstly, a deterministic encryption strategy is presented to achieve the same estimation performance as ...

In recent years, integrating Industrial Control Systems (ICSs) with internet-connected environments has heightened their exposure to cyberattacks. Despite the enhanced cybersecurity measures, emerging attacks targeting network traffic in ...

Improved autonomy in robotic systems is needed for innovation in, e.g., the marine sector. Autonomous robots that are let loose in hazardous environments, such as underwater, need to handle uncertainties that stem from both their environment and internal ...

In the field of cyber–physical systems, significant attention has been received by the problem of stealthy attack strategy design for remote estimators, for which most existing approaches are exploited by maximizing the difference between the ...

This paper investigates the design of optimal deception attacks against remote state estimation, where the attacker is equipped with energy harvesting capability to supply more energy resources for implementing the attacks. To derive the optimal ...

A cyber-physical system-of-systems (CPSoS) facilitates the achievement of high-level goals, such as efficient traffic management on roads, by designing and developing the collaboration of constituent CPSs. A platooning that groups autonomous ...

Critical infrastructures (CIs) are often targets of cyber-attacks, requiring accurate process specifications to identify and defend against incidents. However, discrepancies between these specifications and real-world CI conditions arise due to ...

Due to the tight coupling between the cyber and physical components, control systems are subjected to emerging cyberattacks. In addition to attacks based on networking and communication, control systems are also susceptible to process-aware ...

The development of the Digital Twin (DT) approach is tilting research from initial approaches that aim at promoting early adoption to sophisticated attempts to develop, deploy, and maintain applications based on DTs. In this context, we propose a highly ...

An assurance case is a structured hierarchy of claims aiming at demonstrating that a mission-critical system supports specific requirements (e.g., safety, security, privacy). The presence of assurance weakeners (i.e., assurance deficits, ...

Machine Learning approaches have been successfully used for the creation of high-performance control components of cyber–physical systems, where the control dynamics result from the combination of many subsystems. However, these approaches may ...

Models are abstractions used to precisely represent specific aspects of a system in order to make work easier for engineers. This separation of concerns naturally leads to a proliferation of models, and thus to the challenge of ensuring that all ...

In automotive engineering, one of the ideas of vehicle cooperation is to improve convoy movements to increase the safety and efficiency of transportation systems. The complexity and stochastic nature of such cooperative systems pose difficulties ...

We formally introduce IsaVODEs (Isabelle verification with Ordinary Differential Equations), an open, compositional and extensible framework for the verification of cyber-physical systems. We extend a previous semantic approach with methods and ...

Simulation-based falsification has proved to be an effective verification method for cyber-physical systems. Traditional approaches to falsification take as input a single or a set of temporal properties that must be satisfied by the system at all ...

Security is paramount in all mission-critical domains, including the aerospace industry. Cyber-attacks are increasing both in number and sophistication. Zero-trust is an emerging initiative that has proven very effective for enterprise systems in ...

This paper is concerned with the security control problem for cyber–physical systems (CPSs) subjected to aperiodic denial-of-service (DoS) attacks. In order to mitigate the adverse impacts of DoS attacks, buffers are installed at both the event-...

• Reduce the communication frequency in quasi-steady state process by a novel METM.
• Design an active security control with historical signals against DoS attacks and network delays.
• Analyze the co-design of METM and the active ...

This paper introduces a distributed dynamic event-triggered (DDET) controller meticulously crafted to achieve resilient consensus control in singular Markov jumping multi-agent systems (SMJMAs) even in the face of periodic Denial-of-Service (DoS) ...

• A novel distributed dynamic event-triggered scheme under DoS attacks is proposed.
• Exponential consensus for singular Markov multi-agent systems is achieved.
• An extended dissipative consensus controller is designed.

The rapid expansion of cyber-physical systems (CPSs) has introduced new security challenges, leading to the emergence of various threats, attacks, and controls aimed at addressing security concerns in this evolving CPS landscape. However, a ...