Reachability analysis of particle size distribution in semibatch emulsion polymerization.

Yang Wang Francis J. Doyle

Published in: ECC (2003)

Keyphrases

reachability analysis
markov decision processes
model checking
incremental algorithms
timed automata
probability distribution
state space
knowledge base
search algorithm
data distribution