Dynamic reconfiguration of an assembly line by searching for reachability on a network of communicating automata.

Summary This paper proposes a method based on reachability search on a network of communicating automata. It is used to dynamically rebalance an assembly line when a disturbance occurs. The goal of the method is to dynamically reallocate the tasks on the workstations of this line. A network of automata is used to model the system and a solution is obtained by the trace provided by the model-checking software performing the reachability search. The method is illustrated on a case study.