相关论文: Automated Checking and Visualization of Interlocks…
Implementation and commissioning of the EPICS based control system for the ISAC radioactive beam facility was completed. The target ion source, mass separator, and low-energy beam-lines started beam production for experiments. In parallel,…
The EPICS based control system of the ISAC radioactive beam facility uses the CapFast schematic editor to construct the IOC function-block databases. This allows a self-documenting graphical representation of the IOC software using a…
The ISAC polarized beam facility uses a Ti:Sapphire laser for producing spin-polarized beams of short-lived radioactive isotopes, initially 7Li. The laser power and spectral content must be tightly controlled and monitored. The control…
We will use EPICS toolkit [1] to build a prototype for upgrading BEPC control system. The purposes are for the following three aspects: (1) Setup a network based distributed control system with EPICS. (2) Study some front-end control…
Programmable Logic Controllers (PLCs) are a core component of an Industrial Control System (ICS). However, if a PLC is compromised or the commands sent across a network from the PLCs are spoofed, consequences could be catastrophic. In this…
Programmable Logic Controllers (PLCs) execute critical control software that drives Industrial Automation and Control Systems (IACS). PLCs can become easy targets for cyber-adversaries as they are resource-constrained and are usually built…
Cyber security risk assessments provide a pivotal starting point towards the understanding of existing risk exposure, through which suitable mitigation strategies can be formed. Where risk is viewed as a product of threat, vulnerability,…
The Advanced Photon Source is now in its fifth year of routine beam production. The EPICS-based [1] control system has entered the phase in its life cycle where new control algorithms must be implemented under increasingly stringent…
CEA Irfu Saclay is involved as partner in the ESS accelerator construction through different work-packages: controls for several RF test stands, for cryomodule demonstrators, for the RFQ coupler test and for the conditioning around 120…
Measurement of high-power proton beam-halo formation is the ongoing scientific experiment for the Low Energy Demonstration Accelerator (LEDA) facility. To attain this measurement goal, a 52-magnet beam line containing several types of beam…
The SNS Project intends to integrate Conventional Facility Controls with its EPICS-based Accelerator and Target Control Systems. EPICS will therefore be used to provide distributed high-level access to all subsystems of the SNS conventional…
In 6G networks, integrated sensing and communication (ISAC) is envisioned as a key technology that enables wireless systems to perform joint sensing and communication using shared hardware, antennas and spectrum. ISAC designs facilitate…
This paper describes a hierarchical control scheme for interconnected systems. The higher layer of the control structure is designed with robust Model Predictive Control (MPC) based on a reduced order dynamic model of the overall system and…
We investigate the joint admission control and discrete-phase multicast beamforming design for integrated sensing and communications (ISAC) systems, where sensing and communications functionalities have different hierarchies. Specifically,…
In this paper, the DSSC safety-interlock system is introduced. It is designed to keep the DSSC mega-pixel camera in a safe-state. The system is composed of four inter-communicating sub-systems referred here as a master SIB (safety-interlock…
Programmable Logic Controllers (PLC) and its programming standard IEC 61131-3 are widely used in embedded systems for the industrial automation domain. We propose a framework for the formal treatment of PLC based on the IEC 61131-3…
Ladder Logics is a programming language standardized in IEC 61131-3 and widely used for programming industrial Programmable Logic Controllers (PLC). A PLC program consists of inputs (whose values are given at runtime by factory sensors),…
Reactive software calls for instrumentation methods that uphold the reactive attributes of systems. Runtime verification imposes another demand on the instrumentation, namely that the trace event sequences it reports to monitors are sound…
Programmable Logic Controllers (PLCs) are the core control devices in Industrial Control Systems (ICSs), which control and monitor the underlying physical plants such as power grids. PLCs were initially designed to work in a trusted…
Reconfigurable photonic integrated circuits (PICs) can implement arbitrary operations and signal processing functionalities directly in the optical domain. Run-time configuration of these circuits requires an electronic control layer to…