Production scheduling by reachability analysis - A case study

Proceedings - 19th IEEE International Parallel and Distributed Processing Symposium, IPDPS 2005

Volumn 2005, Issue , 2005, Pages

  Behrmann, Gerd ^a   Brinksma, Ed ^b   Hendriks, Martijn ^c   Mader, Angelika ^b  

^a AALBORG UNIVERSITY   (Denmark)

^b UNIVERSITY OF TWENTE   (Netherlands)

^c RADBOUD UNIVERSITY NIJMEGEN   (Netherlands)

Author keywords

Cost optimization; Industrial case study; Model checking; Scheduling

Indexed keywords

AUTOMATON; LACQUER PRODUCTION; PRODUCTION SCHEDULING; REACHABILITY ANALYSIS; TIMED AUTOMATA;

AUTOMATA THEORY; COMPUTER SIMULATION; INFORMATION THEORY; PROBLEM SOLVING; SCHEDULING;

PRODUCTION CONTROL;

EID: 33746275265     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/IPDPS.2005.363     Document Type: Conference Paper

References (0)