Stability and reachability analysis of a hybrid model of luminescence in the marine bacterium Vibrio fischeri.
Calin BeltaJonathan SchugThao DangVijay KumarGeorge J. PappasHarvey RubinPaul DunlapPublished in: CDC (2001)
Keyphrases
- hybrid model
- reachability analysis
- model checking
- markov decision processes
- artificial neural networks
- timed automata
- support vector regression
- hybrid models
- back propagation neural network
- support vector machine svm
- incremental algorithms
- state space
- support vector machine
- real time
- k nearest neighbor
- search algorithm
- support vector
- training data
- feature selection
- data sets