Advertisement

Discrete Event Dynamic Systems

, Volume 17, Issue 2, pp 179–209 | Cite as

An Efficient Modular Method for the Control of Concurrent Discrete Event Systems: A Language-based Approach

  • Benoit Gaudin
  • Hervé Merchand
Article

Abstract

In this paper, we are interested in the control of a particular class of Concurrent Discrete Event Systems defined by a collection of components that interact with each other. We investigate the computation of the supremal controllable language contained in the language of the specification. We do not adopt the decentralized approach. Instead, we have chosen to use a modular centralized approach and to perform the control on some approximations of the plant derived from the behavior of each component. The behavior of these approximations is restricted so that they respect a new language property for discrete event systems called partial controllability condition that depends on the specification. It is shown that, under some assumptions, the intersection of these “controlled approximations” corresponds to the supremal controllable language contained in the specification with respect to the plant. This computation is performed without having to build the whole plant, hence avoiding the state space explosion induced by the concurrent nature of the plant. It is finally shown that the class of specifications on which our method can be applied strictly subsumes the class of separable specifications.

Keywords

Discrete event systems Supervisory control problem Concurrent finite state machines Partial controllability 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Abdelwahed S, Wonham W (2002) Supervisory control of interacting discrete event systems. In: 41th IEEE Conference on Decision and Control, Las Vegas, USA. pp. 1175–1180, DecemberGoogle Scholar
  2. Akesson K, Flordal H, Fabian M (2002) Exploiting modularity for synthesis and verification of supervisors. In: Proceedings of the IFAC, Barcelona, Spain, JulyGoogle Scholar
  3. Brandin B, Malik R, Dietrich P (2000) Incremental system verification and synthesis of minimally restrictive behaviours. In: Proceedings of the American Control Conference, Chicago, Illinois, pp. 4056–4061, JuneGoogle Scholar
  4. Bryant RE (1992) Symbolic boolean manipulation with ordered binary-decision diagrams. ACM Comput Surveys 293–318, SeptemberGoogle Scholar
  5. Cassandras C, Lafortune S (1999) Introduction to Discrete Event Systems. Norwell, MA: Kluwer.MATHGoogle Scholar
  6. Cieslak R, Desclaux C, Fawaz A, Varaiya P (1988) Supervisory control of discrete—event processes with partial observations. IEEE Trans Autom Control 33(3):249–260, MarchMATHCrossRefGoogle Scholar
  7. de Queiroz MH, Cury JER (2000) Modular control of composed systems. In: Proceedings of the American Control Conference, Chicago, Illinois. pp. 4051–4055, JuneGoogle Scholar
  8. de Queiroz MH, Cury JER (2000) Modular supervisory control of large scale discrete-event systems. In: Proceedings of 5th Workshop on Discrete Event Systems, WODES 2000, Ghent, Belgium, AugustGoogle Scholar
  9. Gaudin B (2004) Synthèse De Contrôleurs Sur Des Systèmes à événements Discrets Structurés. Ph.D. Thesis, Université de Rennes 1, NovemberGoogle Scholar
  10. Gaudin B, Marchand H (2004a) Modular supervisory control of a class of concurrent discrete event systems. In: Procedings of 7th Workshop on Discrete Event Systems, WODES’04, SeptemberGoogle Scholar
  11. Gaudin B, Marchand H (2004b) Supervisory Control of Concurrent Discrete Event Systems. Research Rep. 1593, IRISA, February 2004. available at http://www.irisa.fr/vertecs/Publis/Ps/1593.ps, February
  12. Gaudin B, Marchand H (2004c) Supervisory control of product and hierarchical discrete event systems. Eur J Control 10(2)Google Scholar
  13. Gaudin B, Marchand H (2005) Efficient computation of supervisors for loosely synchronous discrete event systems: A state-based approach. In: 6th IFAC World Congress, Prague, Czech Republic, JulyGoogle Scholar
  14. Gunnarsson J (1997) Symbolic Methods and Tools for Discrete Event Dynamic Systems. Ph.D. Thesis, Linköping UniversityGoogle Scholar
  15. Hoffmann G, Wong-Toi H (1992) Symbolic synthesis of supervisory controllers. In: Proceedings of 1992 American control Conference, Chicago, IL, pp. 2789–2793Google Scholar
  16. Holloway LE, Krogh B (1990) Synthesis of feedback control logic for a class of controlled Petri nets. IEEE Trans Autom Control 35(5):514–523, MayMATHCrossRefMathSciNetGoogle Scholar
  17. Jiang S, Kumar R (2000) Decentralized control of discrete event systems with specializations to local control and concurrent systems. IEEE Trans Syst Man Cyber Part B 30(5):653–660CrossRefGoogle Scholar
  18. Leduc RJ, Brandin BA, Wonham WM, Lawford M (2001) Hierarchical interface-based supervisory control: serial case. In: Proceedings of 40th Conf. Decision Contr, pp. 4116–4121, DecemberGoogle Scholar
  19. Lee S-H, Wong KC (2002) Structural decentralized control of concurrent discrete-event systems. Eur J Control 8(5)Google Scholar
  20. Ma C (2004) Non Blocking Supervisory Control of State Tree Structures. Ph.D. Thesis. University of Toronto, FebruaryGoogle Scholar
  21. Marchand H, Bournai P, Le Borgne M, Le Guernic P (2000) Synthesis of discrete-event controllers based on the signal environment. Dis Event Dynamic Syst Theory Appl 10(4):347–368, OctoberCrossRefGoogle Scholar
  22. Papadimitriou Ch (1994) Computational Complexity. MA: Addison-Wesley ReadingMATHGoogle Scholar
  23. Rohloff K, Lafortune S (2003) The control and verification of similar agents operating in a broadcast network environment. In: 42nd IEEE Conference on Decision and Control, Hawaii, USA, DecemberGoogle Scholar
  24. Rudie K, Wonham WM (1992) Think globally, act locally: Decentralized supervisory control. IEEE Trans Autom Control 31(11): 1692–1708, NovemberCrossRefMathSciNetGoogle Scholar
  25. Vahidi A, Lennarston B, Fabian M (2004) Efficient supervisory synthesis of large systems. In: Proceedings of 7th Workshop on Discrete Event Systems, WODES’04, SeptemberGoogle Scholar
  26. Willner Y, Heymann M (1991) Supervisory control of concurrent discrete-event systems. Int J Control 54(5): 1143–1169MATHMathSciNetGoogle Scholar
  27. Wonham WM (2003) Notes on control of discrete-event systems. Technical Rep. ECE 1636F/1637S. Department of Electrical and Computer Engineering Univertsity of Toronto, JulyGoogle Scholar
  28. Wonham WM, Ramadge PJ (1988) Modular supervisory control of discrete event systems. Math Control Signals Syst 1:13–30MATHCrossRefMathSciNetGoogle Scholar
  29. Yoo T, Lafortune S (2000) A general architecture for decentralized supervisory control of discrete-event systems. In: Proceedings of 5th Workshop on Discrete Event Systems, WODES 2000, Ghent, Belgium, AugustGoogle Scholar

Copyright information

© Springer Science+Business Media, LLC 2007

Authors and Affiliations

  1. 1.UCDcampus de BelfieldDublin 4Ireland
  2. 2.IRISA-Inria RennesCampus Univ. de BeaulieuRennesFrance

Personalised recommendations