Adaptive-Step-Size Numerical Methods in Rewriting-Logic-Based Formal Analysis of Interacting Hybrid Systems.
Muhammad FadlisyahPeter Csaba ÖlveczkyErika ÁbrahámPublished in: Electron. Notes Theor. Comput. Sci. (2011)
Keyphrases
- web services
- formal analysis
- step size
- hybrid systems
- numerical methods
- variable step size
- cost function
- convergence rate
- convergence speed
- black box
- meta learning
- soft computing
- neural network
- intelligent systems
- discrete event
- computational intelligence
- differential equations
- formal methods
- partial differential equations
- business processes
- agent model
- artificial intelligence
- knowledge representation
- image processing
- blind source separation
- wavelet coefficients
- level set method
- search algorithm