arXiv paper· cyber-physical systems security / control theory· method paper

Inverting Self-Triggered Control: Adversarial Reinforcement Learning for Sparse Denial-of-Service Attacks

Adam Haroon, Erick J. Rodríguez-Seda, Tristan Schuler, Cody Fleming

cs.LG · eess.SY

Quick verdict

反转自触发RL控制以创建稀疏DoS干扰机并建立干扰次数下界;能在全部12个模拟防御单元上制造崩溃,但仅有3个种子,且没有开源代码。

Summary

本文反转了自触发强化学习控制(RL-STC)框架,从攻击方的角度构建:一个DQN攻击者学习在hold-last MAC模型下使网络化控制回路失稳的最稀疏干扰调度,镜像防御者基于Lyapunov的奖励和证书结构。在理论上,作者证明了定理1:对于一个即时hold-last攻击者破坏任何满足指数衰减Lyapunov契约的自触发控制器所需的干扰次数的 plant-property 下界,并在推论中恢复了count-budget DoS调度中已知的连续分组最优性的证书级类比。在Pendulum、CartPole和Quadrotor2D上针对四个防御者(周期性LQR加三个RL-STC变体)的实验表明,学习到的攻击者在所有12个防御者-植物单元上均达到100%的崩溃率,而贪心和周期性基线分别有多达42%和97%的回合失败,并将每次失败的干扰时间(jam-time-per-failure)提高了多达2.8倍。在Quadrotor2D上,高达0.2的观测噪声和仅位置感知的鲁棒性消融实验保留了这些结果。主要局限性:测得的即时干扰阈值比预测下界高3.3-10倍,且有一个植物被右删失;证据基于三次种子,部分单元格方差较大;在Pendulum上的增益体现在可靠性而非效率;且未声明代码发布。

Review complete

Assessment at a glance

cyber-physical systems security / control theory

5

risk flags identified

● high 0

● medium 2

● low 3

Reproducibility readinessmedium
Code & data availablenot stated
Review confidencehigh
AI text signal0/20 passages flagged
Deep research viableCode-reproducible

5 strengths · 5 weaknesses · 5 author questions

AI text signal = Binoculars zero-shot detector score over 20 sampled passages (Fast-DetectGPT co-reported) — absence does not prove human authorship, and a flag does not imply misconduct.

Levels reflect verification complexity — not a quality score. Evolve never rates your paper.

Key claims under review

  • An adversarial DQN can invert the RL-STC defender structure to learn the sparsest jamming schedule that destabilizes the closed loop, mirroring the defender's reward and Lyapunov certificate.
  • Theorem 1 gives a plant-property lower bound on the jam count needed by an immediate hold-last MAC adversary against any self-triggered controller satisfying an exponential-decay Lyapunov contract, with a certificate-level consecutive-grouping optimality corollary.
  • The learned adversary is the only tested adversary that crashes all 12 defender-plant combinations at 100%, with jam-time-per-failure up to 2.8x lower than the greedy and periodic baselines.
  • On Quadrotor2D the adversary retains 100% failure rate and dominance under observation noise exceeding initial-state magnitudes and under position-only sensing.

Strengths

  • Genuine structural novelty

    First construction of a self-triggered adversary against a self-triggered defender: reward (Eq. 2: Lyapunov-increase flag, graded term, jam-activity penalty, crash bonus) and the admissibility predicate (Eq. 3, theta_att=0) are point-by-point inverses of the RL-STC defender's reward and RTA certificate from [1], extending count-budget DoS scheduling [2,3] beyond periodic/LTI controllers.

  • Theory is computable a priori and honestly validated

    G1 (Eq. 4) depends only on A, P, tau_min; Table I checks its predicted floor (9/3/5 ticks) against measured thresholds (30/30/>80) and explicitly explains why the ratio exceeds 1 rather than hiding it, including right-censoring on Quadrotor2D.

  • Unusually candid negative results

  • Strong reliability headline with a meaningful margin

  • Deploy-realism ablation is well designed

Weaknesses

  • Statistical evidence is thin

  • Theory-practice gap is large and partly unresolved

  • Generous threat model in the main results

  • No code availability

  • Efficiency gains are plant-concentrated

