Skip to main content
SpringerLink
Log in

An algebraic control method to guarantee generalized marking constraints for partially observable timed event graphs

  • Published:
Discrete Event Dynamic Systems Aims and scope Submit manuscript

Abstract

This work deals with the control problem of Discrete Event Systems (DESs) modelled by Timed Event Graphs (TEGs) and subject to Generalized Marking Constraints (GMCs). The aim of this paper is to propose an algebraic methodology for the determination of control laws in the form of state feedback, guaranteeing the satisfaction of marking specifications expressed by weighted inequalities in the Min-Plus algebra. The resultant controller can be represented by marked and timed control places, connected to the initial TEG model. The role of the established feedback is to limit the number of tokens in weighted paths for partially observable TEGs. In order to illustrate and show the interest of these current studies, we applied the suggested control method to a machine of filling bottles with liquid.

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

Fig. 1
Fig. 2
Fig. 3
Fig. 4
Fig. 5

Similar content being viewed by others

Data availability

All data used to support the findings of this study are included within the manuscript.

References

  • Atli M, Adjallah K, Achour Z, Sava A, Rezg N (2011) Supervisory control of timed-place marked graph based on Marking Exclusion Constraint. IEEE International Conference on Communications, Computing and Control Applications(CCCA’11), Tunis, Tunisia 1–8 

  • 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

    Article  Google Scholar 

  • Baccelli F, Cohen G, Olsder G, Quadrat J (1992) Synchronization and Linearity: An algebra for Discrete Event Systems. Wiley 2: New York

  • Basile F, Cordone R, Piroddi L (2021) Supervisory control of timed discrete event systems with logical and timed specifications. IEEE Trans Autom Control 67(6):2800–2815

  • Candido RMF, Hardouin L, Lhommeau M, Santos-Mendes R (2018) Conditional reachability of uncertain Max-Plus linear systems. Au- Tomatica 94(9):426–435

    MathSciNet  Google Scholar 

  • Cassandras CG, Lafortune S (2009) Introduction to Discrete Event Systems (2nd Edition). Springer Science & Business Media, New York: USA

  • Cottenceau B, Hardouin L, Boimond JL (2013) Modeling and control for balanced timed and weighted event graphs in dioid. IEEE Trans Autom Control 59(5):1219–1231

    Article  Google Scholar 

  • Espindola-Winck G, Hardouin L, Lhommeau M, Santos-Mendes R (2022) Stochastic filtering scheme of implicit forms of uncertain Max-Plus linear systems. IEEE Trans Autom Control 67(8):4370–4376

    Article  MathSciNet  Google Scholar 

  • Giua A, DiCesare F, Silva M (1992) Generalized mutual exclusion constraints on Petri nets with uncontrollable transitions. In Proceedi- Ngs IEEE International Conference on Systems Man and Cybernetics 2:974–979

    Google Scholar 

  • Houssin L, Lahaye S, Boimond JL (2013) Control of (max,+)-linear systems minimizing delays. Discrete Event Dynamic Systems, Springer Verlag 23(3):261–276

    Article  MathSciNet  Google Scholar 

  • Iordache MV, Antsaklis PJ (2006) Supervision Based on Place Invariants: A Survey. Discrete Event Dynamic Systems 16:451–492

    Article  MathSciNet  Google Scholar 

  • Jacob R, Amari S (2017) Output Feedback Control of Discrete Processes under Time Constraint: Application to Cluster Tools. Internati- Onal Journal of Computer Integrated Manufacturing 30(8):880–894

    Article  Google Scholar 

  • Katz R (2007) Max-Plus (A, B)-invariant spaces and control of timed discrete-event systems. IEEE Trans Autom Control 52(2):229–241

    Article  MathSciNet  Google Scholar 

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

    Article  Google Scholar 

  • Li L, Basile F, Li Z (2019) An approach to improve permissiveness of supervisors for GMECs in time Petri net systems. IEEE Trans Autom Control 65(1):237–251

    Article  MathSciNet  Google Scholar 

  • Li L, Basile F, Li Z (2020) Closed-Loop Deadlock-Free Supervision for GMECs in Time Petri Net Systems. IEEE Trans Autom Control 66(11):5326–5341

    Article  MathSciNet  Google Scholar 

  • Li L, Basile F, Wang J (2021) An approach for enforcing a class of GMECs on time Petri net with uncontrollable transitions. Inf Sci 580:897–916

    Article  MathSciNet  Google Scholar 

  • Ma ZY, Li ZW, Giua A (2016) Petri Net Controllers for Generalized Mutual Exclusion Constraints with Floor Operators. Automatica 74:238–246

    Article  MathSciNet  Google Scholar 

  • Maia CA, Andrade CR, Hardouin L (2011) On the control of Max-Plus linear system subject to state restriction. Automatica 47(5):988–992

    Article  MathSciNet  Google Scholar 

  • Maia CA, Andrade CR, Hardouin L, Cury JER (2013) Some results on the feedback control of Max-Plus linear systems under state constraints. In: Decision and Control (CDC) IEEE 52nd Annual Conference: 6992–6997

  • Mendes RS, Hardouin L, Lhommeau M (2019) Stochastic filtering of Max-Plus linear systems with bounded disturbances. IEEE Trans Autom Control 64(9):3706–3715

    Article  MathSciNet  Google Scholar 

  • Murata T (1989) Petri nets Properties analysis and applications. Proc IEEE 77(4):541–580

    Article  Google Scholar 

  • Ramchandani C (1973) Analysis of asynchronous concurrent systems by timed Petru nets. PhD thesis, Massachusetts Institute of Technology, Cambridge, MA. https://hdl.handle.net/1721.1/149425

  • Sifakis J (1980) Performance evaluation of systems using nets. Net Theory and Applications 84:307–319

    Article  MathSciNet  Google Scholar 

  • Sifakis J (1977) Use of Petri nets for performance evaluation. Conference Measuring, Modelling and Evaluating Computer Systems, Proceedings of the third International Symposium, Bonn-Bad Godesberg, Germany 3–5

  • Silva M (2018) On the history of Discrete Event Systems. Annu Rev Control 45:213–222

    Article  MathSciNet  Google Scholar 

  • Špaček P, Komenda J, Lahaye S (2021) Analysis of P-time event graphs in (max,+) and (min,+) semirings. Int J Syst Sci 52(4):694–709

    Article  Google Scholar 

  • Tebani K, Amari S (2021) Min-Plus realizable control design for partially observable timed event graphs under marking constraints. Eur J Control 57:33–40

    Article  MathSciNet  Google Scholar 

  • Tebani K, Amari S, Kara R (2019) State Feedback Control for a class of Timed Petri Nets subject to marking constraints. Asian Journal of Control 21(3):1–18

    MathSciNet  Google Scholar 

  • Yamalidou K, Moody J, Lemmon M, Antsaklis P (1996) Feedback control Petri net based on place Invariant. Automatica 32(1):15–28

    Article  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. National Engineering School of Sfax, Sfax, Tunisia

    Jihene Rajah, Maher Barkallah & Mohamed Haddar

  2. LURPA, ENS Paris Saclay, Sorbonne Paris Nord University, Paris, France

    Said Amari

Authors
  1. Jihene Rajah
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Said Amari
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Maher Barkallah
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Mohamed Haddar
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Jihene Rajah.

Ethics declarations

Conflict of interest

The authors declare that they have no conflict of interest.

Additional information

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Rajah, J., Amari, S., Barkallah, M. et al. An algebraic control method to guarantee generalized marking constraints for partially observable timed event graphs. Discrete Event Dyn Syst (2024). https://doi.org/10.1007/s10626-024-00398-y

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1007/s10626-024-00398-y

Keywords

Search

Navigation