On the public citation graph

Automated and Formal Synthesis of Neural Barrier Certificates for Dynamical Models

https://doi.org/10.1007/978-3-030-72016-2_20
0 signed · 75 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/978-3-030-45190-5_6openalex-snapshot
Automated and Sound Synthesis of Lyapunov Functions with SMT Solvers
inferredcites →https://doi.org/10.1007/978-3-319-19249-9_23openalex-snapshot
Abstraction of Elementary Hybrid Systems by Variable Transformation
inferredcites →https://doi.org/10.1007/978-3-319-95582-7_25openalex-snapshot
Vector Barrier Certificates and Comparison Systems
inferredcites →https://doi.org/10.1007/978-3-319-96145-3_15openalex-snapshot
Counterexample Guided Inductive Synthesis Modulo Theories
inferredcites →https://doi.org/10.1007/978-3-540-24743-2_32openalex-snapshot
Safety Verification of Hybrid Systems Using Barrier Certificates
inferredcites →https://doi.org/10.1007/978-3-540-70545-1_17openalex-snapshot
Computing Differential Invariants of Hybrid Systems as Fixedpoints
inferredcites →https://doi.org/10.1007/978-3-540-78800-3_24openalex-snapshot
Z3: An Efficient SMT Solver
inferredcites →https://doi.org/10.1007/978-3-642-31365-3_23openalex-snapshot
δ-Complete Decision Procedures for Satisfiability over the Reals
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.1007/978-3-642-39799-8_17openalex-snapshot
Exponential-Condition-Based Barrier Certificate Generation for Safety Verification of Hybrid Systems
inferredcites →https://doi.org/10.1007/978-3-662-50497-0openalex-snapshot
Decision Procedures
inferredcites →https://doi.org/10.1007/s10514-018-9791-9openalex-snapshot
Learning control lyapunov functions from counterexamples and demonstrations
inferredcites →https://doi.org/10.1007/s10817-020-09562-zopenalex-snapshot
Unbounded-Time Safety Verification of Guarded LTI Models with Inputs by Abstract Acceleration
inferredcites →https://doi.org/10.1016/j.automatica.2005.08.007openalex-snapshot
Barrier certificates for nonlinear model validation
inferredcites →https://doi.org/10.1016/j.automatica.2009.02.028openalex-snapshot
Box invariance in biologically-inspired dynamical systems
inferredcites →https://doi.org/10.1016/j.ifacol.2015.11.154openalex-snapshot
Control Barrier Certificates for Safe Swarm Behavior
inferredcites →https://doi.org/10.1016/j.jsc.2016.07.010openalex-snapshot
Barrier certificates revisited
inferredcites →https://doi.org/10.1016/j.nahs.2020.100858openalex-snapshot
Sum-of-Squares methods for controlled invariant sets with applications to model-predictive control
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/icra.2012.6225351openalex-snapshot
Safety verification of reactive controllers for UAV flight in cluttered environments using barrier certificates
inferredcites →https://doi.org/10.1109/lcsys.2020.3005328openalex-snapshot
Formal Synthesis of Lyapunov Neural Networks
inferredcites →https://doi.org/10.1109/tac.2007.902736openalex-snapshot
A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates
inferredcites →https://doi.org/10.1109/tro.2017.2659727openalex-snapshot
Safety Barrier Certificates for Collisions-Free Multirobot Systems
inferredcites →https://doi.org/10.1145/1168857.1168907openalex-snapshot
Combinatorial sketching for finite programs
inferredcites →https://doi.org/10.1145/2185632.2185639openalex-snapshot
Compositional safety analysis using barrier certificates
inferredcites →https://doi.org/10.1145/2968478.2968484openalex-snapshot
Darboux-type barrier certificates for safety verification of nonlinear hybrid systems
inferredcites →https://doi.org/10.1145/2968478.2968485openalex-snapshot
Robust controller synthesis of switched systems using counterexample guided framework
inferredcites →https://doi.org/10.1145/3365365.3382222openalex-snapshot
Synthesizing barrier certificates using neural networks
inferredcites →https://doi.org/10.1145/3447928.3456646openalex-snapshot
FOSSIL
inferredcites →https://doi.org/10.15607/rss.2017.xiii.049openalex-snapshot
Learning Lyapunov (Potential) Functions from Counterexamples and Demonstrations
inferredcites →https://doi.org/10.3182/20130904-3-fr-2041.00198openalex-snapshot
Lyapunov Function Synthesis using Handelman Representations.
inferredcites →https://doi.org/10.48550/arxiv.1204.3513openalex-snapshot
Delta-Complete Decision Procedures for Satisfiability over the Reals
inferredcites →https://doi.org/10.48550/arxiv.1310.4716openalex-snapshot
SOSTOOLS Version 4.00 Sum of Squares Optimization Toolbox for MATLAB
inferredcites →https://doi.org/10.48550/arxiv.1808.00924openalex-snapshot
The Lyapunov Neural Network: Adaptive Stability Certification for Safe Learning of Dynamical Systems

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-43835-6_24openalex-snapshot
Verification of Quantum Systems Using Barrier Certificates
inferred← citeshttps://doi.org/10.1007/978-3-031-65630-9_20openalex-snapshot
Unifying Qualitative and Quantitative Safety Verification of DNN-Controlled Systems
inferred← citeshttps://doi.org/10.1007/978-3-031-71177-0_16openalex-snapshot
On Completeness of SDP-Based Barrier Certificate Synthesis over Unbounded Domains
inferred← citeshttps://doi.org/10.1007/978-3-031-98208-8_1openalex-snapshot
Safeguarding Neural Network-Controlled Systems via Formal Methods: From Safety-by-Design to Runtime Assurance (Invited Talk)
inferred← citeshttps://doi.org/10.1007/978-3-032-05435-7_4openalex-snapshot
Formal Verification of Neural Certificates Done Dynamically
inferred← citeshttps://doi.org/10.1007/978-3-032-05792-1_25openalex-snapshot
On Choice of Loss Functions for Neural Control Barrier Certificates
inferred← citeshttps://doi.org/10.1007/978-3-032-16855-9_12openalex-snapshot
Barrier Certificate Synthesis via Interpolation and Difference-of-Convex Programming
inferred← citeshttps://doi.org/10.1007/978-981-95-8617-2_3openalex-snapshot
Formal Verification of Neural Network-Controlled Systems via Proof Certificates
inferred← citeshttps://doi.org/10.1016/j.ifacol.2024.07.443openalex-snapshot
Distributed Safety Controller Synthesis for Unknown Interconnected Systems via Graph Neural Networks
inferred← citeshttps://doi.org/10.1016/j.infsof.2023.107298openalex-snapshot
Formal synthesis of neural Craig interpolant via counterexample guided deep learning
inferred← citeshttps://doi.org/10.1016/j.scico.2025.103354openalex-snapshot
Fossil 2.0: Design, usage and impact of a software tool for verification and control of dynamical models
inferred← citeshttps://doi.org/10.1080/09540091.2022.2151567openalex-snapshot
Safe reinforcement learning for dynamical systems using barrier certificates
inferred← citeshttps://doi.org/10.1109/access.2022.3229233openalex-snapshot
Safety Assurance of Artificial Intelligence-Based Systems: A Systematic Literature Review on the State of the Art and Guidelines for Future Work
inferred← citeshttps://doi.org/10.1109/cdc56724.2024.10886052openalex-snapshot
Learning a Formally Verified Control Barrier Function in Stochastic Environment
inferred← citeshttps://doi.org/10.1109/cdc56724.2024.10886053openalex-snapshot
Verification of Approximate Prognosability via Barrier Certificates
inferred← citeshttps://doi.org/10.1109/cdc56724.2024.10886677openalex-snapshot
Neural Exponential Stabilization of Control-affine Nonlinear Systems
inferred← citeshttps://doi.org/10.1109/cdc57313.2025.11312074openalex-snapshot
Neural Barrier Certificates for Stochastic Control Systems
inferred← citeshttps://doi.org/10.1109/cdc57313.2025.11312663openalex-snapshot
Correct-by-Construction Barrier Certificate Synthesis for Safety Verification of Continuous Dynamical Systems
inferred← citeshttps://doi.org/10.1109/ic2ecs68700.2025.11361989openalex-snapshot
Neural Lyapunov Control based on Importance Sampling
inferred← citeshttps://doi.org/10.1109/icra57147.2024.10610418openalex-snapshot
How to Train Your Neural Control Barrier Function: Learning Safety Filters for Complex Input-Constrained Systems
inferred← citeshttps://doi.org/10.1109/ieeeconf67917.2025.11443716openalex-snapshot
Verifying Closed-Loop Contractivity of Learning-Based Controllers via Partitioning
inferred← citeshttps://doi.org/10.1109/issre55969.2022.00034openalex-snapshot
A Novel Counterexample-Guided Inductive Synthesis Framework for Barrier Certificate Generation
inferred← citeshttps://doi.org/10.1109/tac.2024.3384448openalex-snapshot
Verification of Hyperproperties for Dynamical Systems via Barrier Certificates
inferred← citeshttps://doi.org/10.1109/tase.2025.3541409openalex-snapshot
A Lyapunov-Based Framework for Trajectory Planning of Wheeled Vehicle Using Imitation Learning
inferred← citeshttps://doi.org/10.1109/tnnls.2023.3326450openalex-snapshot
Differential Neural Network Identifier for Dynamical Systems With Time-Varying State Constraints
inferred← citeshttps://doi.org/10.1109/tpwrs.2024.3419752openalex-snapshot
A Model Ensemble Framework Containing a Novel Trial Solution Structure for the Transient Stability Analysis of VSGs Considering Voltage Dynamics
inferred← citeshttps://doi.org/10.1109/tr.2024.3399739openalex-snapshot
Formal Synthesis of Safety Controllers via $k$-Inductive Control Barrier Certificates
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/vlsid60093.2024.00051openalex-snapshot
Certifying Learning-Enabled Autonomous Cyber Physical Systems - A Deployment Perspective
inferred← citeshttps://doi.org/10.1145/3501710.3519511openalex-snapshot
Verifying Neural Network Controlled Systems Using Neural Networks
inferred← citeshttps://doi.org/10.1145/3641513.3651398openalex-snapshot
Fossil 2.0: Formal Certificate Synthesis for the Verification and Control of Dynamical Models
inferred← citeshttps://doi.org/10.1145/3716550.3722014openalex-snapshot
Certified Inductive Synthesis for Online Mixed-Integer Optimization
inferred← citeshttps://doi.org/10.1609/aaai.v39i1.32101openalex-snapshot
Formal Synthesis of Barrier Certificates Using Fourier Kolmogorov-Arnold Network
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.11107771openalex-snapshot
Structure-Exploiting Reinforcement Learning for Networked Systems
inferred← citeshttps://doi.org/10.23919/ccc63176.2024.10662142openalex-snapshot
Neural Lyapunov Control for Interconnected Systems with Unknown Dynamics
inferred← citeshttps://doi.org/10.23919/ecc64448.2024.10591251openalex-snapshot
Simultaneous Synthesis and Verification of Neural Control Barrier Functions Through Branch-and-Bound Verification-in-the-Loop Training
inferred← citeshttps://doi.org/10.23919/ecc65951.2025.11187188openalex-snapshot
Finding Control Invariant Sets via Lipschitz Constants of Linear Programs
inferred← citeshttps://doi.org/10.3390/math10142388openalex-snapshot
Verification of Approximate Initial-State Opacity for Control Systems via Neural Augmented Barrier Certificates
inferred← citeshttps://doi.org/10.3390/math13050848openalex-snapshot
A Learner-Refiner Framework for Barrier Certificate Generation
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.