Full Review Report

$1.99 · one-time

Unlock the complete preliminary analysis Evolve produced for this paper.

Report preview

Scope & Claims

The paper targets security of networked control systems: it asks what a communication-efficient attacker looks like when the defender is itself communication-efficient. Its contributions are (1) a construction - a self-triggered adversary whose DQN reward (Eq. 2: Lyapunov-increase flag, graded Lyapunov term, jam-activity penalty, crash bonus) and Lyapunov-increase admissibility predicate (Eq. 3, theta_att = 0) mirror the RL-STC defender of the authors' companion work [1]; (2) theory - Theorem 1, a plant-property lower bound on the jam count an immediate hold-last MAC adversary needs to crash any STC satisfying an exponential-decay Lyapunov contract, plus Corollary 1 (certificate-level consecutive-grouping optimality extending [2,3] to STC) and Corollary 2 (a monotone gradient in G1); (3) empirics - the claim that the learned adversary is the only one crashing all 12 defender-plant cells at 100%, with jam-time-per-failure (jtf) up to 2.8x better than baselines. Claims are carefully scoped and, unusually, accompanied by the paper's own boundary conditions.

The remaining sections cover Methodology Assessment, Statistical Evidence, Results & Reproducibility, Limitations & Risks, and Verdict & Recommendations.

  • All 5 strengths & 5 weaknesses, analyzed in detail
  • 5 risk flags with severity, section & reviewer questions
  • Methods & statistical evidence assessment
  • 5 questions a peer reviewer would ask
  • Full six-dimension evaluation report & recommendations

One-time purchase · this paper only

One-time purchase, this paper only. AI-generated preliminary analysis — not peer review.

Frequently asked questions

What is a self-triggered DoS attack?

It is a jamming attacker that, like a self-triggered controller, decides at each of its own decision instants how long to keep jamming next (here chosen from a discrete grid of durations) instead of following a fixed periodic schedule. Under the paper's hold-last MAC model, a jam makes the actuator keep applying the previously delivered control input while the channel is blocked.

How much better is the learned attacker than simple jamming baselines?

Across Pendulum, CartPole, and Quadrotor2D it crashes all 12 defender-plant combinations at a 100% rate, while a greedy predicate-based attacker misses up to 42% of episodes (Quadrotor2D vs LQR) and a periodic burst jammer misses up to 97% (Pendulum vs LQR). On jam time needed per successful crash it is up to 2.8x more efficient, with the biggest margin on Quadrotor2D.

Does the paper's theory match its experiments?

Only in direction. Theorem 1 predicts minimum jam counts of 9, 3 and 5 ticks for the three plants, but the measured thresholds for one contiguous jam block reaching a 95% crash rate are 30, 30 and more than 80 ticks (the Quadrotor2D scan was stopped at 91%). The authors attribute this to the bound being a certified worst case on a linearized model versus a typical-case measurement on the nonlinear plant.

Is the attack robust to imperfect sensing?

On Quadrotor2D against the wc=14 defender, yes in the tested range: Gaussian observation noise up to sigma=0.2 - larger than the state components' magnitudes at reset - and removing all velocity information (position-only observation) both keep the 100% failure rate and keep the learned attacker ahead of both baselines on jam time per failure. Other plants and defenders were not ablated this way.

About this review

This is an AI-generated preliminary review by Evolve.Pub, produced from the openly available text of the paper. It is not peer review and does not represent the authors' views. The canonical record of the paper is at the publisher link above.

  • Figures 1-3 appear only as captions and axis labels in the extraction; plotted curves were not machine-readable, so wa-sweep and trajectory claims (Fig. 2-3) are judged from the prose. The extracted text is otherwise complete through reference [17].

Go deeper on this paper

Wrote a paper? Stress-test it before reviewers do.

Upload your manuscript for the same structured scrutiny — reasoning, statistics, evidence, figures, and reproducibility.

Scan your paper
Inverting Self-Triggered Control: Adversarial Reinforcement Learning for Sparse Denial-of-Service Attacks | Evolve.Pub