:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Zhang, Songyuan, Fan, Chuchu
Format:	Preprint
Published:	2023
Subjects:	Systems and Control
Online Access:	https://arxiv.org/abs/2306.08722
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Discrete GCBF Proximal Policy Optimization for Multi-agent Safe Optimal Control
by: Zhang, Songyuan, et al.
Published: (2025)

Formally Verified Neural Lyapunov Function for Incremental Input-to-State Stability of Unknown Systems
by: Basu, Ahan, et al.
Published: (2025)

Solving Multi-Agent Safe Optimal Control with Distributed Epigraph Form MARL
by: Zhang, Songyuan, et al.
Published: (2025)

Solving Parameter-Robust Avoid Problems with Unknown Feasibility using Reinforcement Learning
by: So, Oswin, et al.
Published: (2026)

Provably Efficient Sensor Allocation for Unknown High-dimensional Systems with Limited Sensing
by: Zhang, Yuyang, et al.
Published: (2026)

Maximizing Reach-Avoid Probabilities for Linear Stochastic Systems via Control Architectures
by: Schmid, Niklas, et al.
Published: (2026)

Foundation Models to the Rescue: Deadlock Resolution in Connected Multi-Robot Systems
by: Garg, Kunal, et al.
Published: (2024)

On an Abstraction of Lyapunov and Lagrange Stability
by: Bin, Michelangelo, et al.
Published: (2025)

Deep Koopman Iterative Learning and Stability-Guaranteed Control for Unknown Nonlinear Time-Varying Systems
by: Zhang, Hengde, et al.
Published: (2026)

Unified Predefined-time Stability Conditions of Nonlinear Systems with Lyapunov Analysis
by: Xiao, Bing, et al.
Published: (2024)

Learning Koopman-based Stability Certificates for Unknown Nonlinear Systems
by: Zhou, Ruikun, et al.
Published: (2024)

Certificates of Nonexistence for Lyapunov-Based Stability, Stabilizability and Detectability of LPV Systems
by: Meijer, T. J., et al.
Published: (2023)

Scalable Surrogate Verification of Image-based Neural Network Control Systems using Composition and Unrolling
by: Cai, Feiyang, et al.
Published: (2024)

Stochastic Reinforcement Learning with Stability Guarantees for Control of Unknown Nonlinear Systems
by: Quartz, Thanin, et al.
Published: (2024)

GCBF+: A Neural Graph Control Barrier Function Framework for Distributed Safe Multi-Agent Control
by: Zhang, Songyuan, et al.
Published: (2024)

Parameter-Dependent Control Lyapunov Functions for Stabilizing Nonlinear Parameter-Varying Systems
by: Zhao, Pan
Published: (2025)

Synthesizing Control Lyapunov-Value Functions for High-Dimensional Systems Using System Decomposition and Admissible Control Sets
by: Gong, Zheng, et al.
Published: (2024)

Backstepping Design for Incremental Input-to-State Stabilization of Unknown Systems
by: Sundarsingh, David Smith, et al.
Published: (2024)

Incremental Policy Iteration for Unknown Nonlinear Systems with Stability and Performance Guarantees
by: Meng, Qingkai, et al.
Published: (2025)

Lyapunov characterization of boundedness of reachability sets for infinite-dimensional systems
by: Bachmann, Patrick, et al.
Published: (2026)

Stability of Control Lyapunov Function Guided Reinforcement Learning
by: Olkin, Zachary, et al.
Published: (2026)

Stability Verification for Switched Systems using Neural Multiple Lyapunov Functions
by: Huang, Junyue, et al.
Published: (2026)

Compositionally Verifiable Vector Neural Lyapunov Functions for Stability Analysis of Interconnected Nonlinear Systems
by: Liu, Jun, et al.
Published: (2024)

Learning to Stabilize Unknown LTI Systems on a Single Trajectory under Stochastic Noise
by: Zhang, Ziyi, et al.
Published: (2024)

Neural Controller for Incremental Stability of Unknown Continuous-time Systems
by: Basu, Ahan, et al.
Published: (2025)

Optimal Control with Lyapunov Stability Guarantees for Space Applications
by: Abhijeet, et al.
Published: (2025)

Counter-example guided inductive synthesis of control Lyapunov functions for uncertain systems
by: Masti, Daniele, et al.
Published: (2023)

Off Policy Lyapunov Stability in Reinforcement Learning
by: Gill, Sarvan, et al.
Published: (2025)

Lyapunov-Krasovskii Functionals of Robust Type for the Stability Analysis in Time-Delay Systems
by: Scholl, Tessina H.
Published: (2023)

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

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

Lyapunov Characterization for ISS of Impulsive Switched Systems
by: Ahmed, Saeed, et al.
Published: (2024)

A Converse Control Lyapunov Theorem for Joint Safety and Stability
by: Quartz, Thanin, et al.
Published: (2025)

Stability of Certainty-Equivalent Adaptive LQR for Linear Systems with Unknown Time-Varying Parameters
by: Bartos, Marcell, et al.
Published: (2025)

Certifying Stability of Reinforcement Learning Policies using Generalized Lyapunov Functions
by: Long, Kehan, et al.
Published: (2025)

Co-Optimizing Distributed Energy Resources under Demand Charges and Bi-Directional Power Flow
by: Yang, Ruixiao, et al.
Published: (2025)

Joint Scheduling of DER under Demand Charges: Structure and Approximation
by: Yang, Ruixiao, et al.
Published: (2025)

On-Line Policy Iteration with Trajectory-Driven Policy Generation
by: Li, Yuchao, et al.
Published: (2026)

Learning Safety-Compatible Observers for Unknown Systems
by: Bae, Juho, et al.
Published: (2025)

Concave Comparison Functions for Accelerating Constrained Lyapunov Decay
by: Fan, Shuyuan, et al.
Published: (2025)