Related papers: Slow Control System for PandaX-III experiment

Testing black-box perceptual-control systems in simulation faces two difficulties. Firstly, perceptual inputs in simulation lack the fidelity of real-world sensor inputs. Secondly, for a reasonably accurate perception system, encountering a…

The behavior of a dynamical system can exhibit abrupt changes when it crosses a tipping point. To prevent catastrophic events, it is useful to analyze indicators of the incoming bifurcation, as the divergence of the relaxation time of the…

NEXT (Neutrino Experiment with a Xenon TPC) is a neutrinoless double-beta (\beta\beta 0\nu) decay experiment at the Canfranc Underground Laboratory (LSC). It seeks to detect the (\beta\beta 0\nu) decay of Xe-136 using a high pressure xenon…

This paper proposes a new robust control method for quantum systems with uncertainties involving sliding mode control (SMC). Sliding mode control is a widely used approach in classical control theory and industrial applications. We show…

The need for precise characterization of dual-phase xenon detectors has grown as the technology has matured into a state of high efficacy for rare event searches. The Michigan Xenon detector was constructed to study the microphysics of…

In this paper, a cooperative spectrum sensing scheme based on compressive sensing is proposed. In this scheme, secondary users (SUs) are organized in clusters. In each cluster, SUs forward their compressed signals to the cluster head. Then,…

Precise measurement of two-neutrino double beta decay (DBD) half-life is an important step for the searches of Majorana neutrinos with neutrinoless double beta decay. We report the measurement of DBD half-life of $^{136}$Xe using the…

A stochastic model predictive control (SMPC) approach is presented for discrete-time linear systems with arbitrary time-invariant probabilistic uncertainties and additive Gaussian process noise. Closed-loop stability of the SMPC approach is…

This paper proposes an adaptive sparse polynomial chaos expansion(PCE)-based method to quantify the impacts of uncertainties on critical clearing time (CCT) that is an important index in transient stability analysis. The proposed method can…

This work is concerned with developing a data-driven approach for learning control barrier certificates (CBCs) and associated safety controllers for discrete-time nonlinear polynomial systems with unknown mathematical models, guaranteeing…

Semi-supervised change detection (SSCD) utilizes partially labeled data and abundant unlabeled data to detect differences between multi-temporal remote sensing images. The mainstream SSCD methods based on consistency regularization have…

This paper proposes a secure state estimation scheme with non-periodic asynchronous measurements for linear continuous-time systems under false data attacks on the measurement transmit channel. After sampling the output of the system, a…

Malicious attacks on modern autonomous cyber-physical systems (CPSs) can leverage information about the system dynamics and noise characteristics to hide while hijacking the system toward undesired states. Given attacks attempting to hide…

A suboptimal active disturbance rejection controller (S-ADRC) is proposed for second-order systems with unknown time-varying nonlinear dynamics. The output-feedback controller guarantees a global convergence to the vicinity of an optimal…

Simulation-based approaches are among the most practical means to search for safety violations, bugs, and other unexpected events in cyber-physical systems (CPS). Where existing approaches search for simulations violating a formal…

NEXT (Neutrino Experiment with a Xenon TPC) is an experiment to search neutrinoless double beta decay processes (bb0nu) in Xe136. The NEXT technology is based in the use of time projection chambers operating at a typical pressure of 15 bar…

We present the first decentralized algorithm for detecting predicates over continuous-time signals under partial synchrony. A distributed cyber-physical system (CPS) consists of a network of agents, each of which measures (or computes) a…

The Neutrino Experiment with a Xenon Time-Projection Chamber (NEXT) experiment intends to investigate the neutrinoless double beta decay of 136Xe, and therefore requires a severe suppression of potential backgrounds. An extensive material…

Unmanned Aerial Vehicles autonomously perform tasks with the use of state-of-the-art control algorithms. These control algorithms rely on the freshness and correctness of sensor readings. Incorrect control actions lead to catastrophic…

In this paper, a sampling-based Stochastic Model Predictive Control algorithm is proposed for discrete-time linear systems subject to both parametric uncertainties and additive disturbances. One of the main drivers for the development of…