Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
2005.00611
Cited By
v1
v2
v3
v4 (latest)
Neural Lyapunov Control
Neural Information Processing Systems (NeurIPS), 2020
1 May 2020
Ya-Chien Chang
Nima Roohi
Sicun Gao
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Neural Lyapunov Control"
50 / 151 papers shown
Systems Security Foundations for Agentic Computing
IACR Cryptology ePrint Archive (IACR ePrint), 2025
Mihai Christodorescu
Earlence Fernandes
Ashish Hooda
S. Jha
Johann Rehberger
...
Jihye Choi
Sarthak Choudhary
Nils Palumbo
Andrey Labunets
Nishit V. Pandya
128
5
0
01 Dec 2025
The Silence that Speaks: Neural Estimation via Communication Gaps
Shubham Aggarwal
Dipankar Maity
Tamer Basar
83
0
0
30 Nov 2025
Lyapunov Stability Learning with Nonlinear Control via Inductive Biases
Yupu Lu
Shijie Lin
Hao Xu
Zeqing Zhang
Jia Pan
119
0
0
03 Nov 2025
A Fast Initialization Method for Neural Network Controllers: A Case Study of Image-based Visual Servoing Control for the multicopter Interception
Chenxu Ke
Congling Tian
Kaichen Xu
Ye Li
Lingcong Bao
106
0
0
23 Sep 2025
Off Policy Lyapunov Stability in Reinforcement Learning
Sarvan Gill
Daniela Constantinescu
168
1
0
11 Sep 2025
Safe Domains of Attraction for Discrete-Time Nonlinear Systems: Characterization and Verifiable Neural Network Estimation
Mohamed Serry
Xue Yang
Ruikun Zhou
H. Zhang
Jun Liu
207
3
0
16 Jun 2025
Certifying Stability of Reinforcement Learning Policies using Generalized Lyapunov Functions
Kehan Long
Jorge Cortés
Nikolay Atanasov
560
3
0
16 May 2025
Neural Contraction Metrics with Formal Guarantees for Discrete-Time Nonlinear Dynamical Systems
Conference on Learning for Dynamics & Control (L4DC), 2025
Xue Yang
Xiangru Zhong
Bin Hu
Huan Zhang
274
6
0
23 Apr 2025
Learning Verifiable Control Policies Using Relaxed Verification
Puja Chaudhury
Alexander Estornell
Michael Everett
380
0
0
23 Apr 2025
FADConv: A Frequency-Aware Dynamic Convolution for Farmland Non-agriculturalization Identification and Segmentation
Tan Shu
Li Shen
349
22
0
04 Apr 2025
Learning Geometrically-Informed Lyapunov Functions with Deep Diffeomorphic RBF Networks
International Conference on Artificial Intelligence and Statistics (AISTATS), 2025
Samuel Tesfazgi
Leonhard Sprandl
Sandra Hirche
AAML
268
0
0
03 Apr 2025
Neural Lyapunov Function Approximation with Self-Supervised Reinforcement Learning
IEEE International Conference on Robotics and Automation (ICRA), 2025
Luc McCutcheon
Bahman Gharesifard
Saber Fallah
297
1
0
19 Mar 2025
Steering Dialogue Dynamics for Robustness against Multi-turn Jailbreaking Attacks
Hanjiang Hu
Alexander Robey
Changliu Liu
AAML
LLMSV
554
15
0
28 Feb 2025
AI-Powered CPS-Enabled Vulnerable-User-Aware Urban Transportation Digital Twin: Methods and Applications
Xuan Di
Yongjie Fu
Mahshid Ghasemi
Mahshid Ghasemi
Chengbo Zang
Chengbo Zang
Abhishek Adhikari
Gil Zussman
Xuan Di
AI4CE
508
0
0
30 Dec 2024
Neural Continuous-Time Supermartingale Certificates
AAAI Conference on Artificial Intelligence (AAAI), 2024
Grigory Neustroev
Mirco Giacobbe
Anna Lukina
245
14
0
23 Dec 2024
Neural Control and Certificate Repair via Runtime Monitoring
AAAI Conference on Artificial Intelligence (AAAI), 2024
Emily Yu
Đorđe Žikelić
T. Henzinger
AAML
261
5
0
17 Dec 2024
Certified Training with Branch-and-Bound for Lyapunov-stable Neural Control
Zhouxing Shi
Cho-Jui Hsieh
Huan Zhang
H. Zhang
AAML
513
2
0
27 Nov 2024
Neural Model Checking
Neural Information Processing Systems (NeurIPS), 2024
Mirco Giacobbe
Daniel Kroening
Abhinandan Pal
Michael Tautschnig
NAI
337
9
0
31 Oct 2024
Control the GNN: Utilizing Neural Controller with Lyapunov Stability for Test-Time Feature Reconstruction
Jielong Yang
Rui Ding
Feng Ji
Hongbin Wang
Linbo Xie
479
1
0
13 Oct 2024
Global Lyapunov functions: a long-standing open problem in mathematics, with symbolic transformers
Neural Information Processing Systems (NeurIPS), 2024
Alberto Alfarano
François Charton
Amaury Hayat
267
37
0
10 Oct 2024
Safe and Dynamically-Feasible Motion Planning using Control Lyapunov and Barrier Functions
Pol Mestres
Carlos Nieto-Granda
Jorge Cortés
486
4
0
10 Oct 2024
Verification of Neural Control Barrier Functions with Symbolic Derivative Bounds Propagation
Conference on Robot Learning (CoRL), 2024
Hanjiang Hu
Yujie Yang
Tianhao Wei
Changliu Liu
AAML
304
22
0
04 Oct 2024
Formally Verified Physics-Informed Neural Control Lyapunov Functions
American Control Conference (ACC), 2024
Jun Liu
Maxwell Fitzsimmons
Ruikun Zhou
Yiming Meng
164
8
0
30 Sep 2024
Differentiable Predictive Control for Robotics: A Data-Driven Predictive Safety Filter Approach
John Viljoen
Wenceslao Shaw-Cortez
Ján Drgoňa
Sebastian East
Masayoshi Tomizuka
D. Vrabie
380
4
0
20 Sep 2024
Training Safe Neural Networks with Global SDP Bounds
Roman Soletskyi
David "davidad" Dalrymple
AAML
284
1
0
15 Sep 2024
Hamilton-Jacobi Reachability in Reinforcement Learning: A Survey
Milan Ganai
Sicun Gao
Sylvia Herbert
430
25
0
12 Jul 2024
Safe and Reliable Training of Learning-Based Aerospace Controllers
Udayan Mandal
Guy Amir
Haoze Wu
Ieva Daukantas
Fletcher Lee Newell
...
Kerianne Hobbs
Milan Ganai
Tobey Shim
Guy Katz
Clark Barrett
285
9
0
09 Jul 2024
CoBL-Diffusion: Diffusion-Based Conditional Robot Planning in Dynamic Environments Using Control Barrier and Lyapunov Functions
IEEE/RJS International Conference on Intelligent RObots and Systems (IROS), 2024
Kazuki Mizuta
Karen Leung
335
31
0
08 Jun 2024
Policy Verification in Stochastic Dynamical Systems Using Logarithmic Neural Certificates
Thom S. Badings
Wietze Koops
Sebastian Junges
Nils Jansen
523
0
0
02 Jun 2024
Mollification Effects of Policy Gradient Methods
Tao Wang
Sylvia Herbert
Sicun Gao
305
2
0
28 May 2024
Sensor-Based Distributionally Robust Control for Safe Robot Navigation in Dynamic Environments
Kehan Long
Yinzhuang Yi
Zhirui Dai
Sylvia Herbert
Jorge Cortés
Nikolay Atanasov
866
17
0
28 May 2024
Formally Verifying Deep Reinforcement Learning Controllers with Lyapunov Barrier Certificates
Formal Methods in Computer-Aided Design (FMCAD), 2024
Udayan Mandal
Guy Amir
Haoze Wu
Ieva Daukantas
Fletcher Lee Newell
...
Michael Durling
Milan Ganai
Tobey Shim
Guy Katz
Clark W. Barrett
229
20
0
22 May 2024
Learning a Stable, Safe, Distributed Feedback Controller for a Heterogeneous Platoon of Vehicles
Michael Shaham
T. Padır
172
0
0
18 Apr 2024
Stability-informed Bayesian Optimization for MPC Cost Function Learning
Sebastian Hirt
Maik Pfefferkorn
Ali Mesbah
Rolf Findeisen
183
13
0
18 Apr 2024
Distributionally Robust Policy and Lyapunov-Certificate Learning
Kehan Long
Jorge Cortés
Nikolay Atanasov
321
5
0
03 Apr 2024
Manifold-Guided Lyapunov Control with Diffusion Models
Amartya Mukherjee
Thanin Quartz
Jun Liu
358
1
0
26 Mar 2024
POLICEd RL: Learning Closed-Loop Robot Control Policies with Provable Satisfaction of Hard Constraints
Jean-Baptiste Bouvier
Kartik Nagpal
Negar Mehr
368
5
0
20 Mar 2024
LyZNet: A Lightweight Python Tool for Learning and Verifying Neural Lyapunov Functions and Regions of Attraction
International Conference on Hybrid Systems: Computation and Control (HSCC), 2024
Jun Liu
Yiming Meng
Maxwell Fitzsimmons
Rui Zhou
275
30
0
15 Mar 2024
Actor-Critic Physics-informed Neural Lyapunov Control
IEEE Control Systems Letters (L-CSS), 2024
Jiarui Wang
Mahyar Fazlyab
222
12
0
13 Mar 2024
Verification-Aided Learning of Neural Network Barrier Functions with Termination Guarantees
American Control Conference (ACC), 2024
Shaoru Chen
Lekan Molu
Mahyar Fazlyab
256
12
0
12 Mar 2024
Globally Stable Neural Imitation Policies
Amin Abyaneh
Mariana Sosa Guzmán
Hsiu-Chin Lin
265
4
0
07 Mar 2024
Provably Safe Neural Network Controllers via Differential Dynamic Logic
Samuel Teuber
Stefan Mitsch
André Platzer
AAML
310
16
0
16 Feb 2024
Meta-Learning-Based Adaptive Stability Certificates for Dynamical Systems
Amit Jena
D. Kalathil
Le Xie
232
5
0
23 Dec 2023
Physics-Informed Neural Network Lyapunov Functions: PDE Characterization, Learning, and Verification
Jun Liu
Yiming Meng
Maxwell Fitzsimmons
Rui Zhou
460
45
0
14 Dec 2023
MPC-Inspired Reinforcement Learning for Verifiable Model-Free Control
Conference on Learning for Dynamics & Control (L4DC), 2023
Yiwen Lu
Zishuo Li
Yihan Zhou
Na Li
Yilin Mo
462
6
0
08 Dec 2023
Compositional Policy Learning in Stochastic Control Systems with Formal Guarantees
Neural Information Processing Systems (NeurIPS), 2023
Dorde Zikelic
Mathias Lechner
Abhinav Verma
K. Chatterjee
T. Henzinger
280
23
0
03 Dec 2023
Deep Reinforcement Learning Graphs: Feedback Motion Planning via Neural Lyapunov Verification
A. Ghanbarzadeh
Esmaeil Najafi
118
0
0
29 Nov 2023
Constraint-Guided Online Data Selection for Scalable Data-Driven Safety Filters in Uncertain Robotic Systems
IEEE Transactions on robotics (TRO), 2023
Jason J. Choi
F. Castañeda
Wonsuhk Jung
Bike Zhang
Claire J. Tomlin
Koushil Sreenath
299
5
0
23 Nov 2023
Fossil 2.0: Formal Certificate Synthesis for the Verification and Control of Dynamical Models
Alec Edwards
Andrea Peruffo
Alessandro Abate
312
47
0
16 Nov 2023
Deep Bayesian Reinforcement Learning for Spacecraft Proximity Maneuvers and Docking
Desong Du
Naiming Qi
Yanfang Liu
Wei Pan
289
0
0
07 Nov 2023
1
2
3
4
Next
Page 1 of 4
