arXiv AI By Wei Xiao, Christos Cassandras, Anni Li

Robust Taylor-Lagrange Control for Safety-Critical Systems with Guaranteed Feasibility

Read the original on arXiv AI →

The paper introduces a robust Taylor‑Lagrange Control (rTLC) method that extends the safety function to a higher order using Taylor’s expansion with Lagrange remainder. This approach ensures that safety constraints remain satisfied throughout each discretization interval, thereby preserving feasibility in safety‑critical control problems. The authors demonstrate the effectiveness of rTLC on an adaptive cruise control scenario and compare it with existing methods.

Machine-generated by The Flow from the publisher's headline and feed description — not written or checked by a human. The full article lives at arXiv AI.

arXiv Machine Learning
Sep 3

Exchange Policy Optimization Algorithm for Semi-Infinite Safe Reinforcement Learning

The paper introduces Exchange Policy Optimization (EPO), a framework for semi‑infinite safe reinforcement learning that handles infinitely many constraints by iteratively solving finite subproblems. EPO expands or deletes constraints based on tolerance violations and Lagrange multipliers, maintaining computational tractability while converging to an optimal policy with bounded safety violations. The authors prove finite convergence, provide iteration bounds, and quantify the suboptimality gap under mild assumptions.

By Jiaming Zhang, Yujie Yang, Haoning Wang, Liping Zhang, Shengbo Eben Li
Hugging Face Trending Papers
Jun 24

Conformal Recovery-Deadline Certificates for Runtime Assurance of Adapting Controllers

Runtime assurance (RTA) protects a safety-critical system by switching from an advanced controller to a verified safe controller when a monitored condition is violated. The standard latching rule, which trips on the first breach of the safe set and then coasts, is correct for a diverging controller but pathological for a capable online-adapting one.

arXiv AI
Aug 5

Shielding for Higher-Order Safety

arXiv:2608. 03662v1 Announce Type: new Abstract: Safety shields are runtime enforcement mechanisms that restrict the actions of a controller to guarantee safety.

By Filip Cano, Thomas A. Henzinger, Konstantin Kueffner