{"total":42,"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":"2109.03861","title":"Recurrent Neural Network Controllers Synthesis with Stability Guarantees for Partially Observed Systems","created":"2021-09-08","cited_by_count":16,"area":null},{"id":"2110.01388","title":"Neural Network Verification in Control","created":"2021-09-30","cited_by_count":14,"area":null},{"id":"2112.04219","title":"Learning over All Stabilizing Nonlinear Controllers for a Partially-Observed Linear System","created":"2021-12-08","cited_by_count":14,"area":null},{"id":"2201.00632","title":"Neural network training under semidefinite constraints","created":"2022-01-03","cited_by_count":11,"area":null},{"id":"2404.04375","title":"ECLipsE: Efficient Compositional Lipschitz Constant Estimation for Deep Neural Networks","created":"2024-04-05","cited_by_count":10,"area":null},{"id":"2111.12906","title":"Robustness against Adversarial Attacks in Neural Networks using Incremental Dissipativity","created":"2021-11-25","cited_by_count":7,"area":null},{"id":"2401.14033","title":"Novel Quadratic Constraints for Extending LipSDP beyond Slope-Restricted Activations","created":"2024-01-25","cited_by_count":7,"area":null},{"id":"2103.17106","title":"Linear systems with neural network nonlinearities: Improved stability analysis via acausal Zames-Falb multipliers","created":"2021-03-31","cited_by_count":6,"area":null},{"id":"2210.08339","title":"Reachable Polyhedral Marching (RPM): An Exact Analysis Tool for Deep-Learned Control Systems","created":"2022-10-15","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":"2303.03042","title":"Convolutional Neural Networks as 2-D systems","created":"2023-03-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":"2405.05236","title":"Stability and Performance Analysis of Discrete-Time ReLU Recurrent Neural Networks","created":"2024-05-08","cited_by_count":4,"area":null},{"id":"2406.12744","title":"Ensuring Both Positivity and Stability Using Sector-Bounded Nonlinearity for Systems with Neural Network Controllers","created":"2024-06-18","cited_by_count":4,"area":null},{"id":"2202.04592","title":"Stability Analysis of Recurrent Neural Networks by IQC with Copositive Mutipliers","created":"2022-02-09","cited_by_count":3,"area":null},{"id":"2309.09043","title":"Forward Invariance in Neural Network Controlled Systems","created":"2023-09-16","cited_by_count":3,"area":null},{"id":"2408.01273","title":"Certified Robust Invariant Polytope Training in Neural Controlled ODEs","created":"2024-08-02","cited_by_count":3,"area":null},{"id":"2208.13006","title":"Neural Observer with Lyapunov Stability Guarantee for Uncertain Nonlinear Systems","created":"2022-08-27","cited_by_count":2,"area":null},{"id":"2310.11104","title":"Local Lipschitz Constant Computation of ReLU-FNNs: Upper Bound Computation with Exactness Verification","created":"2023-10-17","cited_by_count":2,"area":null},{"id":"2407.06888","title":"A Complete Set of Quadratic Constraints for Repeated ReLU and Generalizations","created":"2024-07-09","cited_by_count":2,"area":null},{"id":"2505.18912","title":"Robust Stability Analysis of Positive Lure System with Neural Network Feedback","created":"2025-05-25","cited_by_count":2,"area":null},{"id":"2505.22889","title":"Local Stability and Region of Attraction Analysis for Neural Network Feedback Systems under Positivity Constraints","created":"2025-05-28","cited_by_count":2,"area":null},{"id":"2109.05710","title":"Robust Stability of Neural Network-controlled Nonlinear Systems with Parametric Variability","created":"2021-09-13","cited_by_count":1,"area":null},{"id":"2409.15858","title":"Identification For Control Based on Neural Networks: Approximately Linearizable Models","created":"2024-09-24","cited_by_count":1,"area":null},{"id":"2506.23703","title":"A New Perspective On AI Safety Through Control Theory Methodologies","created":"2025-06-30","cited_by_count":1,"area":null},{"id":"2510.05261","title":"ECLipsE-Gen-Local: Efficient Compositional Local Lipschitz Estimates for Deep Neural Networks","created":"2025-10-06","cited_by_count":1,"area":null},{"id":"2512.17593","title":"A Unified Representation of Neural Networks Architectures","created":"2025-12-19","cited_by_count":1,"area":null},{"id":"2605.26577","title":"Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial","created":"2026-05-26","cited_by_count":1,"area":null},{"id":"2201.00801","title":"Revisiting PGD Attacks for Stability Analysis of Large-Scale Nonlinear Systems and Perception-Based Control","created":"2022-01-03","cited_by_count":0,"area":null},{"id":"2206.01175","title":"Robust Longitudinal Control for Vehicular Autonomous Platoons Using Deep Reinforcement Learning","created":"2022-05-31","cited_by_count":0,"area":null},{"id":"2307.03630","title":"PAC bounds of continuous Linear Parameter-Varying systems related to neural ODEs","created":"2023-07-07","cited_by_count":0,"area":null},{"id":"2307.06287","title":"Rational Neural Network Controllers","created":"2023-07-12","cited_by_count":0,"area":null},{"id":"2504.06439","title":"Graph Neural Network-Based Distributed Optimal Control for Linear Networked Systems: An Online Distributed Training Approach","created":"2025-04-08","cited_by_count":0,"area":null},{"id":"2505.04725","title":"Geometric Fault-Tolerant Neural Network Tracking Control of Unknown Systems on Matrix Lie Groups","created":"2025-05-07","cited_by_count":0,"area":null},{"id":"2508.17142","title":"Frequency Response Identification of Low-Order Systems: Finite-Sample Analysis","created":"2025-08-23","cited_by_count":0,"area":null},{"id":"2510.06661","title":"Delay Independent Safe Control with Neural Networks: Positive Lur'e Certificates for Risk Aware Autonomy","created":"2025-10-08","cited_by_count":0,"area":null},{"id":"2605.20482","title":"Quadratic Characterizations for Reachability Analysis of Neural Networks","created":"2026-05-19","cited_by_count":0,"area":null},{"id":"2607.11122","title":"Implicit Neural Networks as Static Controllers: Certificates and Performance Separation","created":"2026-07-13","cited_by_count":0,"area":null},{"id":"2609.22576","title":"Scalable Incremental Robustness Analysis of Neural Network Feedback Systems","created":"2026-09-18","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}