Cover Image

Certified Neural Approximations of Nonlinear Dynamics

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Mathiesen, Frederik Baymler, Vertovec, Nikolaus, Fabiano, Francesco, Laurenti, Luca, Abate, Alessandro
Format:	Preprint
Published:	2025
Subjects:	Machine Learning Systems and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation
by: Vertovec, Nikolaus, et al.
Published: (2025)

Certified Approximate Reachability (CARe): Formal Error Bounds on Deep Learning of Reachable Sets
by: Solanki, Prashant, et al.
Published: (2025)

A data-driven approach for safety quantification of non-linear stochastic systems with unknown additive noise distribution
by: Mathiesen, Frederik Baymler, et al.
Published: (2024)

Data-Driven Permissible Safe Control with Barrier Certificates
by: Mazouz, Rayan, et al.
Published: (2024)

IntervalMDP.jl: Accelerated Value Iteration for Interval Markov Decision Processes
by: Mathiesen, Frederik Baymler, et al.
Published: (2024)

StochasticBarrier.jl: A Toolbox for Stochastic Barrier Function Synthesis
by: Mazouz, Rayan, et al.
Published: (2026)

Scalable control synthesis for stochastic systems via structural IMDP abstractions
by: Mathiesen, Frederik Baymler, et al.
Published: (2024)

SPoRt -- Safe Policy Ratio: Certified Training and Deployment of Task Policies in Model-Free RL
by: Cloete, Jacques, et al.
Published: (2025)

Certifiably Robust Policies for Uncertain Parametric Environments
by: Schnitzer, Yannik, et al.
Published: (2024)

Hybrid Energy-Based Models for Physical AI: Provably Stable Identification of Port-Hamiltonian Dynamics
by: Betteti, Simone, et al.
Published: (2026)

Neural Proofs for Sound Verification and Control of Complex Systems
by: Abate, Alessandro
Published: (2025)

Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization
by: Riccardi, Alessandro, et al.
Published: (2026)

Promises of Deep Kernel Learning for Control Synthesis
by: Reed, Robert, et al.
Published: (2023)

Finite sample learning of moving targets
by: Vertovec, Nikolaus, et al.
Published: (2024)

Networked Communication for Mean-Field Games with Function Approximation and Empirical Mean-Field Estimation
by: Benjamin, Patrick, et al.
Published: (2024)

Temporal Logic Control for Nonlinear Stochastic Systems Under Unknown Disturbances
by: Gracia, Ibon, et al.
Published: (2024)

Neural Approximators for Low-Thrust Trajectory Transfer Cost and Reachability
by: Zhang, Zhong, et al.
Published: (2025)

A General Framework for Verification and Control of Dynamical Models via Certificate Synthesis
by: Edwards, Alec, et al.
Published: (2023)

Fossil 2.0: Formal Certificate Synthesis for the Verification and Control of Dynamical Models
by: Edwards, Alec, et al.
Published: (2023)

Delay-adaptive Control of Nonlinear Systems with Approximate Neural Operator Predictors
by: Bhan, Luke, et al.
Published: (2025)

Evaluating randomized smoothing as a defense against adversarial attacks in trajectory prediction
by: Schumann, Julian F., et al.
Published: (2026)

Universal Approximation Power of Deep Residual Neural Networks via Nonlinear Control Theory
by: Tabuada, Paulo, et al.
Published: (2020)

Certified Robust Invariant Polytope Training in Neural Controlled ODEs
by: Harapanahalli, Akash, et al.
Published: (2024)

Stability-Certified Learning of Control Systems with Quadratic Nonlinearities
by: Duff, Igor Pontes, et al.
Published: (2024)

Parallel Differentiable Reachability for Learning and Planning with Certified Neural Dynamics and Controllers
by: Shen, Keyi, et al.
Published: (2026)

Certifying Guidance & Control Networks: Uncertainty Propagation to an Event Manifold
by: Origer, Sebastien, et al.
Published: (2024)

Networked Communication for Decentralised Agents in Mean-Field Games
by: Benjamin, Patrick, et al.
Published: (2023)

A Nonlinear Separation Principle via Contraction Theory: Applications to Neural Networks, Control, and Learning
by: Gokhale, Anand, et al.
Published: (2026)

Neural Contraction Metrics with Formal Guarantees for Discrete-Time Nonlinear Dynamical Systems
by: Li, Haoyu, et al.
Published: (2025)

Learning Subsystem Dynamics in Nonlinear Systems via Port-Hamiltonian Neural Networks
by: van Otterdijk, G. J. E., et al.
Published: (2024)

Safe Reach Set Computation via Neural Barrier Certificates
by: Abate, Alessandro, et al.
Published: (2024)

Efficiency through Uncertainty: Scalable Formal Synthesis for Stochastic Hybrid Systems
by: Cauchi, Nathalie, et al.
Published: (2019)

Robustly Invertible Nonlinear Dynamics and the BiLipREN: Contracting Neural Models with Contracting Inverses
by: Zhang, Yurui, et al.
Published: (2025)

RobustNeuralNetworks.jl: a Package for Machine Learning and Data-Driven Control with Certified Robustness
by: Barbara, Nicholas H., et al.
Published: (2023)

Safe and Robust Domains of Attraction for Discrete-Time Systems: A Set-Based Characterization and Certifiable Neural Network Estimation
by: Serry, Mohamed, et al.
Published: (2026)

Real-Time Safe Control of Neural Network Dynamic Models with Sound Approximation
by: Hu, Hanjiang, et al.
Published: (2024)

Learning to Boost the Performance of Stable Nonlinear Systems
by: Furieri, Luca, et al.
Published: (2024)

Quantitative Flow Approximation Properties of Narrow Neural ODEs
by: Elamvazhuthi, Karthik
Published: (2025)

Neural Operators for Predictor Feedback Control of Nonlinear Delay Systems
by: Bhan, Luke, et al.
Published: (2024)

Correctness Verification of Neural Networks Approximating Differential Equations
by: Ellinas, Petros, et al.
Published: (2024)