Operations scheduling in batch chemical plants with timed automata.

Jeh-Hsuan Li Wei-Chun Hsieh Chuei-Tin Chang

Published in: MED (2017)

Keyphrases

timed automata
model checking
batch processing
wafer fabrication
theorem prover
reachability analysis
scheduling problem
scheduling algorithm
data sets
first order logic
temporal logic
round robin
resource allocation
dynamic scheduling
precedence relations
real time systems
neural network