Related papers: Control in EPICS for Conditioning Test Stands for …
Model checking of real-time systems has evolved throughout the years. Recently, the model checker Ecdar, using timed I/O automata, was used to perform compositional verification. However, in order to fully integrate model checking of…
In this work the use of the Rational Unified Process (RUP) to model the design of a Detector Control System (DCS) in a High-Energy Physics (HEP) experiment is proposed. We include a brief description of the wide diversity of elements and…
We implement an embedding quantum simulator (EQS) in nuclear spin systems. The experiment consists of a simulator of up to three qubits, plus a single ancillary qubit, where we are able to efficiently measure the concurrence and the…
We present a new method to diagnose strong coupling in multi-mode open systems. Our method presents a non-trivial extension of exceptional point (EP) analysis employed for such systems; specifically, we show how eigenvectors can not only…
The growing integration of renewable energy sources (RESs) in modern power systems has intensified the need for resilient and efficient microgrid solutions. DC microgrids have gained prominence due to their reduced conversion losses,…
Transition-edge sensors (TESs) are capable of highly accurate single particle energy measurement. TESs have been used for a wide range of photon detection applications, particularly in astronomy, but very little consideration has been given…
The equipment control (EC) software of the GSI accelerators has been written entirely in Pascal. Modern software development is based on C++ or Java. To be prepared for the future, we decided to convert the EC software from Pascal to C in a…
The parameter convergence relies on a stringent persistent excitation (PE) condition in adaptive control. Several works have proposed a memory term in the last decade to translate the PE condition to a feasible finite excitation (FE)…
Ergodicity and output controllability have been shown to be fundamental concepts for the analysis and synthetic design of closed-loop stochastic reaction networks, as exemplified by the use of antithetic integral feedback controllers. In…
This paper presents a new concept of controlled dissipativity as an extension of the standard dissipativity property to systems with parameter-varying storage functions under the framework of economic model predictive control (EMPC). Based…
The electron cyclotron heating system including four gyrotrons is under developed in the Institute of Plasma Physics, Chinese Academy of Sciences. The filament is an important part of the gyrotron, which is used to heat the cathode. Each…
A stochastic model predictive controller (SMPC) of air conditioning (AC) system is proposed to improve the energy efficiency of electric vehicles (EV). A Markov-chain based velocity predictor is adopted to provide a sense of the future…
ITER coil tolerances are re-evaluated using the modern understanding of coupling to least-stable plasma modes and an updated center-line-traced model of ITER's coil windings. This reassessment finds the tolerances to be conservative through…
This paper presents a multi-variable Model Predictive Control (MPC) based controller for the one-staged refrigeration cycle model described in the PID2018 Benchmark Challenge. This model represents a two-input, two-output system with strong…
This paper presents a streamlined framework for real-time processing and analysis of condition data from the CMS experiment Resistive Plate Chambers (RPC). Leveraging data streaming, it uncovers correlations between RPC performance metrics,…
The AEgIS experiment at CERN recently decided to adopt a control system solution based on the Sinara/ARTIQ open hardware and software infrastructure. This decision meant to depart from the previously used paradigm of custom-made electronics…
Field-Programmable Gate Arrays (FPGAs) have provided Thomas Jefferson National Accelerator Facility (Jefferson Lab) with versatile VME-based data acquisition and control interfaces with minimal development times. FPGA designs have been used…
In the last decades, the applications of power inverter increased rapidly. As a result, in spite of rectifier, an inverter with a high-power electronic oscillator has capability to convert direct current (DC) into alternating current (AC)…
An 8-cavity, 1.3 GHz, LCLS-II-HE cryomodule was assembled and tested at Fermilab to verify performance before the start of production. Its cavities were processed with a novel nitrogen doping treatment to improve gradient performance. The…
Within the framework of the first phase of MYRRHA (Multi-purpose hYbrid Research Reactor for High-tech Applications) project, called MINERVA, IJCLab was in charge of a fully equipped Spoke cryomodule prototype development, tested at 2K. It…