On the public citation graph

Counter-example guided synthesis of neural network Lyapunov functions for piecewise linear systems

https://doi.org/10.1109/cdc42340.2020.9304201
0 signed · 67 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.
Claim with ORCID
Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.
See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1007/3-540-36801-9openalex-snapshot
Piecewise Linear Control Systems
inferredcites →https://doi.org/10.1007/978-1-4757-2836-1openalex-snapshot
Practical Bilevel Optimization: Algorithms and Applications
inferredcites →https://doi.org/10.1007/978-3-030-28619-4_56openalex-snapshot
Global Inverse Kinematics via Mixed-Integer Convex Optimization
inferredcites →https://doi.org/10.1007/978-3-642-38574-2_14openalex-snapshot
dReal: An SMT Solver for Nonlinear Theories over the Reals
inferredcites →https://doi.org/10.1016/s0005-1098(02)00142-5openalex-snapshot
Analysis of discrete-time piecewise affine and hybrid systems
inferredcites →https://doi.org/10.1016/s0893-6080(05)80131-5openalex-snapshot
Multilayer feedforward networks with a nonpolynomial activation function can approximate any function
inferredcites →https://doi.org/10.1109/9.317122openalex-snapshot
Lyapunov stability theory of nonsmooth systems
inferredcites →https://doi.org/10.1109/acc.2005.1470019openalex-snapshot
Homogeneous polynomial lyapunov functions for piecewise affine systems
inferredcites →https://doi.org/10.1109/acc.2005.1470372openalex-snapshot
Mixed-integer programming for control
inferredcites →https://doi.org/10.1109/cdc.1994.411440openalex-snapshot
The LMI control toolbox
inferredcites →https://doi.org/10.1109/cdc.1998.761788openalex-snapshot
On the stability and existence of common Lyapunov functions for stable linear switching systems
inferredcites →https://doi.org/10.1109/cdc.2015.7402879openalex-snapshot
Counter-Example Guided Synthesis of control Lyapunov functions for switched systems
inferredcites →https://doi.org/10.1109/tct.1960.1086720openalex-snapshot
Some Extensions of Liapunov's Second Method
inferredcites →https://doi.org/10.1145/2562059.2562139openalex-snapshot
Simulation-guided lyapunov analysis for hybrid dynamical systems
inferredcites →https://doi.org/10.1145/3178126.3178154openalex-snapshot
Averist
inferredcites →https://doi.org/10.1177/0278364919846512openalex-snapshot
Global inverse kinematics via mixed-integer convex optimization
inferredcites →https://doi.org/10.15607/rss.2019.xv.012openalex-snapshot
A Differentiable Augmented Lagrangian Method for Bilevel Nonlinear Optimization
inferredcites →https://doi.org/10.23919/ecc.1997.7082399openalex-snapshot
Computation of piecewise quadratic Lyapunov functions for hybrid systems
inferredcites →https://doi.org/10.3934/jcd.2015004openalex-snapshot
Computing continuous and piecewise affine lyapunov functions for nonlinear systems
inferredcites →https://doi.org/10.48550/arxiv.1711.00851openalex-snapshot
Provable defenses against adversarial examples via the convex outer adversarial polytope
inferredcites →https://doi.org/10.48550/arxiv.1711.07356openalex-snapshot
Evaluating Robustness of Neural Networks with Mixed Integer Programming
inferredcites →https://doi.org/10.48550/arxiv.1808.00924openalex-snapshot
The Lyapunov Neural Network: Adaptive Stability Certification for Safe Learning of Dynamical Systems
inferredcites →https://doi.org/10.48550/arxiv.1909.06153openalex-snapshot
HJB Optimal Feedback Control with Deep Differential Value Functions and Action Constraints
inferredcites →https://doi.org/10.48550/arxiv.2001.06116openalex-snapshot
Learning Stable Deep Dynamics Models
inferredcites →https://doi.org/10.48550/arxiv.2005.00611openalex-snapshot
Neural Lyapunov Control
inferredcites →https://doi.org/10.7907/2k6y-ch43.openalex-snapshot
Structured semidefinite programs and semialgebraic geometry methods in robustness and optimization

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.2139/ssrn.4880686openalex-extracted
A General Framework for Verification and Control of Dynamical Models Via Certificate Synthesis
inferred← citeshttps://doi.org/10.1007/978-3-031-21090-7_26openalex-snapshot
Morse Graphs: Topological Tools for Analyzing the Global Dynamics of Robot Controllers
inferred← citeshttps://doi.org/10.1007/978-3-031-57246-3_9openalex-snapshot
CESAR: Control Envelope Synthesis via Angelic Refinements
inferred← citeshttps://doi.org/10.1007/s12043-024-02734-1openalex-snapshot
Bursting oscillations in dry friction system under external excitation
inferred← citeshttps://doi.org/10.1016/j.arcontrol.2025.101028openalex-snapshot
A general framework for verification and control of dynamical models via certificate synthesis
inferred← citeshttps://doi.org/10.1016/j.automatica.2025.112193openalex-snapshot
Physics-informed neural network Lyapunov functions: PDE characterization, learning, and verification
inferred← citeshttps://doi.org/10.1016/j.nahs.2026.101678openalex-snapshot
Data-driven stability and optimality certificates for hybrid dynamical systems
inferred← citeshttps://doi.org/10.1109/case59546.2024.10711661openalex-snapshot
Safe Value Functions: Learned Critics as Hard Safety Constraints
inferred← citeshttps://doi.org/10.1109/cdc56724.2024.10886677openalex-snapshot
Neural Exponential Stabilization of Control-affine Nonlinear Systems
inferred← citeshttps://doi.org/10.1109/cies64955.2025.11007627openalex-snapshot
Lyapunov-Inspired Deep Reinforcement Learning for Robot Navigation in Obstacle Environments
inferred← citeshttps://doi.org/10.1109/fasta65681.2025.11138770openalex-snapshot
Reinforcement Learning with Guaranteed Robustness Under Dynamics Modeling Uncertainties
inferred← citeshttps://doi.org/10.1109/icct58878.2023.10347036openalex-snapshot
Method for the Synthesis of Stable Autonomous Neural Network Control Systems for Objects with Limiters
inferred← citeshttps://doi.org/10.1109/icct58878.2023.10347110openalex-snapshot
Synthesis of Neural Network Compensation of an Autonomous Electro-Hydraulic Actuator Based on a Sliding Mode Control
inferred← citeshttps://doi.org/10.1109/icct62929.2024.10874902openalex-snapshot
Using a Neurosimulator in the Problem of Maximizing the Output Value of a Dynamic Object
inferred← citeshttps://doi.org/10.1109/icct62929.2024.10874986openalex-snapshot
Transient Performance Control in Neural Network Tracking Systems
inferred← citeshttps://doi.org/10.1109/lcsys.2023.3285102openalex-snapshot
Counter-Example Guided Inductive Synthesis of Control Lyapunov Functions for Uncertain Systems
inferred← citeshttps://doi.org/10.1109/lra.2022.3141657openalex-snapshot
Learning Safe, Generalizable Perception-Based Hybrid Control With Certificates
inferred← citeshttps://doi.org/10.1109/ojcsys.2024.3385348openalex-snapshot
Learning Robust Output Control Barrier Functions From Safe Expert Demonstrations
inferred← citeshttps://doi.org/10.1109/robio66223.2025.11377478openalex-snapshot
Lyapunov Stability Learning with Nonlinear Control via Inductive Biases
inferred← citeshttps://doi.org/10.1109/summa60232.2023.10349478openalex-snapshot
Complex Approach to Synthesizing Neural Network Regulators for Unstable Nonlinear Control Objects
inferred← citeshttps://doi.org/10.1109/summa60232.2023.10349576openalex-snapshot
Methodology of Synthesis of Tracking Neural Network Control Systems for Objects with Limiters
inferred← citeshttps://doi.org/10.1109/tac.2023.3234237openalex-snapshot
Finding the LQR Weights to Ensure the Associated Riccati Equations Admit a Common Solution
inferred← citeshttps://doi.org/10.1109/tac.2023.3270219openalex-snapshot
Stability Analysis and Controller Synthesis Using Single-Hidden-Layer ReLU Neural Networks
inferred← citeshttps://doi.org/10.1109/tac.2023.3283213openalex-snapshot
Stability Verification of Neural Network Controllers Using Mixed-Integer Programming
inferred← citeshttps://doi.org/10.1109/tac.2024.3462528openalex-snapshot
Robustly Learning Regions of Attraction From Fixed Data
inferred← citeshttps://doi.org/10.1109/tac.2025.3636804openalex-snapshot
State-Action Control Barrier Functions: Imposing Safety on Learning-Based Control With Low Online Computational Costs
inferred← citeshttps://doi.org/10.1109/tai.2026.3675539openalex-snapshot
Robustness-Guaranteed Reinforcement Learning Under Uncertainties in Dynamics Modeling and State Estimates
inferred← citeshttps://doi.org/10.1109/tro.2022.3232542openalex-snapshot
Safe Control With Learned Certificates: A Survey of Neural Lyapunov, Barrier, and Contraction Methods for Robotics and Control
inferred← citeshttps://doi.org/10.1109/wintechcon55229.2022.9832063openalex-snapshot
Refinement Of Reinforcement Learning Algorithms Guided By Counterexamples
inferred← citeshttps://doi.org/10.1145/3641513.3650122openalex-snapshot
A Data-Driven Approach for Certifying Asymptotic Stability and Cost Evaluation for Hybrid Systems
inferred← citeshttps://doi.org/10.1145/3641513.3650134openalex-snapshot
TOOL LyZNet: A Lightweight Python Tool for Learning and Verifying Neural Lyapunov Functions and Regions of Attraction
inferred← citeshttps://doi.org/10.1145/3641513.3650137openalex-snapshot
Safe Controller Synthesis for Nonlinear Systems Using Bayesian Optimization Enhanced Reinforcement Learning
inferred← citeshttps://doi.org/10.1145/3716863.3718048openalex-snapshot
Polyhedral Control Lyapunov Functions for Switched Affine Systems
inferred← citeshttps://doi.org/10.15607/rss.2021.xvii.063openalex-snapshot
Lyapunov-stable neural-network control
inferred← citeshttps://doi.org/10.17587/mau.25.345-353openalex-snapshot
The Method of Synthesis of a Stable Closed-Loop Object Control System with Limiters
inferred← citeshttps://doi.org/10.23919/acc60939.2024.10645043openalex-snapshot
Verification-Aided Learning of Neural Network Barrier Functions with Termination Guarantees
inferred← citeshttps://doi.org/10.23919/acc63710.2025.11107836openalex-snapshot
Safe Physics-informed Machine Learning for Dynamics and Control
inferred← citeshttps://doi.org/10.23919/icins51816.2023.10168396openalex-snapshot
Hybrid Ship Motion Control Algorithm that Eliminates Control Loop Saturation
inferred← citeshttps://doi.org/10.2514/6.2023-0880openalex-snapshot
Safe Optimal Control with Synthesized Waypoints as Guidance
inferred← citeshttps://doi.org/10.48550/arxiv.2305.12813openalex-snapshot
Robustly Learning Regions of Attraction from Fixed Data
inferred← citeshttps://doi.org/10.48550/arxiv.2311.02833openalex-snapshot
CESAR: Control Envelope Synthesis via Angelic Refinements
Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.