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

Subanatarajan Subbiah Sebastian Panek Sebastian Engell Olaf Stursberg Scheduling of multi-product batch plants using reachability analysis of timed automata models. 141-148 2007 conf/icinco/2007icso ICINCO-ICSO db/conf/icinco/icinco2007-icso.html#SubbiahPES07