:: Library Catalog

Image de couverture de livre

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Kaur, Avneet, Zhou, Ruikun, Liu, Jun, Morris, Kirsten
Format:	Preprint
Publié:	2025
Sujets:	Optimization and Control Dynamical Systems
Accès en ligne:	https://arxiv.org/abs/2502.04551
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

State estimator design using Jordan based long short-term memory networks
par: Kaur, Avneet, et autres
Publié: (2025)

Compositionally Verifiable Vector Neural Lyapunov Functions for Stability Analysis of Interconnected Nonlinear Systems
par: Liu, Jun, et autres
Publié: (2024)

Safe and Robust Domains of Attraction for Discrete-Time Systems: A Set-Based Characterization and Certifiable Neural Network Estimation
par: Serry, Mohamed, et autres
Publié: (2026)

Set-Based Value Function Characterization and Neural Approximation of Stabilization Domains for Input-Constrained Discrete-Time Systems
par: Serry, Mohamed, et autres
Publié: (2026)

Physics-Informed Neural Network Lyapunov Functions: PDE Characterization, Learning, and Verification
par: Liu, Jun, et autres
Publié: (2023)

Towards Learning and Verifying Maximal Neural Lyapunov Functions
par: Liu, Jun, et autres
Publié: (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
par: Mora, Luis A., et autres
Publié: (2025)

Physics-Informed Neural Network Policy Iteration: Algorithms, Convergence, and Verification
par: Meng, Yiming, et autres
Publié: (2024)

Symbolic Reduction for Formal Synthesis of Global Lyapunov Functions
par: Liu, Jun, et autres
Publié: (2025)

Sufficient Conditions for String Stability
par: Karafyllis, Iasson, et autres
Publié: (2025)

Formally Verified Physics-Informed Neural Control Lyapunov Functions
par: Liu, Jun, et autres
Publié: (2024)

Geometric Stabilization of Virtual Nonlinear Nonholonomic Constraints
par: Stratoglou, Efstratios, et autres
Publié: (2025)

Reach-Avoid Control Synthesis for a Quadrotor UAV with Formal Safety Guarantees
par: Serry, Mohamed, et autres
Publié: (2024)

Dynamic System Stability Verification Using Numerical Simulator
par: Kim, Jongrae
Publié: (2023)

Global Stability Notions to Enhance the Rigor and Robustness of Adaptive Control
par: Karafyllis, Iasson, et autres
Publié: (2024)

LyZNet: A Lightweight Python Tool for Learning and Verifying Neural Lyapunov Functions and Regions of Attraction
par: Liu, Jun, et autres
Publié: (2024)

Learning Koopman-based Stability Certificates for Unknown Nonlinear Systems
par: Zhou, Ruikun, et autres
Publié: (2024)

A Stability Condition for Online Feedback Optimization without Timescale Separation
par: Bianchi, Mattia, et autres
Publié: (2024)

Stochastic Reinforcement Learning with Stability Guarantees for Control of Unknown Nonlinear Systems
par: Quartz, Thanin, et autres
Publié: (2024)

$\K$-Lorentzian and $\K$-CLC Polynomials in Stability Analysis
par: Dey, Papri
Publié: (2025)

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

Characterization of Invariance, Periodic Solutions and Optimization of Dynamic Financial Networks
par: Stella, Leonardo, et autres
Publié: (2025)

Pole Placement and Feedback Stabilization for Discrete Linear Ensemble Systems
par: Chen, Xudong
Publié: (2024)

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

Stability of a Parametrically Driven, Coupled Oscillator System: An Auxillary Function Method Approach
par: McMillan, Andrew, et autres
Publié: (2021)

Distributed Nash Equilibrium Seeking for Constrained Aggregative Games over Jointly Connected and Weight-Balanced Switching Networks
par: Liu, Zhaocong, et autres
Publié: (2025)

Minimal Input Cardinality Disturbance Decoupling of Coupled Oscillators via Output Feedback with Application to Power Networks
par: Lebon, Luca Claude Gino, et autres
Publié: (2026)

Global Stability Analysis of the Age-Structured Chemostat With Substrate Dynamics
par: Karafyllis, Iasson, et autres
Publié: (2026)

Mean-Square Exponential Stabilization of Mixed-Autonomy Traffic PDE System
par: Zhang, Yihuai, et autres
Publié: (2023)

Control of Medical Digital Twins with Artificial Neural Networks
par: Böttcher, Lucas, et autres
Publié: (2024)

Learning Dissipative Neural Dynamical Systems
par: Xu, Yuezhu, et autres
Publié: (2023)

Stability properties of gradient flow dynamics for the symmetric low-rank matrix factorization problem
par: Mohammadi, Hesameddin, et autres
Publié: (2024)

Online Actuator Selection and Controller Design for Linear Quadratic Regulation with Unknown System Model
par: Ye, Lintao, et autres
Publié: (2022)

Recursive Estimation for Dynamical Systems with Measurement Bias, Outliers and Constraints
par: Nagpal, Krishan Mohan
Publié: (2025)

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

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

Containment Control Approach for Steering Opinion in a Social Network
par: Rastgoftar, Hossein
Publié: (2025)

Collaborative Safety-Critical Control for Dynamically Coupled Networked Systems
par: Butler, Brooks A., et autres
Publié: (2023)

Continuity and approximability of competitive spectral radii
par: Akian, Marianne, et autres
Publié: (2025)

Synchronization of High-Dimensional Linear Networks over Finite Fields
par: Zou, Siyu, et autres
Publié: (2024)