Timed automata based scheduling for a miniature pipeless plant with mobile robots

Author

Schoppmeyer, Christian ; Hufner, Martin ; Subbiah, Sathyan ; Engell, Sebastian

Author_Institution

Dept. of Biochem. & Chem. Eng., Tech. Univ. Dortmund, Dortmund, Germany

fYear

2012

fDate

3-5 Oct. 2012

Firstpage

240

Lastpage

245

Abstract

In this contribution we present a conceptual idea on modeling a scheduling problem in a miniature pipeless plant with mobile robots by timed automata (TA) and solving it using reachability analysis. Two TA-based tools, TAOpt and UPPAAL, are evaluated on the miniature pipeless plant, and on job shop benchmark instances from the OR literature. The comparative study shows that the proposed modeling approach handles the crucial constraints of the miniature pipeless plant in an effective and straightforward way.

Keywords

batch processing (industrial); chemical engineering; chemical industry; finite automata; industrial plants; job shop scheduling; mobile robots; production planning; reachability analysis; OR literature; TA-based tools; TAOpt; UPPAAL; flexible manufacturing environments; intelligent decision-support systems; job shop benchmark instances; job shop scheduling problems; miniature pipeless plant; mobile robots; multiproduct batch plant planning; multiproduct batch plant scheduling; reachability analysis; timed automata based scheduling; Art; Automata; Clocks; Computational modeling; Filling; Job shop scheduling; Reachability analysis;

fLanguage

English

Publisher

ieee

Conference_Titel

Control Applications (CCA), 2012 IEEE International Conference on

Conference_Location

Dubrovnik

ISSN

1085-1992

Print_ISBN

978-1-4673-4503-3

Electronic_ISBN

1085-1992

Type

conf

DOI

10.1109/CCA.2012.6402419

Filename

6402419