AI & ML
Incremental Input-to-State Stabilization of Partially Unknown Control-Affine Systems within Prescribed Safe Sets
arXiv cs.SY0 views
arXiv:2611.13556v1 Announce Type: new Abstract: Incremental input-to-state stability ($\delta$-ISS) guarantees that the trajectories of a system converge towards one another, up to a gain on the difference of their inputs. Some existing learning-based designs that combine incremental stability with safety achieve only incremental input-to-state practical stability, whose non-vanishing offset can make the guarantee conservative. We consider control-affine systems with a known, full-row-rank input matrix and an unknown drift learned using Gaussian process regression. The prescribed safe set is a superlevel set of a smooth function satisfying a radial condition that ensures a diffeomorphism onto $\mathbb R^n$ and it need not contain any equilibrium of the uncontrolled system. Using this transformation, we design a smooth feedback law and derive sufficient conditions that, under the stated learning assumptions, guarantee with high probability both forward invariance of a compact subset of the safe set and $\delta$-ISS on that subset. The incremental estimate uses the distance induced by the transformation and contains no practical offset. Simulations on a Van der Pol oscillator and a Lotka-Volterra system illustrate the proposed approach.
Source:https://arxiv.org/abs/2611.13556PreviousData-Driven Robust Dynamic Wireless Charging Lane Planning with Tunable Profit--Risk Trade-off and Modified User EquilibriumNextAn Accurate Modulation-Assisted Method for Phasor Estimation Under Decaying DC Offsets
Related posts
The Best iPad to Buy (and What to Avoid) in 2026: Air, Pro, Mini
0Wired
A Better Image Model Still Needs a Better Assignment
0dev.to
Review an AI Image by the Work It Leaves Behind
0dev.to

Don't eyeball AI-generated product images. Test the text like CI.
0dev.to

An Updated Image Needs a Cache Plan, Not Another Upload
0dev.to
I got tired of breaking my LLM app with "one small prompt change", so I built a 450-line eval harness
0dev.to