{"total":33,"rows":[{"id":"2404.07956","title":"Lyapunov-stable Neural Control for State and Output Feedback: A Novel Formulation","created":"2024-04-11","cited_by_count":25,"area":null},{"id":"2305.06547","title":"Neural Lyapunov Control for Discrete-Time Systems","created":"2023-05-11","cited_by_count":23,"area":null},{"id":"2312.09131","title":"Physics-Informed Neural Network Lyapunov Functions: PDE Characterization, Learning, and Verification","created":"2023-12-14","cited_by_count":20,"area":null},{"id":"2307.11436","title":"Neural Operators for PDE Backstepping Control of First-Order Hyperbolic PIDE with Recycle and Delay","created":"2023-07-21","cited_by_count":13,"area":null},{"id":"2301.11683","title":"Neural Abstractions","created":"2023-01-27","cited_by_count":11,"area":null},{"id":"2403.10013","title":"LyZNet: A Lightweight Python Tool for Learning and Verifying Neural Lyapunov Functions and Regions of Attraction","created":"2024-03-15","cited_by_count":10,"area":null},{"id":"2303.03157","title":"Data-Driven Control with Inherent Lyapunov Stability","created":"2023-03-06","cited_by_count":6,"area":null},{"id":"2506.01356","title":"Two-Stage Learning of Stabilizing Neural Controllers via Zubov Sampling and Iterative Domain Expansion","created":"2025-06-02","cited_by_count":6,"area":null},{"id":"2302.02529","title":"Learning Control-Oriented Dynamical Structure from Data","created":"2023-02-06","cited_by_count":5,"area":null},{"id":"2404.07373","title":"Synthesizing Neural Network Controllers with Closed-Loop Dissipativity Guarantees","created":"2024-04-10","cited_by_count":4,"area":null},{"id":"2406.00826","title":"Policy Verification in Stochastic Dynamical Systems Using Logarithmic Neural Certificates","created":"2024-06-02","cited_by_count":4,"area":null},{"id":"2409.20528","title":"Formally Verified Physics-Informed Neural Control Lyapunov Functions","created":"2024-09-30","cited_by_count":4,"area":null},{"id":"2312.05332","title":"MPC-Inspired Reinforcement Learning for Verifiable Model-Free Control","created":"2023-12-08","cited_by_count":3,"area":null},{"id":"2411.02975","title":"Transformer-Based Fault-Tolerant Control for Fixed-Wing UAVs Using Knowledge Distillation and In-Context Adaptation","created":"2024-11-05","cited_by_count":3,"area":null},{"id":"2506.13961","title":"Safe Domains of Attraction for Discrete-Time Nonlinear Systems: Characterization and Verifiable Neural Network Estimation","created":"2025-06-16","cited_by_count":3,"area":null},{"id":"2304.13426","title":"FLEX: an Adaptive Exploration Algorithm for Nonlinear Systems","created":"2023-04-26","cited_by_count":2,"area":null},{"id":"2404.03017","title":"Distributionally Robust Policy and Lyapunov-Certificate Learning","created":"2024-04-03","cited_by_count":2,"area":null},{"id":"2301.00521","title":"A Policy Optimization Method Towards Optimal-time Stability","created":"2023-01-02","cited_by_count":1,"area":null},{"id":"2405.13735","title":"Transfer of Safety Controllers Through Learning Deep Inverse Dynamics Model","created":"2024-05-22","cited_by_count":1,"area":null},{"id":"2406.15675","title":"Combining Neural Networks and Symbolic Regression for Analytical Lyapunov Function Discovery","created":"2024-06-21","cited_by_count":1,"area":null},{"id":"2410.09708","title":"Control the GNN: Utilizing Neural Controller with Lyapunov Stability for Test-Time Feature Reconstruction","created":"2024-10-13","cited_by_count":1,"area":null},{"id":"2412.02807","title":"Learning Koopman-based Stability Certificates for Unknown Nonlinear Systems","created":"2024-12-03","cited_by_count":1,"area":null},{"id":"2403.00381","title":"Structured Deep Neural Network-Based Backstepping Trajectory Tracking Control for Lagrangian Systems","created":"2024-03-01","cited_by_count":0,"area":null},{"id":"2408.17246","title":"(Un)supervised Learning of Maximal Lyapunov Functions","created":"2024-08-30","cited_by_count":0,"area":null},{"id":"2507.14882","title":"Application-Specific Component-Aware Structured Pruning of Deep Neural Networks in Control via Soft Coefficient Optimization","created":"2025-07-20","cited_by_count":0,"area":null},{"id":"2511.01283","title":"Lyapunov Stability Learning with Nonlinear Control via Inductive Biases","created":"2025-11-03","cited_by_count":0,"area":null},{"id":"2512.01056","title":"The Silence that Speaks: Neural Estimation via Communication Gaps","created":"2025-11-30","cited_by_count":0,"area":null},{"id":"2602.03799","title":"Conformal Reachability for Safe Control in Unknown Environments","created":"2026-02-03","cited_by_count":0,"area":null},{"id":"2603.19165","title":"Rigorous Error Certification for Neural PDE Solvers: From Empirical Residuals to Solution Guarantees","created":"2026-03-19","cited_by_count":0,"area":null},{"id":"2603.19545","title":"Verifiable Error Bounds for Physics-Informed Neural Network Solutions of Lyapunov and Hamilton-Jacobi-Bellman Equations","created":"2026-03-20","cited_by_count":0,"area":null},{"id":"2605.06934","title":"Learned Lyapunov Shielding for Adaptive Control","created":"2026-05-07","cited_by_count":0,"area":null},{"id":"2609.30819","title":"Learning Provable Neural Network Observer for Uncertain Dynamical Systems","created":"2026-09-25","cited_by_count":0,"area":null},{"id":"2610.05689","title":"Toward AI Trustworthiness: Finding Analytically Proven Forward-Invariant Sets for AI-Controlled Systems","created":"2026-10-05","cited_by_count":0,"area":null}],"next_cursor":null}