arXiv math/04051692004-05math.OCmath.AP

Lyapunov stabilizability of controlled diffusions via a superoptimality principle for viscosity solutions

Annalisa Cesaroni

备注：: 22 pages

英文摘要：

We prove optimality principles for semicontinuous bounded viscosity solutions of Hamilton-Jacobi-Bellman equations. In particular we provide a representation formula for viscosity supersolutions as value functions of suitable obstacle control problems. This result is applied to extend the Lyapunov direct method for stability to controlled Ito stochastic differential equations. We define the appropriate concept of Lyapunov function to study the stochastic open loop stabilizability in probability and the local and global asymptotic stabilizability (or asymptotic controllability). Finally we illustrate the theory with some examples.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

A converse Lyapunov theorem for almost sure stabilizability

We prove a converse Lyapunov theorem for almost sure stabilizability and almost sure asymptotic stabilizability of controlled diffusions: given a stochastic system a.s. stochastic open loop stabilizable at the origin, we construct a lower semicontinuous positive definite function whose level sets form a local basis of viable neighborhoods of the equilibrium. This result provides, with the direct Lyapunov theorems proved in a companion paper, a complete Lyapunov-like characterization of the a.s. stabilizability.

2005-03-15math.OCmath.PR

Almost sure stability of controlled degenerate diffusions

We develop a direct Lyapunov method for the almost sure open-loop stabilizability and asymptotic stabilizability of controlled degenerate diffusion processes. The infinitesimal decrease condition for a Lyapunov function is a new form of Hamilton-Jacobi-Bellman partial differential inequality of $2nd$ order. We give local and global versions of the First and Second Lyapunov Theorems assuming the existence of a lower semicontinuous Lyapunov function satisfying such inequality in the viscosity sense. An explicit formula for a stabilizing feedback is provided for affine systems with smooth Lyapuno…

2004-05-10math.APmath.OC

关于多二次稳定性与可检测性的多顶点线性参数变化系统的稳定性

On Poly-Quadratic Stabilizability and Detectability of Polytopic LPV Systems

Eindhoven University of Technology（埃因霍温理工大学）

本文提出利用多二次李雅普诺夫函数，将稳定性与可检测性测试从线性时不变系统扩展到多顶点线性参数变化系统。

2026-02-01cs.SYeess.SYmath.OC

Efficient Lyapunov-Based Stabilizability and Detectability Tests: From LTI to LPV Systems

In this technical note, we generalize the well-known Lyapunov-based stabilizability and detectability tests for linear time-invariant (LTI) systems to the context of discrete-time (DT) polytopic linear parameter-varying (LPV) systems. To do so, we exploit the mathematical structure of the class of poly-quadratic Lyapunov functions, which enables us to formulate conditions in the form of linear matrix inequalities (LMIs). Our results differ from existing conditions in that we adopt weaker assumptions on the parameter dependence of the controllers/observers and our method does not require explic…

2023-03-19cs.SYeess.SYmath.OC

随机系统的可镇定性与精确能观性及其应用

On stabilizability and exact observability of stochastic systems with their applications

本文利用广义 Lyapunov 算子谱技术研究线性随机系统的可镇定性、弱可镇定性与精确能观性，并将结果应用于 GARE、Lyapunov 型方程及基于 LMI 的鲁棒二次镇定。

2023-07-18math.OC

Converse Lyapunov theorems for control systems with unbounded controls

In this paper, we extend well-known relationships between global asymptotic controllability, sample stabilizability, and the existence of a control Lyapunov function to a wide class of control systems with unbounded controls, which includes control-polynomial systems. In particular, we consider open loop controls and discontinuous stabilizing feedbacks, which may be unbounded approaching the target, so that the corresponding trajectories may present a chattering behavior. A key point of our results is to prove that global asymptotic controllability, sample stabilizability, and existence of a c…

2021-09-09math.OC

更多相关论文收起更多论文

LPV系统基于Lyapunov的稳定性、可镇定性与可检测性的不存在性证书

