On-line compositional controller synthesis for AGV

摘要

This paper deals with the on-line design of a supervisor to coordinate an automated guided vehicle (AGV) fleet. This supervisor ensures the system safety (no collision) and a good coordination between vehicles (no blocking situations). It is the so-called Wonham-Ramadge supervisor, it is the least restrictive, and ensures controllability and nonblocking. We propose a compositional procedure to resolve this problem allowing an efficient on-line synthesis. A calculation on the fly is made at every attribution of a new mission for an AGV, to actualize the supervisor and adapt it to the new situation. This compositional approach allows to increase the number of AGV taken on compared to the monolithic approach. We show on some tests the efficiency of this method for the on-line synthesis of supervisor to coordinate a fleet of mobile robots for real cases.