Related papers: Experimental Safe Extremum Seeking for Accelerator…

A key challenge in applying reinforcement learning to safety-critical domains is understanding how to balance exploration (needed to attain good performance on the task) with safety (needed to avoid catastrophic failure). Although a growing…

Searchable Symmetric Encryption (SSE) allows users to search over encrypted data stored on untrusted servers, like cloud providers. While SSE hides the content of queries and documents, it still leaks patterns, such as how often a query is…

A system of modular sealed gas target cells has been developed for use in electron scattering experiments at the Thomas Jefferson National Accelerator Facility (Jefferson Lab). This system was initially developed to complete the MARATHON…

One of the critical factors that drive the economic development of a country and guarantee the sustainability of its industries is the constant availability of electricity. This is usually provided by the national electric grid. However, in…

We consider the problem of extracting safe environments and controllers for reach-avoid objectives for systems with known state and control spaces, but unknown dynamics. In a given environment, a common approach is to synthesize a…

Particle accelerators pushed the limits of our knowledge in search of the answers to most fundamental questions about micro-world and our Universe. In these pursuits, accelerators progressed to higher and higher energies and particle beam…

A technical note is given regarding our previous laboratory plasma-astrophysical studies [C.-S. Jao et al., High Energy Density Physics 32, 31-43 (2019) and Y. Chen et al., Nucl. Instrum. Methods Phys. Res., Sect. A 903, 119 (2018)]. In…

Opaque detectors are a recently proposed novel detector concept where an opaque scintillator aligned with wavelength-shifting fibers is used to enable the discrimination of electron neutrinos and antineutrinos with a rather low energy…

Clinical LLMs are often scaled by increasing model size, context length, retrieval complexity, or inference-time compute, with the implicit expectation that higher accuracy implies safer behavior. This assumption is incomplete in medicine,…

This paper addresses the problem of planning a safe (i.e., collision-free) trajectory from an initial state to a goal region when the obstacle space is a-priori unknown and is incrementally revealed online, e.g., through line-of-sight…

Collision avoidance is key for mobile robots and agents to operate safely in the real world. In this work we present SAFER, an efficient and effective collision avoidance system that is able to improve safety by correcting the control…

The next significant step in the evolution and proliferation of artificial intelligence technology will be the integration of neural network (NN) models within embedded and mobile systems. This calls for the design of compact, energy…

The superconducting linear accelerator is a highly flexiable facility for modern scientific discoveries, necessitating weekly reconfiguration and tuning. Accordingly, minimizing setup time proves essential in affording users with ample…

We propose an EASY (Electroluminescent ApparatuS of high Yield) and SOFT (Separated Optimized FuncTion) time-projection chamber for the NEXT experiment, that will search for neutrinoless double beta decay (bb0nu) in Xe-136. Our experiment…

Beam matching is a common technique that is routinely employed in accelerator design with the aim of minimizing beam losses and preservation of beam brightness. Despite being widely used, a full theoretical understanding of beam matching in…

The planned upgrade of the LHC accelerator at CERN, namely the high luminosity (HL) phase of the LHC (HL-LHC foreseen for 2023), will result in a more intense radiation environment than the present tracking system was designed for. The…

Embedded Systems (ES) development has been historically focused on functionality rather than security, and today it still applies in many sectors and applications. However, there is an increasing number of security threats over ES, and a…

Automated patent claim validation demands low error tolerance. However, existing approaches face a rigidity-resource dilemma: lightweight encoders cannot track long-range legal dependencies, while exhaustive LLM verification incurs 4-5X…

We present a status update on the dedicated R\&D facility SINBAD which is currently under construction at DESY. The facility will host multiple independent experiments on the acceleration of ultra-short electron bunches and novel, high…

Estimating the Worst-Case Execution Time (WCET) of an application is an essential task in the context of developing real-time or safety-critical software, but it is also a complex and error-prone process. Conventional approaches require at…