Research
On-device research index

arXiv research

A locally-built, LLM-digested index of recent arXiv papers in quant finance, geometry/topology, and statistical ML — keyword search served straight from SQLite on this machine.

168,786 papers · 148 categories

Trend · papers per month

1223 · Sep 201819922001200920172026
48 results for cyber-physical

Adversarial attacks hide cyber-physical attacks in ICS.

problem Hiding cyber-physical attacks in industrial control systems.
method Modeling an attacker compromising sensors, manipulating data, and evaluating attacks on both continuous and mixed data.
result Successfully hides cyber-physical attacks with 2.87 out of 12 sensors compromised on average.

CyPhERS provides real-time event info for CPSs, avoiding downtime.

problem Real-time event identification in CPSs is challenging due to complex interdependencies and rare events.
method CyPhERS integrates cyber and physical components, generating event signatures for known and unknown events.
result Event signatures provide relevant and inferable information on both known and unknown event types.

New adversarial training method improves robustness of power system controllers.

problem Designing robust controllers for complex cyber-physical power systems.
method Adversarial training approach with fixed opponent policy.
result Adversarial trained controllers show useful preventive behaviors in the N-1 problem.

The paper detects adversarial examples in LECs for regression in CPS using variational autoencoder.

problem Detecting adversarial examples in learning-enabled cyber-physical systems (CPS).
method Inductive conformal prediction using a variational autoencoder regression model.
result The method effectively detects adversarial examples with a short delay in an emergency braking system simulation.

The paper presents a method to compute trusted confidence bounds for LECs in CPS.

problem Non-transparent predictions of LECs make CPS safety challenging.
method Inductive Conformal Prediction (ICP) and Triplet Network architecture.
result Efficient real-time computation of trusted confidence bounds.

The paper uses conformal prediction to monitor CPS with machine learning components.

problem Ensuring trustworthy CPS with machine learning components.
method Conformal prediction framework for real-time assurance monitoring of CPS with machine learning.
result The method provides well-calibrated confidence and limits the number of alarms.

This paper enhances privacy in statistical model checking of cyber-physical systems.

problem Privacy concerns in consumer-level applications due to statistical model checking.
method Proposes expected differential privacy and a new exponential mechanism for sequential algorithms.
result Demonstrates a novel mechanism to preserve privacy in statistical model checking.

NSIBF detects anomalies in CPS using neural system identification and Bayesian filtering.

problem Detecting anomalies in CPS with complex dynamics and sensor noise.
method Neural System Identification and Bayesian Filtering (NSIBF).
result NSIBF outperforms state-of-the-art methods in anomaly detection for CPS.

This paper explores formal verification for autonomous systems, identifying limitations and proposing improvements.

problem Ensuring safety of autonomous systems like self-driving cars and drones.
method Formal verification techniques based on formal methods, analyzing three assumptions and their limitations.
result Preliminary work to improve the strength of evidence provided by formal verification.

Survey of RL methods for control systems with time delays.

problem Time delays in cyber-physical systems degrade RL performance and stability.
method Categorizes and analyzes five major families of RL methods for time delays.
result Identifies key trade-offs and practical guidelines for selecting RL methods.

Real-time detection of out-of-distribution data in CPS control systems.

problem Detecting out-of-distribution data in CPS control systems for safety.
method Inductive conformal prediction and anomaly detection using variational autoencoders and deep support vector data description.
result Efficient real-time detection with low false alarm rates and comparable execution time.

Method predicts hardware resource usage by control software with guaranteed linear convergence.

problem Predicting time-varying hardware resource availability in control software.
method Path structured multimarginal Schrödinger bridge (MSBP) for learning stochastic resource usage.
result Guaranteed linear convergence to accurate prediction of hardware resource utilization.

This dissertation uses deep reinforcement learning to improve drone flight control.

problem Inadequate traditional control methods for unpredictable CPS interactions.
method Developed a full solution stack for neuro-flight controllers using deep neural networks.
result Reinforcement learning enables training neural network controllers for stable and precise flight.

Defense strategy improves controller robustness against adversarial attacks.

problem Adversarial attacks on learning-enabled controllers in CPS.
method Two-stage defense strategy treating controller and environment as black-boxes with unknown dynamics.
result Defense strategy effectively improves controller robustness in realistic control domains.

