A Robust Finite-Time Converse Theorem for Inductive Safety Certificates of Ordinary Differential Equations.

Stefan Ratschan

Published in: CoRR (2017)

Keyphrases

ordinary differential equations
differential equations
dynamic systems
phase space
machine learning
numerical solution
mathematical models
numerical integration
multi agent
image analysis
genetic regulatory networks