SearcharxivSearch

arXiv subjects

John Clark

Publications and source records attributed to John Clark.

8 recordsLinked to original sources

Automated Stealthy Wear-Out Attack on Digital Twins With Deep Reinforcement Learning

Digital Twins (DTs) have emerged as pivotal enablers of Industry 4.0, offering transformative capabilities such as real-time monitoring, advanced simulation, and precise control of physical assets. By bridging the physical and virtual domains, DTs facilitate seamless integration of data-driven decision-making and operational optimisation. However, this seamless interaction significantly expands the attack surface of industrial systems, creating vulnerabilities that adversaries can exploit. This paper introduces a novel and stealthy wear-out attack leveraging Deep Reinforcement Learning (DRL) to target DT-enabled infrastructures. The adversary strategically and covertly manipulates control signals, inducing increased torque on a specific joint to accelerate wear and tear while evading detection by a state-of-the-art anomaly detection system. Extensive benchmarking of reinforcement learning algorithms - including Twin Delayed Deep Deterministic Policy Gradient (TD3), Soft Actor-Critic (SAC), Proximal Policy Optimisation (PPO), and Advantage Actor-Critic (A2C) - revealed that SAC consistently outperformed its counterparts in terms of sample efficiency, stability, and overall attack effectiveness. We evaluate the proposed adversary in an industrial setting using the UR10e robotic arm. Results demonstrate the adversary's ability to significantly elevate torque levels on the targeted joint, leading to accelerated degradation and increased maintenance costs, all while operating stealthily and avoiding detection. Our findings highlight the substantial risks posed by DRL-driven adversaries to DT-enabled environments and emphasise the critical need for robust defence mechanisms to protect critical industrial systems.

cs.CR

Emergent Spin Fluctuation and Structural Metastability in Self-Intercalated Cr$_{1+x}$Te$_2$ Compounds

Intercalated van der Waals (vdW) magnetic materials host unique magnetic properties due to the interplay of competing interlayer and intralayer exchange couplings, which depend on the intercalant concentration within the van der Waals gaps. Magnetic vdW compound chromium telluride, Cr$_{1+x}$Te$_2$, has demonstrated rich magnetic phases at various Cr concentrations, such as the coexistence of ferromagnetic and antiferromagnetic phases in Cr$_{1.25}$Te$_2$ (equivalently, Cr$_{5}$Te$_8$). The compound is induced by intercalating 0.25 Cr atom per unit cell within the van der Waals gaps of CrTe$_2$. In this work, we report a notably increased Curie Temperature and an emergent in-plane spin fluctuation by slightly reducing the concentration of Cr intercalants in Cr$_{1.25}$Te$_2$. Moreover, the intercalated Cr atoms form a metastable 2$\times$2 supercell structure that can be manipulated by electron beam irradiation. This work offers a promising approach to tuning magnetic and structural properties by adjusting the concentration of intercalated magnetic atoms.

cond-mat.mtrl-sci

Improving the Reliability of Quantum Circuits by Evolving Heterogeneous Ensembles

Quantum computers can perform certain operations exponentially faster than classical computers, but designing quantum circuits is challenging. To that end, researchers used evolutionary algorithms to produce probabilistic quantum circuits that give the correct output more often than not for any input. They can be executed multiple times, with the outputs combined using a classical method (such as voting) to produce the final output, effectively creating a homogeneous ensemble of circuits (i.e., all identical). Inspired by n-version programming and ensemble learning, we developed a tool that uses an evolutionary algorithm to generate heterogeneous ensembles of circuits (i.e., all different), named QuEEn. We used it to evolve ensembles to solve the Iris classification problem. When using ideal simulation, we found the performance of heterogeneous ensembles to be greater than that of homogeneous ensembles to a statistically significant degree. When using noisy simulation, we still observed a statistically significant improvement in the majority of cases. Our results indicate that evolving heterogeneous ensembles is an effective strategy for improving the reliability of quantum circuits. This is particularly relevant in the current NISQ era of quantum computing where computers do not yet have good tolerance to quantum noise.

quant-ph

Challenges in the Safety-Security Co-Assurance of Collaborative Industrial Robots

The coordinated assurance of interrelated critical properties, such as system safety and cyber-security, is one of the toughest challenges in critical systems engineering. In this chapter, we summarise approaches to the coordinated assurance of safety and security. Then, we highlight the state of the art and recent challenges in human-robot collaboration in manufacturing both from a safety and security perspective. We conclude with a list of procedural and technological issues to be tackled in the coordinated assurance of collaborative industrial robots.

cs.RO

Solar System Ice Giants: Exoplanets in our Backyard

Future remote sensing of exoplanets will be enhanced by a thorough investigation of our solar system Ice Giants (Neptune-size planets). What can the configuration of the magnetic field tell us (remotely) about the interior, and what implications does that field have for the structure of the magnetosphere; energy input into the atmosphere, and surface geophysics (for example surface weathering of satellites that might harbour sub-surface oceans). How can monitoring of auroral emission help inform future remote observations of emission from exoplanets? Our Solar System provides the only laboratory in which we can perform in-situ experiments to understand exoplanet formation, dynamos, systems and magnetospheres.

astro-ph.EP

Genetic algorithms and solid state NMR pulse sequences

The use of genetic algorithms for the optimisation of magic angle spinning NMR pulse sequences is discussed. The discussion uses as an example the optimisation of the C7 dipolar recoupling pulse sequence, aiming to achieve improved efficiency for spin systems characterised by large chemical shielding anisotropies and/or small dipolar coupling interactions. The optimised pulse sequence is found to be robust over a wide range of parameters, requires only minimal a priori knowledge of the spin system for experimental implementations with buildup rates being solely determined by the magnitude of the dipolar coupling interaction, but is found to be less broadbanded than the original C7 pulse sequence. The optimised pulse sequence breaks the synchronicity between r.f. pulses and sample spinning.

cs.CE

Kumjian-Pask algebras of higher-rank graphs

We introduce higher-rank analogues of the Leavitt path algebras, which we call the Kumjian-Pask algebras. We prove graded and Cuntz-Krieger uniqueness theorems for these algebras, and analyze their ideal structure.

math.RA

Idempotent monads and $\star$-functors

For an associative ring $R$, let $P$ be an $R$-module with $S=\End_R(P)$. C.\ Menini and A. Orsatti posed the question of when the related functor $\Hom_R(P,-)$ (with left adjoint $P\ot_S-$) induces an equivalence between a subcategory of $_R\M$ closed under factor modules and a subcategory of $_S\M$ closed under submodules. They observed that this is precisely the case if the unit of the adjunction is an epimorphism and the counit is a monomorphism. A module $P$ inducing these properties is called a $\star$-module. The purpose of this paper is to consider the corresponding question for a functor $G:\B\to \A$ between arbitrary categories. We call $G$ a {\em $\star$-functor} if it has a left adjoint $F:\A\to \B$ such that the unit of the adjunction is an {\em extremal epimorphism} and the counit is an {\em extremal monomorphism}. In this case $(F,G)$ is an idempotent pair of functors and induces an equivalence between the category $\A_{GF}$ of modules for the monad $GF$ and the category $\B^{FG}$ of comodules for the comonad $FG$. Moreover, $\B^{FG}=\Fix(FG)$ is closed under factor objects in $\B$, $\A_{GF}=\Fix(GF)$ is closed under subobjects in $\A$.

math.CT