Computational Methods for Verification of Stochastic Hybrid Systems.
Xenofon D. KoutsoukosDerek RileyPublished in: IEEE Trans. Syst. Man Cybern. Part A (2008)
Keyphrases
- computational methods
- hybrid systems
- discrete event
- intelligent systems
- black box
- neural network
- soft computing
- meta learning
- computational intelligence
- dynamic systems
- artificial intelligence
- statistical methods
- simulation model
- computational approaches
- protein protein interactions
- evolutionary algorithm
- computational tools
- inductive learning
- databases
- workflow systems
- learning algorithm
- statistical models
- machine learning algorithms