Modeling and verification of stochastic hybrid systems using HIOA: a case study on DNA replication.

Konstantinos Koutroumpas John Lygeros

Published in: HSCC (2010)

Keyphrases

hybrid systems
black box
intelligent systems
discrete event
meta learning
soft computing
case study
computational intelligence
neural network
artificial intelligence
distributed databases
multi agent systems
evolutionary algorithm
state space
dynamic systems
inductive learning