Related papers: The CERN Detector Safety System for the LHC Experi…
Autonomous cyber-physical systems (CPS) rely on the correct operation of numerous components, with state-of-the-art methods relying on machine learning (ML) and artificial intelligence (AI) components in various stages of sensing and…
This paper develops a framework for synthesizing safety controllers for discrete-time stochastic linear control systems (dt-SLS) operating under communication imperfections. The control unit is remote and communicates with the sensor and…
SHiP (Search for Hidden Particles) is a proposed experiment to be installed at CERN, with the aim of exploring the high intensity beam frontier to investigate the so-called Hidden sector. Since the SPS proton beam interacting with the SHiP…
The High Luminosity Large Hadron Collider (HL-LHC) at CERN is expected to collide protons at a centre-of-mass energy of 14\,TeV and to reach the unprecedented peak instantaneous luminosity of 5\,$-$\,7.5\,x\,$10^{34}$\,cm$^{-2}$s$^{-1}$…
Distributed Denial of Service (DDoS) is one of the most prevalent attacks that an organizational network infrastructure comes across nowadays. We propose a deep learning based multi-vector DDoS detection system in a software-defined network…
The Level-1 trigger of the CMS experiment at CERN has been designed to select proton-proton interactions whose final state includes signatures of new physics in the form of high transverse energy electrons, photons, jets, or high missing…
The depleted CMOS sensors are emerging as one of the main candidate technologies for future tracking detectors in high luminosity colliders. Its capability of integrating the sensing diode into the CMOS wafer hosting the front-end…
The Wendelstein 7-X (W7-X) Safety Instrumented System (SIS) ensures personal safety and investment protection. The development and implementation of the SIS are based on the international safety standard for the process industry sector, IEC…
Traditional techniques for Cyber-Physical Systems (CPS) security design either treat the cyber and physical systems independently, or do not address the specific vulnerabilities of real time embedded controllers and networks used to monitor…
This paper describes general characteristics of the deployment and commissioned of the Detector Control System (DCS) AD0 for the second phase of the Large Hadron Collider (LHC). The AD0 detector is installed in the ALICE experiment to…
CMS has developed a fast detector simulation package, which serves as a fast and reliable alternative to the detailed GEANT4-based (full) simulation, and enables efficient simulation of large numbers of standard model and new physics…
We consider the problem of securing a given control loop implementation of a cyber-physical system (CPS) in the presence of Man-in-the-Middle attacks on data exchange between plant and controller over a compromised network. To this end,…
We present a simulation-based approach for generating barrier certificate functions for safety verification of cyber-physical systems (CPS) that contain neural network-based controllers. A linear programming solver is utilized to find a…
Consumer grade cyber-physical systems (CPS) are becoming an integral part of our life, automatizing and simplifying everyday tasks. Indeed, due to complex interactions between hardware, networking and software, developing and testing such…
The Production and Distributed Analysis (PanDA) system, originally developed for the ATLAS experiment at the CERN Large Hadron Collider (LHC), has evolved into a robust platform for orchestrating large-scale workflows across distributed…
In the context of the general consolidation of the CERN ISOLDE facility, a project has been started to upgrade the ISOLDE control system. We describe the new ISOLDE control system, emphasizing the systematic use of industrial components…
In preparation for the High Luminosity LHC, the entire tracker detector of the CMS experiment will be exchanged as part of the Phase-2 Upgrade. The new Outer Tracker will comprise approximately 13,000 silicon sensor modules, of which 7608…
Cyber-physical systems (CPS) can benefit by the use of learning enabled components (LECs) such as deep neural networks (DNNs) for perception and decision making tasks. However, DNNs are typically non-transparent making reasoning about their…
Many scientific-software projects test their codes inadequately, or not at all. Despite its well-known benefits, adopting routine testing is often not easy. Development teams may have doubts about establishing effective test procedures,…
The LHC detectors are well into their construction phase. The LHC schedule shows first beam to ATLAS and CMS in 2007. Because the LHC accelerator has begun to plan for a ten fold increase in LHC design luminosity (the SLHC or super LHC) it…