Discrete Event Dynamic Systems

, Volume 26, Issue 4, pp 583–610 | Cite as

On-line compositional controller synthesis for AGV

  • Johan Girault
  • Jean-Jacques Loiseau
  • Olivier H. Roux


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.


Finite automata Control Automated guided vehicle Supervisory control On-line synthesis 



This paper is an extended version of Girault et al. (2013) and was selected by the conference MSR’13 for this submission to the journal DEDS.


  1. Arnaud Y, Cury JER, Loiseau JJ, Martinez C (2009) Pilotage sûr et optimal d’une flotte de véhicules autoguidés. In: JD-JN-MACS 2009. Angers, FranceGoogle Scholar
  2. Breton L, Maza S, Castagna P (2006) A multi-agent based conflict-free routing approach of bi-directional automated guided vehicles. In: American Control Conference, 2006Google Scholar
  3. Cai K, Wonham WM (2010) Supervisor localization: A top-down approach to distributed control of discrete-event systems. IEEE Trans Autom Control 55(3):605–618. doi: 10.1109/TAC.2009.2039237 MathSciNetCrossRefGoogle Scholar
  4. Cassandras CG, Lafortune S (2006) Introduction to Discrete Event Systems. Springer-Verlag New York, Inc., SecaucusMATHGoogle Scholar
  5. Clarke EM, Emerson EA, Sistla AP (1986) Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Trans Program Lang Syst 8(2):244–263. doi: 10.1145/5397.5399 CrossRefMATHGoogle Scholar
  6. Flordal H, Malik R, Fabian M, Åkesson K (2007) Compositional synthesis of maximally permissive supervisors using supervision equivalence. Discrete Event Dynamic Systems 17(4):475–504. doi: 10.1007/s10626-007-0018-z MathSciNetCrossRefMATHGoogle Scholar
  7. Girault J, Loiseau JJ, Roux OH (2013) Synthèse en ligne de superviseur compositionnel pour flotte de robots mobiles. In: European Journal of Automation, MSR’13, vol 47/1-3, pp 195–210Google Scholar
  8. Hill RC, Tilbury DM (2006) Modular supervisory control of discrete-event systems with abstraction and incremental hierarchical construction. In: 2006 8th International Workshop on Discrete Event Systems, pp 399–406. doi: 10.1109/WODES.2006.382507, (to appear in print)
  9. Komenda J, Van Schuppen J, Gaudin B, Marchand H (2008) Supervisory control of modular systems with global specification languages. Automatica 44:1127–1134. doi: 10.1016/j.automatica.2007.09.004 MathSciNetCrossRefMATHGoogle Scholar
  10. Krogh BH, Holloway LE (1991) Synthesis of feedback control logic for discrete manufacturing systems. Automatica 27(4):641–651CrossRefGoogle Scholar
  11. Malik R, Flordal H (2008) Yet another approach to compositional synthesis of discrete event systems. In: 9th International Workshop on Discrete Event Systems, 2008. WODES 2008. pp 16–21. doi: 10.1109/WODES.2008.4605916, (to appear in print)
  12. Maza S (2003) Analyse du comportement d’un système de transport par chariot bidirectionnels en vue de sa commande. PhD thesis, Université de NantesGoogle Scholar
  13. Mohajerani S, Malik R, Ware S, Fabian M (2011) Compositional synthesis of discrete event systems using synthesis abstraction. In: 2011 Chinese Control and Decision Conference (CCDC), pp 1549–1554. doi: 10.1109/CCDC.2011.5968439, (to appear in print)
  14. Queiroz MHD, Cury JER (2000) Modular supervisory control of large scale discrete event systems. In: Proceedings of the WODES’00 International Workshop on Discrete Event Systems: Analysis and Control. Kluwer Academic, pp 103–110Google Scholar
  15. Ramadge PJ, Wonham WM (1987) Supervisory control of a class of discrete event processes. SIAM J Control Optim 25(1):206–230MathSciNetCrossRefMATHGoogle Scholar
  16. Ramadge PJ, Wonham WM (1989) The control of discrete event systems. Proc IEEE 77(1):81–98MathSciNetCrossRefMATHGoogle Scholar
  17. Reveliotis SA (2000) Conflict resolution in agv systems. IIE Trans 32:200–0Google Scholar
  18. Wonham WM, Ramadge PJ (1984) On the supremal controllable sublanguage of a given language. In: The 23rd IEEE Conference on Decision and Control, 1984, vol 23, pp 1073–1080Google Scholar
  19. Wonham WM, Ramadge PJ (1988) Modular supervisory control of discrete-event systems. Mathematics of Control, Signals and Systems 1(1):13–30MathSciNetCrossRefMATHGoogle Scholar

Copyright information

© Springer Science+Business Media New York 2015

Authors and Affiliations

  • Johan Girault
    • 1
    • 2
  • Jean-Jacques Loiseau
    • 1
  • Olivier H. Roux
    • 1
  1. 1.Ecole Centrale de NantesUMR CNRS 6597, IRCCyNNantesFrance
  2. 2.BA SystèmesMordellesFrance

Personalised recommendations