Documents disponibles écrits par cet auteur

An intuitive and efficient approach to process scheduling with sequence-dependent changeovers using timed automata models / Subanatarajan Subbiah in Industrial & engineering chemistry research, Vol. 50 N° 9 (Mai 2011) 

Public ISBD [article]  in Industrial & engineering chemistry research > Vol. 50 N° 9 (Mai 2011) . - pp. 5131–5152 Titre : An intuitive and efficient approach to process scheduling with sequence-dependent changeovers using timed automata models Type de document : texte imprimé Auteurs : Subanatarajan Subbiah, Auteur ; Christian Schoppmeyer, Auteur ; Sebastian Engell, Auteur Année de publication : 2011 Article en page(s) : pp. 5131–5152 Note générale : Chimie industrielle Langues : Anglais (eng) Mots-clés : Modeling  Scheduling Résumé : In the process industries where multiple products have to be produced in the batch mode, the optimal assignment of the operations to the available resources and their sequencing can contribute considerably to economic success. Among the several methods proposed to model and solve batch scheduling problems, techniques based on a reachability analysis of timed automata (TA) models have gained attention recently. The appeal of the approach is the modular, intuitive, and straightforward graphical modeling of complex scheduling problems, and an efficient solution technique based upon reachability algorithms. In this contribution, we present an introduction to the TA-based approach to scheduling and specifically address the problem of batch scheduling with sequence-dependent setup and changeover times. In the TA-based approach, the resources, recipes, and additional timing constraints are modeled independently as sets of (priced) timed automata. The sets of individual automata are synchronized by means of synchronization labels and are composed by parallel composition to form a global automaton. A cost-optimal symbolic reachability analysis is performed on the composed automaton to derive schedules with the objective of minimizing makespan. The TA models of the recipes are extended here to include setup times as well as sequence-dependent changeovers. The performance of the approach to model and to solve real-world scheduling problems with sequence-dependent changeovers is demonstrated for two different case studies. A comparative study on the TA-based approach with various MILP formulations is performed on a famous case study from the literature, and the results are discussed. DEWEY : 660 ISSN : 0888-5885 En ligne : http://cat.inist.fr/?aModele=afficheN&cpsidt=24128638 [article] An intuitive and efficient approach to process scheduling with sequence-dependent changeovers using timed automata models [texte imprimé] / Subanatarajan Subbiah, Auteur ; Christian Schoppmeyer, Auteur ; Sebastian Engell, Auteur . - 2011 . - pp. 5131–5152. Chimie industrielle Langues : Anglais (eng) in Industrial & engineering chemistry research > Vol. 50 N° 9 (Mai 2011) . - pp. 5131–5152 Mots-clés : Modeling  Scheduling Résumé : In the process industries where multiple products have to be produced in the batch mode, the optimal assignment of the operations to the available resources and their sequencing can contribute considerably to economic success. Among the several methods proposed to model and solve batch scheduling problems, techniques based on a reachability analysis of timed automata (TA) models have gained attention recently. The appeal of the approach is the modular, intuitive, and straightforward graphical modeling of complex scheduling problems, and an efficient solution technique based upon reachability algorithms. In this contribution, we present an introduction to the TA-based approach to scheduling and specifically address the problem of batch scheduling with sequence-dependent setup and changeover times. In the TA-based approach, the resources, recipes, and additional timing constraints are modeled independently as sets of (priced) timed automata. The sets of individual automata are synchronized by means of synchronization labels and are composed by parallel composition to form a global automaton. A cost-optimal symbolic reachability analysis is performed on the composed automaton to derive schedules with the objective of minimizing makespan. The TA models of the recipes are extended here to include setup times as well as sequence-dependent changeovers. The performance of the approach to model and to solve real-world scheduling problems with sequence-dependent changeovers is demonstrated for two different case studies. A comparative study on the TA-based approach with various MILP formulations is performed on a famous case study from the literature, and the results are discussed. DEWEY : 660 ISSN : 0888-5885 En ligne : http://cat.inist.fr/?aModele=afficheN&cpsidt=24128638