Scheduling of multi-product batch plants using reachability analysis of timed automata models.

Subanatarajan Subbiah, Sebastian Panek, Sebastian Engell, Olaf Stursberg

Browse the full ICINCO paper archive.