Constructive Lyapunov Functions via Topology-Preserving Neural Networks
Fuente:
arXiv
Enregistré dans:
| Auteur principal: | Oh, Jaehong |
|---|---|
| Format: | Preprint |
| Publié: |
2025
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
Documents similaires
Physics-Informed Neural Network Lyapunov Functions: PDE Characterization, Learning, and Verification
par: Liu, Jun, et autres
Publié: (2023)
par: Liu, Jun, et autres
Publié: (2023)
Formally Verified Physics-Informed Neural Control Lyapunov Functions
par: Liu, Jun, et autres
Publié: (2024)
par: Liu, Jun, et autres
Publié: (2024)
Neural Lyapunov Differentiable Predictive Control
par: Mukherjee, Sayak, et autres
Publié: (2022)
par: Mukherjee, Sayak, et autres
Publié: (2022)
(Un)supervised Learning of Maximal Lyapunov Functions
par: Barreau, Matthieu, et autres
Publié: (2024)
par: Barreau, Matthieu, 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)
par: Liu, Jun, et autres
Publié: (2024)
Decomposing Control Lyapunov Functions for Efficient Reinforcement Learning
par: Lopez, Antonio, et autres
Publié: (2024)
par: Lopez, Antonio, et autres
Publié: (2024)
Lyapunov Neural ODE State-Feedback Control Policies
par: Ip, Joshua Hang Sai, et autres
Publié: (2024)
par: Ip, Joshua Hang Sai, et autres
Publié: (2024)
Verifiable Error Bounds for Physics-Informed Neural Network Solutions of Lyapunov and Hamilton-Jacobi-Bellman Equations
par: Liu, Jun
Publié: (2026)
par: Liu, Jun
Publié: (2026)
Ontology Neural Networks for Topologically Conditioned Constraint Satisfaction
par: Oh, Jaehong
Publié: (2026)
par: Oh, Jaehong
Publié: (2026)
Learning Geometrically-Informed Lyapunov Functions with Deep Diffeomorphic RBF Networks
par: Tesfazgi, Samuel, et autres
Publié: (2025)
par: Tesfazgi, Samuel, et autres
Publié: (2025)
State-Dependent Lyapunov Method for Rank-1 Matrix Factorization
par: Moon, Jaehong
Publié: (2026)
par: Moon, Jaehong
Publié: (2026)
Lyapunov Function Consistent Adaptive Network Signal Control with Back Pressure and Reinforcement Learning
par: Ma, Chaolun, et autres
Publié: (2022)
par: Ma, Chaolun, et autres
Publié: (2022)
Provable Bounds on the Hessian of Neural Networks: Derivative-Preserving Reachability Analysis
par: Sharifi, Sina, et autres
Publié: (2024)
par: Sharifi, Sina, et autres
Publié: (2024)
Actor-Critic Physics-informed Neural Lyapunov Control
par: Wang, Jiarui, et autres
Publié: (2024)
par: Wang, Jiarui, et autres
Publié: (2024)
System Identification and Control Using Lyapunov-Based Deep Neural Networks without Persistent Excitation: A Concurrent Learning Approach
par: Hart, Rebecca G., et autres
Publié: (2025)
par: Hart, Rebecca G., et autres
Publié: (2025)
Certifying Stability of Reinforcement Learning Policies using Generalized Lyapunov Functions
par: Long, Kehan, et autres
Publié: (2025)
par: Long, Kehan, et autres
Publié: (2025)
PowerGNN: A Topology-Aware Graph Neural Network for Electricity Grids
par: Suri, Dhruv, et autres
Publié: (2025)
par: Suri, Dhruv, et autres
Publié: (2025)
Ontology Neural Network and ORTSF: A Framework for Topological Reasoning and Delay-Robust Control
par: Oh, Jaehong
Publié: (2025)
par: Oh, Jaehong
Publié: (2025)
Geometry-Preserving Neural Architectures on Manifolds with Boundary
par: Elamvazhuthi, Karthik, et autres
Publié: (2026)
par: Elamvazhuthi, Karthik, et autres
Publié: (2026)
Safe Deep Model-Based Reinforcement Learning with Lyapunov Functions
par: Zhang, Harry
Publié: (2024)
par: Zhang, Harry
Publié: (2024)
Zero-Shot, Safe and Time-Efficient UAV Navigation via Potential-Based Reward Shaping, Control Lyapunov and Barrier Functions
par: Naeem, Ashik Abrar, et autres
Publié: (2026)
par: Naeem, Ashik Abrar, et autres
Publié: (2026)
Pontryagin Optimal Control via Neural Networks
par: Gu, Chengyang, et autres
Publié: (2022)
par: Gu, Chengyang, et autres
Publié: (2022)
Fast Transient Stability Prediction Using Grid-informed Temporal and Topological Embedding Deep Neural Network
par: Sun, Peiyuan, et autres
Publié: (2022)
par: Sun, Peiyuan, et autres
Publié: (2022)
Region of Attraction for Power Systems using Gaussian Process and Converse Lyapunov Function -- Part I: Theoretical Framework and Off-line Study
par: Zhai, Chao, et autres
Publié: (2019)
par: Zhai, Chao, et autres
Publié: (2019)
A Concise Lyapunov Analysis of Nesterov's Accelerated Gradient Method
par: Liu, Jun
Publié: (2025)
par: Liu, Jun
Publié: (2025)
Neural Network-assisted Interval Reachability for Systems with Control Barrier Function-Based Safe Controllers
par: Ajeyemi, Damola, et autres
Publié: (2025)
par: Ajeyemi, Damola, et autres
Publié: (2025)
Distributionally Robust Policy and Lyapunov-Certificate Learning
par: Long, Kehan, et autres
Publié: (2024)
par: Long, Kehan, et autres
Publié: (2024)
Certified Training with Branch-and-Bound for Lyapunov-stable Neural Control
par: Shi, Zhouxing, et autres
Publié: (2024)
par: Shi, Zhouxing, et autres
Publié: (2024)
Formal Synthesis of Certifiably Robust Neural Lyapunov-Barrier Certificates
par: Wang, Chengxiao, et autres
Publié: (2026)
par: Wang, Chengxiao, et autres
Publié: (2026)
Lyapunov-stable Neural Control for State and Output Feedback: A Novel Formulation
par: Yang, Lujie, et autres
Publié: (2024)
par: Yang, Lujie, et autres
Publié: (2024)
Cognitive Synergy Architecture: SEGO for Human-Centric Collaborative Robots
par: Oh, Jaehong
Publié: (2025)
par: Oh, Jaehong
Publié: (2025)
Stable Inverse Reinforcement Learning: Policies from Control Lyapunov Landscapes
par: Tesfazgi, Samuel, et autres
Publié: (2024)
par: Tesfazgi, Samuel, et autres
Publié: (2024)
Learning and Current Prediction of PMSM Drive via Differential Neural Networks
par: Mei, Wenjie, et autres
Publié: (2024)
par: Mei, Wenjie, et autres
Publié: (2024)
Sample-Free Safety Assessment of Neural Network Controllers via Taylor Methods
par: Evans, Adam, et autres
Publié: (2026)
par: Evans, Adam, et autres
Publié: (2026)
Off Policy Lyapunov Stability in Reinforcement Learning
par: Gill, Sarvan, et autres
Publié: (2025)
par: Gill, Sarvan, et autres
Publié: (2025)
Lipschitz-Based Robustness Certification for Recurrent Neural Networks via Convex Relaxation
par: Hamelbeck, Paul, et autres
Publié: (2025)
par: Hamelbeck, Paul, et autres
Publié: (2025)
Learning Subsystem Dynamics in Nonlinear Systems via Port-Hamiltonian Neural Networks
par: van Otterdijk, G. J. E., et autres
Publié: (2024)
par: van Otterdijk, G. J. E., et autres
Publié: (2024)
Lite-RVFL: A Lightweight Random Vector Functional-Link Neural Network for Learning Under Concept Drift
par: Hu, Songqiao, et autres
Publié: (2025)
par: Hu, Songqiao, et autres
Publié: (2025)
Linearization of ReLU Activation Function for Neural Network-Embedded Optimization: Optimal Day-Ahead Energy Scheduling
par: Zhao, Cunzhi, et autres
Publié: (2023)
par: Zhao, Cunzhi, et autres
Publié: (2023)
Reinforcement Learning-based Control via Y-wise Affine Neural Networks (YANNs)
par: Braniff, Austin, et autres
Publié: (2025)
par: Braniff, Austin, et autres
Publié: (2025)
Documents similaires
-
Physics-Informed Neural Network Lyapunov Functions: PDE Characterization, Learning, and Verification
par: Liu, Jun, et autres
Publié: (2023) -
Formally Verified Physics-Informed Neural Control Lyapunov Functions
par: Liu, Jun, et autres
Publié: (2024) -
Neural Lyapunov Differentiable Predictive Control
par: Mukherjee, Sayak, et autres
Publié: (2022) -
(Un)supervised Learning of Maximal Lyapunov Functions
par: Barreau, Matthieu, 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)