A Game-Theoretic Characterization of Feedback Capability for Fully Coupled Vector-Valued Nonparametric Systems
Zhaobo Liu
Abstract
We study feedback stabilization for the discrete-time system xt+1=f(xt)+ut+wt+1 in Rd with unknown f and arbitrary bounded disturbances. For scalar plants, the sharp feedback capability threshold under generalized Lipschitz uncertainty is 3/2+2. We treat fully coupled vector-valued systems, where scalar order and interval recursion are unavailable and coupling precludes a coordinatewise reduction. We introduce a response-history escape game in which the adversary seeks a finite envelope and an unbounded state radius. Borel determinacy ensures that exactly one player has a winning strategy at each slope. We prove that the same player wins from every finite response history, and slope monotonicity gives an independently defined game value Γd. We prove that Γd is finite and is the strict feedback capability threshold for the plant problem. If L<Γd, one causal feedback law stabilizes every plant in the uncertainty class against every bounded disturbance sequence. If L>Γd, for every causal feedback law there exist a plant in the same class and a bounded disturbance sequence such that the closed-loop state sequence is unbounded. The proof uses one controller for all subcritical slopes and a realization in a Hilbert space based on the Kirszbraun--Valentine extension theorem. An explicit nearest-neighbor law gives a lower bound above one in every finite dimension, including Γ2 2/3. Dimension monotonicity gives ΓdΓ1, and comparison with the scalar theory yields Γ1=3/2+2.
Create a lesson
Related papers
Level-Set Geometry and the Theoretical Performance of PDHG for Conic Linear Optimization
Zikai Xiong, Robert M. Freund
Trajectory Manifolds for Nonlinear Data-Enabled Predictive Control
Arda Bayer
Optimizing Lyapunov Certificates via Stability-Preserving Quadratization for Polynomial Systems
Yubo Cai, Gioele Zardini
Regularity of a Multidimensional Principal-Agent Problem with Separable Effort Costs
Shuaijie Qian, Guan Qiao
Near-Optimal Exact-Value Zeroth-Order Complexity for Smooth Strongly Convex Optimization
Wendao Wu, Haihan Zhang, Chenheng Zhang et al.
A VU-calculus for composite functions and the U-Hessian of partly smooth functions
Shuai Liu