Login / Signup

Ellipsoidal Enclosure Techniques for a Verified Simulation of Initial Value Problems for Ordinary Differential Equations.

Andreas RauhAuguste BourgoisLuc JaulinJulia Kersten
Published in: ICCAD (2021)
Keyphrases
  • ordinary differential equations
  • dynamic systems
  • differential equations
  • neural network
  • artificial intelligence
  • state space
  • dimensionality reduction
  • complex systems
  • numerical methods
  • gene regulatory networks