Verification and Reachability Analysis of Fractional-Order Differential Equations Using Interval Analysis.
Andreas RauhJulia KerstenPublished in: SNR (2020)
Keyphrases
- differential equations
- fractional order
- reachability analysis
- interval analysis
- model checking
- constrained optimization
- autocalibration
- constraint propagation
- dynamical systems
- markov decision processes
- state space
- fuzzy set theory
- neural network
- machine learning
- constraint satisfaction problems
- partial differential equations