The world is witnessing an unprecedented growth of cyber-physical systems (CPS), which are foreseen to revolutionize our world {via} creating new services and applications in a variety of sectors such as environmental monitoring, mobile-health systems, intelligent transportation systems and so on. The {information and …

2018-10-29abs ↗pdf ↗

Paper tackles delays in multi-agent reinforcement learning, improving performance.

problem Challenges in reinforcement learning due to delays in real-world systems.
method Proposes a novel framework for multi-agent reinforcement learning with delays, using Delay-Aware Markov Games and centralized-decentralized training.
result Demonstrates significant improvement in performance with delay-aware multi-agent reinforcement learning.

Paper robustifies reinforcement learning agents against action space perturbations.

problem Vulnerability of reinforcement learning agents to action space perturbations (e.g. actuator attacks).
method Adversarial training to robustify DRL agents against perturbations.
result DRL agents can be robustified against action space perturbations through adversarial training.

Proposes a game-theoretic framework to motivate energy-efficient behavior in smart buildings.

problem Improving energy efficiency in smart building infrastructure through occupant behavior.
method Introduces a novel game-theoretic framework with human interaction, incorporating utility learning and deep neural networks.
result Demonstrates highly accurate prediction of occupant energy resource usage and explainable decision-making.

Paper studies autoencoder-based anomaly detectors' robustness to adversarial poisoning attacks.

problem Adversarial poisoning attacks on online-trained autoencoder-based anomaly detectors in ICSs.
method Proposes two algorithms for generating poison samples and evaluates them on synthetic and real-world ICS data.
result Autoencoder detectors are resilient to poisoning in the face of all relevant attacks in the SWaT dataset.

Cyber-physical systems, such as mobile robots, must respond adaptively to dynamic operating conditions. Effective operation of these systems requires that sensing and actuation tasks are performed in a timely manner. Additionally, execution of mission specific tasks such as imaging a room must be balanced against the n…

2012-03-15abs ↗pdf ↗

The scale of Internet-connected systems has increased considerably, and these systems are being exposed to cyber attacks more than ever. The complexity and dynamics of cyber attacks require protecting mechanisms to be responsive, adaptive, and scalable. Machine learning, or more specifically deep reinforcement learning…

2019-06-13abs ↗pdf ↗

Generative model captures repetitive industrial processes with varying durations and dynamics.

problem Capturing repetitive industrial processes with varying durations and dynamics using Gaussian Processes.
method Posterior-weighted Gaussian Process with a novel kernel to decouple intra-repetition and inter-repetition variability.
result Generative model produces realistic synthetic trajectories from toy datasets.

Fueled by massive amounts of data, models produced by machine-learning (ML) algorithms, especially deep neural networks, are being used in diverse domains where trustworthiness is a concern, including automotive systems, finance, health care, natural language processing, and malware detection. Of particular concern is …

2018-04-19abs ↗pdf ↗

A method for identifying NPWARX models with arbitrary domains using probabilistic mixture models.

problem Identifying hybrid system models with discontinuous maps.
method Probabilistic mixture model with a neural network for nonlinear partitioning and Expectation Maximization for parameter estimation.
result Demonstrated on a nonlinear piece-wise problem with discontinuous maps.

The growing prospect of deep reinforcement learning (DRL) being used in cyber-physical systems has raised concerns around safety and robustness of autonomous agents. Recent work on generating adversarial attacks have shown that it is computationally feasible for a bad actor to fool a DRL policy into behaving sub optima…

2018-07-16abs ↗pdf ↗

Research evaluates data poisoning attacks on regression learning and introduces a new defense strategy.

problem Data poisoning attacks on regression learning threaten model integrity in critical systems.
method Realistic scenarios, novel black-box attack, and evaluation on 26 datasets.
result Mean squared error (MSE) increases to 150% with only 2% poisoned samples.

The security of Deep Reinforcement Learning (Deep RL) algorithms deployed in real life applications are of a primary concern. In particular, the robustness of RL agents in cyber-physical systems against adversarial attacks are especially vital since the cost of a malevolent intrusions can be extremely high. Studies hav…

2019-06-28abs ↗pdf ↗

Paper tackles cybersecurity attack detection with an ensemble approach.

problem Challenges in multi-class classification for cyber security breaches.
method Designing a multi-node multi-class classification ensemble approach.
result Proposed approach outperforms full-data approach in multi-node data-censoring cases.

A new machine learning framework reduces IoT data transfer by two orders of magnitude.

problem Reducing data transfer in IoT devices over wireless channels.
method Developed a machine learning framework for distributed functional compression over GMAC and AWGN channels.
result The framework reduces communication by two orders of magnitude compared to cloud-based methods.

Despite the tremendous advances that have been made in the last decade on developing useful machine-learning applications, their wider adoption has been hindered by the lack of strong assurance guarantees that can be made about their behavior. In this paper, we consider how formal verification techniques developed for …

2019-07-16abs ↗pdf ↗