:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Kaur, Avneet, Zhou, Ruikun, Liu, Jun, Morris, Kirsten
Format:	Preprint
Published:	2025
Subjects:	Optimization and Control Dynamical Systems
Online Access:	https://arxiv.org/abs/2502.04551
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

State estimator design using Jordan based long short-term memory networks
by: Kaur, Avneet, et al.
Published: (2025)

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

Safe and Robust Domains of Attraction for Discrete-Time Systems: A Set-Based Characterization and Certifiable Neural Network Estimation
by: Serry, Mohamed, et al.
Published: (2026)

Set-Based Value Function Characterization and Neural Approximation of Stabilization Domains for Input-Constrained Discrete-Time Systems
by: Serry, Mohamed, et al.
Published: (2026)

Physics-Informed Neural Network Lyapunov Functions: PDE Characterization, Learning, and Verification
by: Liu, Jun, et al.
Published: (2023)

Towards Learning and Verifying Maximal Neural Lyapunov Functions
by: Liu, Jun, et al.
Published: (2023)

A Mixed-FEM approximation with uniform conservation of the exponential stability for a class of anisotropic port-Hamiltonian system and its application to LQ control
by: Mora, Luis A., et al.
Published: (2025)

Physics-Informed Neural Network Policy Iteration: Algorithms, Convergence, and Verification
by: Meng, Yiming, et al.
Published: (2024)

Symbolic Reduction for Formal Synthesis of Global Lyapunov Functions
by: Liu, Jun, et al.
Published: (2025)

Sufficient Conditions for String Stability
by: Karafyllis, Iasson, et al.
Published: (2025)

Formally Verified Physics-Informed Neural Control Lyapunov Functions
by: Liu, Jun, et al.
Published: (2024)

Geometric Stabilization of Virtual Nonlinear Nonholonomic Constraints
by: Stratoglou, Efstratios, et al.
Published: (2025)

Reach-Avoid Control Synthesis for a Quadrotor UAV with Formal Safety Guarantees
by: Serry, Mohamed, et al.
Published: (2024)

Dynamic System Stability Verification Using Numerical Simulator
by: Kim, Jongrae
Published: (2023)

Global Stability Notions to Enhance the Rigor and Robustness of Adaptive Control
by: Karafyllis, Iasson, et al.
Published: (2024)

LyZNet: A Lightweight Python Tool for Learning and Verifying Neural Lyapunov Functions and Regions of Attraction
by: Liu, Jun, et al.
Published: (2024)

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

A Stability Condition for Online Feedback Optimization without Timescale Separation
by: Bianchi, Mattia, et al.
Published: (2024)

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

$\K$-Lorentzian and $\K$-CLC Polynomials in Stability Analysis
by: Dey, Papri
Published: (2025)

Nonlinear Dynamics In Optimization Landscape of Shallow Neural Networks with Tunable Leaky ReLU
by: Liu, Jingzhou
Published: (2025)

Characterization of Invariance, Periodic Solutions and Optimization of Dynamic Financial Networks
by: Stella, Leonardo, et al.
Published: (2025)

Pole Placement and Feedback Stabilization for Discrete Linear Ensemble Systems
by: Chen, Xudong
Published: (2024)

Stability criteria of linear delay differential systems based on fundamental matrix
by: Hu, Guang-Da
Published: (2024)

Stability of a Parametrically Driven, Coupled Oscillator System: An Auxillary Function Method Approach
by: McMillan, Andrew, et al.
Published: (2021)

Distributed Nash Equilibrium Seeking for Constrained Aggregative Games over Jointly Connected and Weight-Balanced Switching Networks
by: Liu, Zhaocong, et al.
Published: (2025)

Minimal Input Cardinality Disturbance Decoupling of Coupled Oscillators via Output Feedback with Application to Power Networks
by: Lebon, Luca Claude Gino, et al.
Published: (2026)

Global Stability Analysis of the Age-Structured Chemostat With Substrate Dynamics
by: Karafyllis, Iasson, et al.
Published: (2026)

Mean-Square Exponential Stabilization of Mixed-Autonomy Traffic PDE System
by: Zhang, Yihuai, et al.
Published: (2023)

Control of Medical Digital Twins with Artificial Neural Networks
by: Böttcher, Lucas, et al.
Published: (2024)

Learning Dissipative Neural Dynamical Systems
by: Xu, Yuezhu, et al.
Published: (2023)

Stability properties of gradient flow dynamics for the symmetric low-rank matrix factorization problem
by: Mohammadi, Hesameddin, et al.
Published: (2024)

Online Actuator Selection and Controller Design for Linear Quadratic Regulation with Unknown System Model
by: Ye, Lintao, et al.
Published: (2022)

Recursive Estimation for Dynamical Systems with Measurement Bias, Outliers and Constraints
by: Nagpal, Krishan Mohan
Published: (2025)

A Smooth, Recurrent, Non-Periodic Viscosity Solution of the Hamilton-Jacobi Equation
by: Charfi, Skander
Published: (2025)

$PG-NODE^{TB}$: Physics-Guided Neural Ordinary Differential Equations for Tuberculosis Transmission Dynamics
by: Kasereka, Selain K., et al.
Published: (2026)

Containment Control Approach for Steering Opinion in a Social Network
by: Rastgoftar, Hossein
Published: (2025)

Collaborative Safety-Critical Control for Dynamically Coupled Networked Systems
by: Butler, Brooks A., et al.
Published: (2023)

Continuity and approximability of competitive spectral radii
by: Akian, Marianne, et al.
Published: (2025)

Synchronization of High-Dimensional Linear Networks over Finite Fields
by: Zou, Siyu, et al.
Published: (2024)