Login / Signup
Scheduling of multi-product batch plants using reachability analysis of timed automata models.
Subanatarajan Subbiah
Sebastian Panek
Sebastian Engell
Olaf Stursberg
Published in:
ICINCO-ICSO (2007)
Keyphrases
</>
reachability analysis
timed automata
model checking
markov decision processes
real time systems
real time
first order logic
life cycle
artificial intelligence
scheduling problem
linear programming
theorem prover
incremental algorithms