Certificates of Nonexistence for Lyapunov-Based Stability, Stabilizability and Detectability of LPV Systems

针对Lyapunov方法无法求解时结论不明确的问题，提出基于LMI的择一定理，通过计算“不存在性证书”证明LPV系统不存在多二次Lyapunov函数及其控制器和观测器。

2023-05-25cs.SYeess.SYmath.OC

后向结构随机系统的可控性与可镇定的Hautus型判据

Hautus-Type Criteria for Controllability and Stabilizability of Backward-Structured Stochastic Systems

Southern University of Science and Technology（南方科技大学）

针对后向结构随机线性系统，提出了精确可控性和可镇定性的随机Hautus型判据，核心发现是随机Hautus障碍是Lyapunov型算子的正半定特征矩阵，并建立了锥限制条件。

2026-05-27math.OC

Asymptotic Stabilizability of Underactuated Hamiltonian Systems With Two Degrees of Freedom

For an underactuated (simple) Hamiltonian system with two degrees of freedom and one degree of underactuation, a rather general condition that ensures its stabilizability, by means of the existence of a (simple) Lyapunov function, was found in a recent paper by D.E. Chang within the context of the energy shaping method. Also, in the same paper, some additional assumptions were presented in order to ensure also asymptotic stabilizability. In this paper we extend these results by showing that above mentioned condition is not only sufficient, but also a necessary one. And, more importantly, we sh…

2019-04-26math.OC

A Lie-bracket-based notion of stabilizing feedback in optimal control

For a control system two major issues can be considered: the stabilizability with respect to a given target, and the minimization of an integral functional (while the trajectories reach this target). Here we consider a problem where stabilizability or controllability are investigated together with the further aim of a "cost regulation", namely a state-dependent upper bounding of the functional. This paper is devoted to a crucial step in the program of establishing a chain of equivalences among degree-k stabilizability with regulated cost, asymptotic controllability with regulated cost, and the…

2023-02-17math.OC

含源项系统的新李雅普诺夫函数

New Lyapunov functions for systems with source terms

本文将李雅普诺夫函数的指数权重扩展为双曲函数族，用于2×2平衡律系统，证明其能在更大参数范围内保证指数稳定性，并揭示大时延会显著缩小可镇定参数集，同时验证了双曲权重在拟线性双曲系统边界反馈稳定性分析中的有效性。

2024-10-01math.DSmath.OC

Stabilizability in optimal control

We extend the classical concepts of sampling and Euler solutions for control systems associated to discontinuous feedbacks by considering also the corresponding costs. In particular, we introduce the notions of Sample and Euler stabilizability to a closed target set (p0,W)-regulated cost, for some continuous, state-dependent function W and some positive constant p0: it roughly means that we require the existence of a stabilizing feedback K such that all the corresponding sampling and Euler solutions starting from a point z have suitably defined finite costs, bounded above by W(z)/p0. Then, we …

2020-04-23math.OC

涉及李括号的 HJ 不等式与带成本调节的反馈可镇定性

HJ inequalities involving Lie brackets and feedback stabilizability with cost regulation

针对状态趋近闭目标集且支付非负代价的最优控制问题，将定义控制 Lyapunov 函数的经典耗散关系推广为涉及代价和迭代李括号的较弱微分不等式，提出度数 k 最小约束函数，并证明其存在性可构建基于李括号的反馈，在调节代价的同时实现系统采样镇定。

2023-02-17math.OC

On feedback stabilization of linear switched systems via switching signal control

Motivated by recent applications in control theory, we study the feedback stabilizability of switched systems, where one is allowed to chose the switching signal as a function of $x(t)$ in order to stabilize the system. We propose new algorithms and analyze several mathematical features of the problem which were unnoticed up to now, to our knowledge. We prove complexity results, (in-)equivalence between various notions of stabilizability, existence of Lyapunov functions, and provide a case study for a paradigmatic example introduced by Stanford and Urbano.

2016-08-27math.OC