Related papers: The CERN Detector Safety System for the LHC Experi…

The rapid evolution of Cyber-Physical Systems (CPS) across various domains like mobility systems, networked control systems, sustainable manufacturing, smart power grids, and the Internet of Things necessitates innovative solutions that…

An Intrusion Detection System (IDS) aims to alert users of incoming attacks by deploying a detector that monitors network traffic continuously. As an effort to increase detection capabilities, a set of independent IDS detectors typically…

We review here the prospects of a long-term upgrade programme for the Large Hadron Collider (LHC), CERN laboratory's new proton-proton collider. The super-LHC, which is currently under evaluation and design, is expected to deliver of the…

Cyber-physical systems (CPSs) use learning-enabled components (LECs) extensively to cope with various complex tasks under high-uncertainty environments. However, the dataset shifts between the training and testing phase may lead the LECs to…

The CLEARSY Safety Platform (CSSP) was designed to ease the development of safety critical systems and to reduce the overall costs (development, deployment, and certification) under the pressure of the worldwide market. A smart combination…

The Deep Underground Neutrino Experiment (DUNE) is a long-baseline neutrino oscillation experiment aiming to measure the oscillation parameters with an unprecedented precision that will allow determining the CP violation phase in the…

Intrusion Detection Systems (IDS) have been the industry standard for securing IoT networks against known attacks. To increase the capability of an IDS, researchers proposed the concept of blockchain-based Collaborative-IDS (CIDS), wherein…

HPC systems used for research run a wide variety of software and workflows. This software is often written or modified by users to meet the needs of their research projects, and rarely is built with security in mind. In this paper we…

The LHCb experiment at the European Organization for Nuclear Research (CERN) is dedicated to precision measurements of CP violation and rare decays of B hadrons. Its most sensitive components are protected by means of a Beam Conditions…

The XENON100 experiment, in operation at the Laboratori Nazionali del Gran Sasso (LNGS) in Italy, was designed to search for evidence of dark matter interactions inside a volume of liquid xenon using a dual-phase time projection chamber.…

Proton-proton collisions at the LHC generate a high-intensity collimated beam of neutrinos in the forward (beam) direction, characterised by energies of up to several TeV. The recent observation of LHC neutrinos by FASER$\nu$ and SND@LHC…

This survey presents an overview of verification techniques for autonomous systems, with a focus on safety-critical autonomous cyber-physical systems (CPS) and subcomponents thereof. Autonomy in CPS is enabling by recent advances in…

In this contribution, the structural modifications of the material and the degradation of devices is modelled and compared with experimental data for more resistivities, temperatures, crystal orientations and oxygen concentrations,…

The RELICS (REactor neutrino LIquid xenon Coherent elastic Scattering) experiment aims to detect coherent elastic neutrino-nucleus scattering from reactor antineutrinos using a dual-phase xenon time projection chamber. To validate the…

Intrusion Detection Systems (IDS) are a vital part of a network-connected device. In this paper, we develop a deep learning based intrusion detection system that is deployed in a distributed setup across devices connected to a network. Our…

Security of Distributed Parameter Cyber-Physical Systems (DPCPSs) is of critical importance in the face of cyber-attack threats. Although security aspects of Cyber-Physical Systems (CPSs) modelled by Ordinary differential Equations (ODEs)…

The CMS experiment at CERN has released research-quality data from particle collisions at the LHC since 2014. Almost all data from the first LHC run in 2010-2012 with the corresponding simulated samples are now in the public domain, and…

Model Predictive Control (MPC) is effective at generating safe control strategies in constrained scenarios, at the cost of computational complexity. This is especially the case in robots that require high sampling rates and have limited…

Closed-loop control systems employ continuous sensing and actuation to maintain controlled variables within preset bounds and achieve the desired system output. Intentional disturbances in the system, such as in the case of cyberattacks,…

Silicon Drift Detectors (SDD) equip the two central layers of the Inner Tracking System of the ALICE experiment at the LHC. Main results of systematic studies of detector performance including noise, gain, drift speed and charge collection…