Skip to main content
SpringerLink
Log in

Closed-loop control of constrained discrete event systems: application to a networked automation system

  • ORIGINAL ARTICLE
  • Published:
The International Journal of Advanced Manufacturing Technology Aims and scope Submit manuscript

Abstract

In this paper, we are interested in the design of closed-loop control laws to satisfy a set of temporal constraints in discrete event systems modeled by timed event graphs (TEGs). The dynamic behavior of the TEG is represented by a system of linear equations in Max-Plus algebra. Temporal constraints are imposed on some paths of the TEG and are expressed by a set of Max-Plus linear inequalities. The proposed approach is applied to the control of a networked automation producer/consumer system under a temporal constraint. The temporal constraint to be satisfied is imposed on the response time of the considered networked automation system (NAS). The calculated control laws are causal feedbacks and can be represented by monitor places connected to the NAS model.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Addad B, Amari S, Lesage J-J (2010) Analytic calculus of response time in networked automation. IEEE Trans Autom Sci Eng 7(4):858–869

    Article  Google Scholar 

  2. Amari S, Demongodin I, Loiseau J-J (2004). In: Dolgui A, Soldek J, Zaikin O (eds) Sizing, cycle time and plant control using dioid algebra, Chapter 6 in Supply Chain Optimization, Series Applied Optimization. Springer, pp 71–85

  3. Amari S, Demongodin I, Loiseau J-J, Martinez C (2012) Max-Plus control design for temporal constraints meeting in timed event graphs. IEEE Trans Autom Control 57(2):462–467

    Article  MathSciNet  Google Scholar 

  4. Atto AM, Martinez C, Amari S (2011) Control of discrete event systems with respect to strict duration: supervision of an industrial manufacturing plant, computers and industrial engineering. Elsevier 61(4):1149–1159

    Google Scholar 

  5. Baccelli F, Cohen G, Olsder GJ, Quadrat J.-P. (1992) Synchronization and Linearity: An algebra for Discrete Event Systems. Wiley

  6. Baccelli F, Cohen G, Gaujal B (1992) Recursive equations and basic properties of timed Petri nets. Discrete Event Dynamic Systems: Theory and Applications l(4):145–439

  7. Bonhomme P (2011) Constraints graph based approach for the analysis and the control of time critical systems. Int J Adv Manuf Technol 57(1):353–365

    Article  Google Scholar 

  8. Cottenceau B, Hardouin L, Boimond JL, Ferrier JL (1999) Synthesis of greatest linear feedback for timed event graphs in dioid. IEEE Trans Autom Control 44(6):1258–1262

    Article  MathSciNet  MATH  Google Scholar 

  9. Dasarathy B (1985) Timing constraints of real-time systems: constructs for expressing them, methods for validating them. IEEE Trans Softw Eng 11(1):80–86

    Article  Google Scholar 

  10. Diouri I, Georges J-P, Rondeau E (2007) Accommodation of delays for networked control systems using classification of service. IEEE Int Conf Netw Sensing and Control London:410–415

  11. Cena G, Cibrario Bertolotti I, Valenzano A, Zunino C (2007) Evaluation of response times in industrial WLANs. IEEE Trans Ind Inf 3(3):191–201

  12. Greifeneder J, Liu L, Frey G (2008) Comparing simulative and formal methods for the analysis of response times in networked automation systems. IFAC World Congress Korea South 17(1):5113–5118

    Google Scholar 

  13. Houssin L, Lahaye S, Boimond JL (2007) Just in time control of constrained (max, +)-linear systems: Discrete Event Dynamic Systems, vol 17

  14. Houssin L, Lahaye S, Boimond JL (2013) Control of (max,+)-linear systems minimizing delays, Discrete Event Dynamic Systems, Springer Verlag, vol 23

  15. Kalappa N, Acton K, Antolovic M, Mantri S, Parrott J, Luntz J, Moyne William Tilbury D (2006) Experimental Determination of Real Time Peer to Peer Communication Characteristics of EtherNet/IP. In: 11th IEEE International Conference on Emerging Technologies and Factory Automation, Prague, pp 1061–1064

  16. Kim C, Lee T (2016) Feedback control of cluster Tools for regulating wafer delays. IEEE Trans Autom Sci Eng 13 (2):1189– 1199

    Article  Google Scholar 

  17. Lahaye S, Cottenceau B, Correa A. (2004) Commande de graphes d’évnements temporisés avec contraintes de temps critique. In: Conférence internationale d’Automatique francophone CIFA, Tunisie

  18. Lee KC, Lee S (2002) Performance evaluation of switched Ethernet for real-time industrial communications. Comput Standards Interfaces 5(24):411–423

    Article  Google Scholar 

  19. Maia CA, Andrade CR, Hardouin L (2011) On the control of max- plus linear system subject to state restriction Automatica, vol 47

  20. Marsal G, Denis B, Faure J-M, Frey G (2006) Evaluation of Response Time in Ethernet-based Automation Systems. In: 11th IEEE International Conference on Emerging Technologies and Factory Automation, Prague ETFA, Czech Republic

  21. Murata T (1989) Petri nets: properties, analysis and application. Proc IEEE 77(4):541–580

    Article  Google Scholar 

  22. Ruel S, de Smet O, Faure J-M (2008) Building effective formal models to prove time properties of networked automation systems. In: 9th International Workshop On Discrete Event Systems, WODES’08, Goteborg (Sweden), pp. 334–339

  23. Petri CA (1962) Communication with Automata, Ph.D Dissertation, University of Bonn, Bonn, West Germany

  24. Wang Y, De Schutter B, van den Boom TJJ, Ning B (2013) Optimal trajectory planning for trains—a pseudospectral method and a mixed integer linear programming approach. Transp Res C 29:97–114

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. L2CSP, Laboratoire de Conception et Conduite des Systèmes de Production, Université Mouloud Mammeri de Tizi-Ouzou, Tizi-Ouzou, Algeria

    K. Tebani & R. Kara

  2. CDTA, Centre de Développement des Technologies Avancées d’Alger, Baba Hassen, Algeria

    K. Tebani

  3. LURPA, ENS Cachan, Université Paris-Sud, Université Paris-Saclay, Cachan, France

    S. Amari

Authors
  1. K. Tebani
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. S. Amari
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. R. Kara
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to K. Tebani.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Tebani, K., Amari, S. & Kara, R. Closed-loop control of constrained discrete event systems: application to a networked automation system. Int J Adv Manuf Technol 90, 1295–1306 (2017). https://doi.org/10.1007/s00170-016-9466-7

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00170-016-9466-7

Keywords

Search

Navigation