English
Related papers

Related papers: Automated Checking and Visualization of Interlocks…

200 papers

The control system of the 1.5 MeV FEL injector is built on the base of ported EPICS. It uses low-cost hardware: personal computers with the processor Intel x86 and CAMAC equipment produced by our institute. At present time, the distributed…

Accelerator Physics · Physics 2011-01-20 T. V. Salikova , A. A. Kondakov , G. Ya. Kurkin , A. D. Oreshkov , M. A. Scheglov , A. G. Tribendis

Programmable Logic Controllers (PLCs) are widely used in industrial automation to control physical systems. As PLC applications become increasingly complex, ensuring their correctness is crucial. Existing formal verification techniques…

Programming Languages · Computer Science 2025-07-22 Jaeseo Lee , Kyungmin Bae

Cyber-physical systems (CPS) are composed of various embedded subsystems and require specialized software, firmware, and hardware to coordinate with the rest of the system. These multiple levels of integration expose attack surfaces which…

Cryptography and Security · Computer Science 2018-12-11 Smitha Gautham , Georgios Bakirtzis , Matthew T. Leccadito , Robert H. Klenke , Carl R. Elks

Internal continuous discharge can rapidly damage high-current ion sources and their extraction systems composed of several electrodes at high voltage. To prevent this continuous discharge inside the extraction system, a rapid prototype…

Accelerator Physics · Physics 2018-03-26 R. Ichimiya , A. Jokinen , A. Marqueta , B. Bolzon

Iterative learning control (ILC) is a control strategy for repetitive tasks wherein information from previous runs is leveraged to improve future performance. Optimization-based ILC (OB-ILC) is a powerful design framework for constrained…

Systems and Control · Electrical Eng. & Systems 2022-05-27 Dominic Liao-McPherson , Efe C. Balta , Alisa Rupenyan , John Lygeros

Integrated sensing and communication (ISAC) systems have emerged as a promising solution to improve spectrum efficiency and enable functional convergence. However, ensuring secure information transmission while maintaining high-quality…

Signal Processing · Electrical Eng. & Systems 2025-12-12 Yufei Wang , Qiang Li , Hongli Liu , Ying Zhang , Jingran Lin

Integrated Sensing and Communication (ISAC) is emerging as a cornerstone technology for forthcoming 6G systems, significantly improving spectrum and energy efficiency. However, the commercial viability of ISAC hinges on addressing critical…

In this paper, we investigate the sensing-aided physical layer security (PLS) towards Integrated Sensing and Communication (ISAC) systems. A well-known limitation of PLS is the need to have information about potential eavesdroppers (Eves).…

Signal Processing · Electrical Eng. & Systems 2022-10-18 Nanchi Su , Fan Liu , Christos Masouros

Industrial automation systems (IASs) are commonly developed using the languages defined by the IEC 61131 standard and are executed on PLCs. In this paper, a system-based approach for the development of IASs is adopted. A framework is…

Software Engineering · Computer Science 2014-07-09 Kleanthis Thramboulidis

This article describes concepts and mechanisms used in porting of EPICS (Experimental Physical and Industrial Control System) codes to platform of operating system UNIX. Without destruction of EPICS architecture, new features of EPICS…

High Energy Physics - Theory · Physics 2007-05-23 T. V. Salikova

Detector control systems (DCS) include the read out, control and supervision of hardware devices as well as the monitoring of external systems like cooling system and the processing of control data. The implementation of such a system in…

Instrumentation and Detectors · Physics 2009-11-11 Martin Imhaeuser , Karl-Heinz Becks , Tobias Henss , Susanne Kersten , Peter Maettig , Joachim Schultes

Although the circulatory system functions as a continuous source of physiological data, contemporary diagnostics remain bound to intermittent, time-delayed assessments. To resolve this, we present a framework for ubiquitous hematological…

Medical Physics · Physics 2026-02-27 Fatih E. Bilgen , Ozgur B. Akan

In uplink integrated sensing and communication (ISAC) systems, pilot signal design is crucial for enabling accurate channel estimation and reliable radar sensing. In orthogonal frequency-division multiple access (OFDMA)-based frameworks,…

Signal Processing · Electrical Eng. & Systems 2025-08-05 Ahmet Sacid Sümer , Ebubekir Memişoğlu , Hüseyin Arslan

In this paper, we propose an enhanced preamble based media access control mechanism (E-PMAC), which can be applied in power line communication (PLC) network for Industrial Internet of Things (IIoT). We introduce detailed technologies used…

Signal Processing · Electrical Eng. & Systems 2022-03-23 Kai Song , Biqian Feng , Yongpeng Wu , Wenjun Zhang

The sixth generation of wireless networks defined several key performance indicators (KPIs) for assessing its networks, mainly in terms of reliability, coverage, and sensing. In this regard, remarkable attention has been paid recently to…

Emerging Technologies · Computer Science 2025-05-09 Waqas Aman , El-Mehdi Illi , Marwa Qaraqe , Saif Al-Kuwari

For an unattended telescopes in Antarctic, the remote operation, autonomous observation and control are essential. An EPICS (Experimental Physics and Industrial Control System) and RTS2(Remote Telescope System, 2nd Version) based autonomous…

Instrumentation and Methods for Astrophysics · Physics 2015-11-24 Guang-Yu Zhang , Jian Wang , Peng-Yi Tang , Ming-Hao Jia , Jie Chen , Shu-Cheng Dong , Fengxin Jiang , Wen-Qing Wu , Jia-Jing Liu , Hong-Fei Zhang

PIP-II is an 800 MeV superconducting RF linear accelerator under development at Fermilab. As the new first stage in our accelerator chain, it will deliver high-power beam to multiple experiments simultaneously and thus drive Fermilab's…

Accelerator Physics · Physics 2024-01-30 Dennis J. Nicklaus , Pierrick Hanlet , Charles King , Daniel McArthur , Richard Neswold

Industrial Control Systems (ICS) rely on sensor feedback to keep safety-critical processes within operational limits. This research presents a hardware-root-of-trust that embeds a Physically Unclonable Function (PUF) at the measurement…

Cryptography and Security · Computer Science 2026-01-27 Ahmed Oun , Rishabh Das , Clay Hess , Aakriti Barat , Savas Kaya

An important component of EPICS (Experimental Physics and Industrial Control System) is iocCore, which is the core software in the IOC (input/output controller) front-end processors. At ICALEPCS 1999 a paper was presented describing plans…

Instrumentation and Detectors · Physics 2007-05-23 M. R. Kraimer , J. B. Anderson , J. O. Hill , W. E. Norum