Buchumschlag

Synthesizing Control Lyapunov-Value Functions for High-Dimensional Systems Using System Decomposition and Admissible Control Sets

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Gong, Zheng, Jeong, Hyun Joe, Herbert, Sylvia
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Optimization and Control Systems and Control
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Robust Control Lyapunov-Value Functions for Nonlinear Disturbed Systems
von: Gong, Zheng, et al.
Veröffentlicht: (2024)

Reach-Avoid-Stabilize Using Admissible Control Sets
von: Gong, Zheng, et al.
Veröffentlicht: (2025)

Linear Supervision for Nonlinear, High-Dimensional Neural Control and Differential Games
von: Sharpless, William, et al.
Veröffentlicht: (2024)

Safe Returning FaSTrack with Robust Control Lyapunov-Value Functions
von: Gong, Zheng, et al.
Veröffentlicht: (2024)

Parameter-Dependent Control Lyapunov Functions for Stabilizing Nonlinear Parameter-Varying Systems
von: Zhao, Pan
Veröffentlicht: (2025)

A Control Lyapunov Function Approach to Event-Triggered Parameterized Control for Discrete-Time Linear Systems
von: Rajan, Anusree, et al.
Veröffentlicht: (2024)

Conservative Linear Envelopes for Nonlinear, High-Dimensional, Hamilton-Jacobi Reachability
von: Sharpless, Will, et al.
Veröffentlicht: (2024)

On the Boundary of the Robust Admissible Set in State and Input Constrained Nonlinear Systems
von: Rußwurm, Franz, et al.
Veröffentlicht: (2025)

State-Augmented Linear Games with Antagonistic Error for High-Dimensional, Nonlinear Hamilton-Jacobi Reachability
von: Sharpless, Will, et al.
Veröffentlicht: (2024)

Concave Comparison Functions for Accelerating Constrained Lyapunov Decay
von: Fan, Shuyuan, et al.
Veröffentlicht: (2025)

Formal Verification of Control Lyapunov-Barrier Functions for Safe Stabilization with Bounded Controls
von: Liu, Jun
Veröffentlicht: (2025)

Neural-NPV Control: Learning Parameter-Dependent Controllers and Lyapunov Functions with Neural Networks
von: Niloy, MD Abul Kashem, et al.
Veröffentlicht: (2026)

Computation of Maximal Admissible Robust Positive Invariant Sets for Linear Systems with Parametric and Additive Uncertainties
von: Dey, Anchita, et al.
Veröffentlicht: (2024)

Control Lyapunov Function Design via Configuration-Constrained Polyhedral Computing
von: Houska, Boris, et al.
Veröffentlicht: (2025)

Proxy Control Barrier Functions: Integrating Barrier-Based and Lyapunov-Based Safety-Critical Control Design
von: Wang, Yujie, et al.
Veröffentlicht: (2025)

Koopman-Hopf Hamilton-Jacobi Reachability and Control
von: Sharpless, Will, et al.
Veröffentlicht: (2023)

A Lyapunov Characterization of Robust D-Stability with Application to Decentralized Integral Control of LTI Systems
von: Casasanta, John-Paolo, et al.
Veröffentlicht: (2026)

Dynamic Quantum-Assisted Co-Design of Control Tuning and Lyapunov Stability Synthesis for Nonlinear Systems
von: Hasanzadeh, Milad, et al.
Veröffentlicht: (2026)

Efficient Stabilization of Hybrid Coulomb Spacecraft Formations using Control Lyapunov Functions
von: Tahir, Adam M
Veröffentlicht: (2025)

Adaptive Robust Control for Uncertain Systems with Ellipsoid-Set Learning
von: Ma, Xuehui, et al.
Veröffentlicht: (2026)

Computing Control Lyapunov-Barrier Functions: Softmax Relaxation and Smooth Patching with Formal Guarantees
von: Liu, Jun, et al.
Veröffentlicht: (2025)

Unified Lyapunov Method for ISS of PDEs: A Tutorial on Constructing Generalized Lyapunov Functionals for Parabolic and Hyperbolic Equations
von: Zheng, Jun, et al.
Veröffentlicht: (2026)

Compositionally Verifiable Vector Neural Lyapunov Functions for Stability Analysis of Interconnected Nonlinear Systems
von: Liu, Jun, et al.
Veröffentlicht: (2024)

Stabilization of Nonlinear Systems through Control Barrier Functions
von: Mestres, Pol, et al.
Veröffentlicht: (2024)

Spectral Decomposition of Discrete-Time Controllability Gramian and Its Inverse via System Eigenvalues
von: Iskakov, Alexey
Veröffentlicht: (2026)

Spectral Decompositions of Controllability Gramian and Its Inverse based on System Eigenvalues in Companion Form
von: Iskakov, Alexey, et al.
Veröffentlicht: (2025)

Multiple Control Functionals for Interconnected Time-Delay Systems
von: Pan, Zhuo-Rui, et al.
Veröffentlicht: (2023)

Control Barrier Functions for Stochastic Systems and Safety-critical Control Designs
von: Nishimura, Yuki, et al.
Veröffentlicht: (2022)

Optimal Control with Lyapunov Stability Guarantees for Space Applications
von: Abhijeet, et al.
Veröffentlicht: (2025)

Safe and Dynamically-Feasible Motion Planning using Control Lyapunov and Barrier Functions
von: Mestres, Pol, et al.
Veröffentlicht: (2024)

Safe and Stable Filter Design Using a Relaxed Compatibitlity Control Barrier -- Lyapunov Condition
von: Wang, Han, et al.
Veröffentlicht: (2024)

Formally Verified Physics-Informed Neural Control Lyapunov Functions
von: Liu, Jun, et al.
Veröffentlicht: (2024)

Tube-based Robust Model Predictive Control for a Distributed Parameter System Modeled as a Polytopic LPV (extended version)
von: Ismail, Joe, et al.
Veröffentlicht: (2020)

A Converse Control Lyapunov Theorem for Joint Safety and Stability
von: Quartz, Thanin, et al.
Veröffentlicht: (2025)

Convex Reformulation of LMI-Based Distributed Controller Design with a Class of Non-Block-Diagonal Lyapunov Functions
von: Watanabe, Yuto, et al.
Veröffentlicht: (2024)

Modular Design of Strict Control Lyapunov Functions for Global Stabilization of the Unicycle in Polar Coordinates
von: Todorovski, Velimir, et al.
Veröffentlicht: (2025)

Exponential Stabilization of Linear Systems using Nearest-Action Control with Countable Input Set
von: Almuzakki, Muhammad Zaki, et al.
Veröffentlicht: (2024)

Adaptive Optimal Control of Linear Periodic Systems: An Off-Policy Value Iteration Approach
von: Pang, Bo, et al.
Veröffentlicht: (2019)

Converse Barrier Functions via Lyapunov Functions
von: Liu, Jun
Veröffentlicht: (2020)

Lyapunov Characterization for ISS of Impulsive Switched Systems
von: Ahmed, Saeed, et al.
Veröffentlicht: (2024)