Design of control laws for timed event graphs networks subject to mutual exclusion constraints in Min-Plus algebra
The right control of systems, especially when different constraints exist, can avoid many problems of cost and time loss. This paper relates to the resolution of the mutual exclusion problem for discrete event systems modeled with a Network of Timed Event Graphs (NTEGs). It aims to propose formal ap...
Saved in:
| Published in | European journal of control Vol. 63; pp. 270 - 276 |
|---|---|
| Main Authors | , |
| Format | Journal Article |
| Language | English |
| Published |
Philadelphia
Elsevier Ltd
01.01.2022
Elsevier Limited Elsevier |
| Subjects | |
| Online Access | Get full text |
Cover
Loading…
| Abstract | The right control of systems, especially when different constraints exist, can avoid many problems of cost and time loss. This paper relates to the resolution of the mutual exclusion problem for discrete event systems modeled with a Network of Timed Event Graphs (NTEGs). It aims to propose formal approaches based on Min-Plus algebra formalisms for the synthesis of control laws to guarantee mutual exclusion constraints in NTEGs. In these studies, the behavior of the network is described by a set of linear Min-Plus equations and mutual exclusion specifications are represented by inequalities that are also linear in Min-Plus algebra. Computed laws are modeled by control places which are connected to the initial NTEGs in order to prevent the violation of mutual exclusion constraints. |
|---|---|
| AbstractList | The right control of systems, especially when different constraints exist, can avoid many problems of cost and time loss. This paper relates to the resolution of the mutual exclusion problem for discrete event systems modeled with a Network of Timed Event Graphs (NTEGs). It aims to propose formal approaches based on Min-Plus algebra formalisms for the synthesis of control laws to guarantee mutual exclusion constraints in NTEGs. In these studies, the behavior of the network is described by a set of linear Min-Plus equations and mutual exclusion specifications are represented by inequalities that are also linear in Min-Plus algebra. Computed laws are modeled by control places which are connected to the initial NTEGs in order to prevent the violation of mutual exclusion constraints. |
| Author | Amari, Said Soumatia, Maroua |
| Author_xml | – sequence: 1 givenname: Maroua surname: Soumatia fullname: Soumatia, Maroua email: maroua.soumatia@ens-paris-saclay.fr organization: LURPA, ENS Paris Saclay, University of Saclay, France – sequence: 2 givenname: Said surname: Amari fullname: Amari, Said organization: LURPA, ENS Paris Saclay, University of Saclay, France |
| BackLink | https://hal.science/hal-03463247$$DView record in HAL |
| BookMark | eNqFkUFv1DAQhS1UJJbSX8DFEicOST12YicHDlUptNIiOMDZcp3J1iFrL7azhX-PwyIOHMBzsOR535P13nNy5oNHQl4Cq4GBvJxqnGzwNWccaoCaMfWEbKARbdVKBWdkw_pGVaLt2DNykdLEyhECymxIfIvJ7TwNIy0eOYaZzuYx0TFEmt0eB4pH9Jnuojk8JOoxP4b4NdG03E9oM82B7pe8mJnidzsvyQW_GqUcjfM5UefpB-erT2VFzbzD-2hekKejmRNe_L7PyZd3N5-vb6vtx_d311fbygrZ5gqUHTs1cCmFba1oh1YaHHvobMuV5GbkQ9NINKaxnAklheokNrLjFm0HAxfn5PXJ98HM-hDd3sQfOhinb6-2en1jopGCN-oIRfvqpD3E8G3BlPUUlujL9zRXJbiu76EvKnFS2RhSijj-sQWm1y70pH91odcuNIAuXRSq_4uyLpvs1riNm__DvjmxWII6Oow6WYfe4uBiiV8Pwf2T_wncK6hS |
| CitedBy_id | crossref_primary_10_1080_00207179_2024_2380029 crossref_primary_10_1109_LRA_2023_3346809 crossref_primary_10_1007_s12555_023_0627_9 crossref_primary_10_1016_j_ins_2025_122107 crossref_primary_10_1002_asjc_3259 crossref_primary_10_1016_j_ejcon_2023_100809 crossref_primary_10_1016_j_ins_2024_120115 crossref_primary_10_1080_00207179_2023_2236723 |
| Cites_doi | 10.1002/asjc.1787 10.1109/TSMCA.2003.820576 10.1016/0005-1098(95)00103-4 10.1109/TSMCC.2011.2160626 10.1109/TAC.2021.3093618 10.1016/S0005-1098(01)00054-1 10.1109/TAC.2019.2914895 10.1109/9.847725 10.1016/j.automatica.2011.01.070 10.1007/s10626-012-0143-1 10.1023/A:1008271916548 10.1016/j.automatica.2011.01.047 10.1016/j.automatica.2013.08.018 10.1109/TAC.2011.2164735 10.1016/j.ejcon.2020.12.002 10.1109/9.769386 10.1007/s10626-006-0021-9 10.1109/TAC.2003.821419 10.1016/0005-1098(91)90055-7 10.1109/TAC.2015.2389313 |
| ContentType | Journal Article |
| Copyright | 2021 European Control Association 2021. European Control Association Distributed under a Creative Commons Attribution 4.0 International License |
| Copyright_xml | – notice: 2021 European Control Association – notice: 2021. European Control Association – notice: Distributed under a Creative Commons Attribution 4.0 International License |
| DBID | AAYXX CITATION 3V. 7XB 88I 8AL 8FE 8FG 8FK ABJCF ABUWG AFKRA ARAPS AZQEC BENPR BGLVJ CCPQU DWQXO GNUQQ HCIFZ JQ2 K7- L6V M0N M2P M7S P5Z P62 PHGZM PHGZT PKEHL PQEST PQGLB PQQKQ PQUKI PRINS PTHSS Q9U 1XC |
| DOI | 10.1016/j.ejcon.2021.11.007 |
| DatabaseName | CrossRef ProQuest Central (Corporate) ProQuest Central (purchase pre-March 2016) Science Database (Alumni Edition) Computing Database (Alumni Edition) ProQuest SciTech Collection ProQuest Technology Collection ProQuest Central (Alumni) (purchase pre-March 2016) Materials Science & Engineering Collection ProQuest Central (Alumni) ProQuest Central UK/Ireland Advanced Technologies & Aerospace Collection ProQuest Central Essentials ProQuest Central (New) Technology Collection ProQuest One Community College ProQuest Central ProQuest Central Student SciTech Premium Collection ProQuest Computer Science Collection Computer Science Database ProQuest Engineering Collection Computing Database Science Database Engineering Database ProQuest advanced technologies & aerospace journals ProQuest Advanced Technologies & Aerospace Collection ProQuest Central Premium ProQuest One Academic (New) ProQuest One Academic Middle East (New) ProQuest One Academic Eastern Edition (DO NOT USE) ProQuest One Applied & Life Sciences ProQuest One Academic ProQuest One Academic UKI Edition ProQuest Central China Engineering collection ProQuest Central Basic Hyper Article en Ligne (HAL) |
| DatabaseTitle | CrossRef Computer Science Database ProQuest Central Student Technology Collection ProQuest One Academic Middle East (New) ProQuest Advanced Technologies & Aerospace Collection ProQuest Central Essentials ProQuest Computer Science Collection ProQuest Central (Alumni Edition) SciTech Premium Collection ProQuest One Community College ProQuest Central China ProQuest Central ProQuest One Applied & Life Sciences ProQuest Engineering Collection ProQuest Central Korea ProQuest Central (New) Engineering Collection Advanced Technologies & Aerospace Collection ProQuest Computing Engineering Database ProQuest Science Journals (Alumni Edition) ProQuest Central Basic ProQuest Science Journals ProQuest Computing (Alumni Edition) ProQuest One Academic Eastern Edition ProQuest Technology Collection ProQuest SciTech Collection Advanced Technologies & Aerospace Database ProQuest One Academic UKI Edition Materials Science & Engineering Collection ProQuest One Academic ProQuest Central (Alumni) ProQuest One Academic (New) |
| DatabaseTitleList | Computer Science Database |
| Database_xml | – sequence: 1 dbid: 8FG name: ProQuest Technology Collection url: https://search.proquest.com/technologycollection1 sourceTypes: Aggregation Database |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Engineering |
| EISSN | 1435-5671 |
| EndPage | 276 |
| ExternalDocumentID | oai_HAL_hal_03463247v1 10_1016_j_ejcon_2021_11_007 S0947358021001357 |
| GroupedDBID | --M .~1 0R~ 1~. 29G 3V. 4.4 457 4G. 5GY 7-5 88I 8FE 8FG 8P~ 8R4 8R5 AACTN AAEDT AAEDW AAIAV AAIKJ AAKOC AALRI AAOAW AAQXK AAXUO ABFRF ABJCF ABJNI ABMAC ABUWG ABXDB ABYKQ ACDAQ ACGFO ACGFS ACGOD ACIWK ACNNM ACRLP ADBBV ADEZE ADFRT ADMUD AEBSH AECPX AEFWE AEKER AENEX AFKRA AFKWA AFTJW AGHFR AGUBO AHJVU AIEXJ AIKHN AITUG AJBFU AJOXV ALMA_UNASSIGNED_HOLDINGS AMFUW AMRAJ ARAPS ASPBG AVWKF AXJTR AZFZN AZQEC BENPR BGLVJ BJAXD BKOJK BLXMC BPHCQ CCPQU CS3 DU5 DWQXO EBS EFJIC EFLBG EJD FDB FEDTE FGOYB FIRID FNPLU FYGXN GBLVA GNUQQ HCIFZ HVGLF HZ~ JJJVA K6V K7- KOM L6V M0N M2P M41 M7S MO0 O9- OAUVE P-8 P-9 P2P P62 PC. PQQKQ PROAC PTHSS Q2X R2- RIG ROL SDH SPC SPCBC SST SSZ T5K UNMZH ~4P ~G- AAQFI AATTM AAXKI AAYWO AAYXX ABWVN ACRPL ACVFH ADCNI ADNMO AEIPS AEUPX AFJKZ AFPUW AFXIZ AGCQF AGQPQ AGRNS AIGII AIIUN AKBMS AKRWK AKYEP ANKPU APXCP BNPGV CITATION PHGZM PHGZT SSH 7XB 8AL 8FK EFKBS JQ2 PKEHL PQEST PQGLB PQUKI PRINS Q9U 1XC |
| ID | FETCH-LOGICAL-c365t-17cf87d2663c5c35d56aef918c52762af2d446eaa4c203763786e4682cec81d23 |
| IEDL.DBID | BENPR |
| ISSN | 0947-3580 |
| IngestDate | Wed Aug 13 07:44:51 EDT 2025 Wed Aug 13 06:07:31 EDT 2025 Tue Jul 01 03:00:06 EDT 2025 Thu Apr 24 23:15:57 EDT 2025 Fri Feb 23 02:41:21 EST 2024 |
| IsPeerReviewed | true |
| IsScholarly | true |
| Keywords | Discrete event systems Network of timed event graphs Min-Plus algebra Control laws Mutual exclusion constraints |
| Language | English |
| License | Distributed under a Creative Commons Attribution 4.0 International License: http://creativecommons.org/licenses/by/4.0 |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-c365t-17cf87d2663c5c35d56aef918c52762af2d446eaa4c203763786e4682cec81d23 |
| Notes | ObjectType-Article-1 SourceType-Scholarly Journals-1 ObjectType-Feature-2 content type line 14 |
| PQID | 2758089919 |
| PQPubID | 46798 |
| PageCount | 7 |
| ParticipantIDs | hal_primary_oai_HAL_hal_03463247v1 proquest_journals_2758089919 crossref_primary_10_1016_j_ejcon_2021_11_007 crossref_citationtrail_10_1016_j_ejcon_2021_11_007 elsevier_sciencedirect_doi_10_1016_j_ejcon_2021_11_007 |
| ProviderPackageCode | CITATION AAYXX |
| PublicationCentury | 2000 |
| PublicationDate | January 2022 2022-01-00 20220101 2022 |
| PublicationDateYYYYMMDD | 2022-01-01 |
| PublicationDate_xml | – month: 01 year: 2022 text: January 2022 |
| PublicationDecade | 2020 |
| PublicationPlace | Philadelphia |
| PublicationPlace_xml | – name: Philadelphia |
| PublicationTitle | European journal of control |
| PublicationYear | 2022 |
| Publisher | Elsevier Ltd Elsevier Limited Elsevier |
| Publisher_xml | – name: Elsevier Ltd – name: Elsevier Limited – name: Elsevier |
| References | Li, Wu, Zhou (bib0020) 2012; 42 Holloway, Krogh, Giua (bib0013) 1997; 7 Ma, Li, Giua (bib0021) 2015; 60 Ramadge, Wonham (bib0026) 1989; 77 Tebani, Amari, Kara (bib0028) 2019; 21 Moody, Antsaklis (bib0024) 2000; 45 Basile, Cordone, Piroddi (bib0006) 2021 De Schutter, Van Den Boom (bib0009) 2001; 37 Atli, Sava, Achour, Rezg (bib0003) 2010 Maia, Andrade, Hardouin (bib0023) 2011; 47 Li, Basile, Li (bib0018) 2020; 65 Tebani, Amari (bib0027) 2021; 57 Giua, DiCesare, Silva (bib0011) 1992; 2 Iordache, Antsaklis (bib0015) 2006; 16 Basile, Cordone, Piroddi (bib0005) 2013; 49 Giua, Cesare, Silva (bib0010) 1993 Ma, Li, Giua (bib0022) 2016; 74 Yamalidou, Moody, Lemmon, Antsaklis (bib0029) 1996; 32 Giua, Seatzu, Basile (bib0012) 2004; 49 Houssin, Lahaye, Boimond (bib0014) 2013; 23 Li, Zhou (bib0019) 2004; 34 Amari, Demongodin, Loiseau, Martinez (bib0001) 2012; 57 Cottenceau, Hardouin Boimond, Ferrier (bib0008) 1999; 44 Krogh, Holloway (bib0016) 1991; 27 Li, Basile, Li (bib0017) 2020; 66 Chen, Li (bib0007) 2011; 47 Murata (bib0025) 1989; 77 Atli, Adjallah, Sava, Achour, Rezg (bib0002) 2011 Baccelli, Cohen, Olsder, Quadrat (bib0004) 1992 Giua (10.1016/j.ejcon.2021.11.007_bib0010) 1993 Giua (10.1016/j.ejcon.2021.11.007_bib0012) 2004; 49 Li (10.1016/j.ejcon.2021.11.007_bib0017) 2020; 66 Krogh (10.1016/j.ejcon.2021.11.007_bib0016) 1991; 27 Amari (10.1016/j.ejcon.2021.11.007_bib0001) 2012; 57 Chen (10.1016/j.ejcon.2021.11.007_bib0007) 2011; 47 Basile (10.1016/j.ejcon.2021.11.007_bib0005) 2013; 49 Ramadge (10.1016/j.ejcon.2021.11.007_bib0026) 1989; 77 Tebani (10.1016/j.ejcon.2021.11.007_bib0027) 2021; 57 Ma (10.1016/j.ejcon.2021.11.007_bib0021) 2015; 60 Baccelli (10.1016/j.ejcon.2021.11.007_bib0004) 1992 Basile (10.1016/j.ejcon.2021.11.007_bib0006) 2021 Atli (10.1016/j.ejcon.2021.11.007_bib0003) 2010 Li (10.1016/j.ejcon.2021.11.007_bib0018) 2020; 65 Murata (10.1016/j.ejcon.2021.11.007_bib0025) 1989; 77 Li (10.1016/j.ejcon.2021.11.007_bib0020) 2012; 42 Houssin (10.1016/j.ejcon.2021.11.007_bib0014) 2013; 23 Iordache (10.1016/j.ejcon.2021.11.007_bib0015) 2006; 16 Ma (10.1016/j.ejcon.2021.11.007_bib0022) 2016; 74 Holloway (10.1016/j.ejcon.2021.11.007_bib0013) 1997; 7 Atli (10.1016/j.ejcon.2021.11.007_bib0002) 2011 Cottenceau (10.1016/j.ejcon.2021.11.007_bib0008) 1999; 44 Yamalidou (10.1016/j.ejcon.2021.11.007_bib0029) 1996; 32 Li (10.1016/j.ejcon.2021.11.007_bib0019) 2004; 34 Moody (10.1016/j.ejcon.2021.11.007_bib0024) 2000; 45 Giua (10.1016/j.ejcon.2021.11.007_bib0011) 1992; 2 De Schutter (10.1016/j.ejcon.2021.11.007_bib0009) 2001; 37 Maia (10.1016/j.ejcon.2021.11.007_bib0023) 2011; 47 Tebani (10.1016/j.ejcon.2021.11.007_bib0028) 2019; 21 |
| References_xml | – volume: 2 start-page: 974 year: 1992 end-page: 979 ident: bib0011 article-title: Generalized mutual exclusion constraints on petri nets with uncontrollable transitions publication-title: Proceedings of the IEEE International Conference SMC – volume: 65 start-page: 237 year: 2020 end-page: 251 ident: bib0018 article-title: An approach to improve permissiveness of supervisors for GMECs in time Petri net systems publication-title: IEEE Trans. Autom. Control – volume: 74 start-page: 238 year: 2016 end-page: 246 ident: bib0022 article-title: Petri net controllers for generalized mutual exclusion constraints with floor operators publication-title: IEEE Trans. Autom. Control – volume: 57 start-page: 33 year: 2021 end-page: 40 ident: bib0027 article-title: Min-plus realizable control design for partially observable timed event graphs under marking constraints publication-title: Eur. J. Control – volume: 49 start-page: 17 year: 2004 end-page: 29 ident: bib0012 article-title: Observer-based state feedback control of timed Petri nets with deadlock recovery publication-title: IEEE Trans. Autom. Control – volume: 34 start-page: 38 year: 2004 end-page: 51 ident: bib0019 article-title: Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems publication-title: IEEE Trans. Syst. Man Cybern. Part A Syst. Hum. – volume: 77 start-page: 541 year: 1989 end-page: 580 ident: bib0025 article-title: Petri nets: properties, analysis and application publication-title: Proceedings of the IEEE – volume: 47 start-page: 1028 year: 2011 end-page: 1034 ident: bib0007 article-title: Design of a maximally permissive liveness-enforcing supervisor with a compressed supervisory structure for flexible manufacturing systems publication-title: Automatica – volume: 57 start-page: 462 year: 2012 end-page: 464 ident: bib0001 article-title: Max-plus control design for temporal constraints meeting in timed event graphs publication-title: IEEE Trans. Autom. Control – start-page: 1 year: 2011 end-page: 8 ident: bib0002 article-title: Supervisory control of timed-place marked graph based on marking exclusion constraint publication-title: Proceedings of the IEEE International Conference on Communications, Computing and Control Applications (CCCA) – year: 1992 ident: bib0004 article-title: Synchronization and Linearity, An algebra for Discrete Event Systems – volume: 77 start-page: 81 year: 1989 end-page: 98 ident: bib0026 article-title: The control of discrete event systems publication-title: Dyn. Discret. Event Syst. Spec. – volume: 21 start-page: 934 year: 2019 end-page: 951 ident: bib0028 article-title: State feedback control for a class of timed petri nets subject to marking constraints publication-title: Asian J. Control – volume: 23 start-page: 261 year: 2013 end-page: 276 ident: bib0014 article-title: Control of (max,+)- linear systems minimizing delays publication-title: Discret. Event Dyn. Syst. – volume: 47 start-page: 988 year: 2011 end-page: 992 ident: bib0023 article-title: On the control of max-plus linear system subject to state restriction publication-title: Automatica – volume: 42 start-page: 437 year: 2012 end-page: 462 ident: bib0020 article-title: Deadlock control of automated manufacturing systems based on Petri nets – a literature review publication-title: IEEE Trans. Syst. Man Cybern. Part C – volume: 66 start-page: 5326 year: 2020 end-page: 5341 ident: bib0017 article-title: Closed-loop deadlock-free supervision for GMECs in time Petri net systems publication-title: IEEE Trans. Autom. Control – volume: 45 start-page: 462 year: 2000 end-page: 476 ident: bib0024 article-title: Petri net supervisors for DES with uncontrollable and unobservable transitions publication-title: IEEE Trans. Autom. Control – start-page: 267 year: 1993 end-page: 270 ident: bib0010 article-title: Petri net supervisors for generalized mutual exclusion constraints publication-title: Proceedings of the IFAC World Congress – year: 2010 ident: bib0003 article-title: Supervisory control of partially observable marked graph based on marking exclusion constraint publication-title: Proceedings of the IFAC, MCPL – volume: 32 start-page: 15 year: 1996 end-page: 28 ident: bib0029 article-title: Feedback control petri net based on place invariant publication-title: Automatica – volume: 49 start-page: 3432 year: 2013 end-page: 3439 ident: bib0005 article-title: Integrated design of optimal supervisors for the enforcement of static and behavioral specifications in Petri net models publication-title: Automatica – volume: 60 start-page: 1774 year: 2015 end-page: 1785 ident: bib0021 article-title: Design of optimal petri net controllers for disjunctive generalized mutual exclusion constraints publication-title: IEEE Trans. Autom. Control – volume: 37 start-page: 1049 year: 2001 end-page: 1056 ident: bib0009 article-title: Model predictive control for max-plus-linear discrete event systems publication-title: Automatica – year: 2021 ident: bib0006 article-title: Supervisory control of timed discrete event systems with logical and timed specifications publication-title: IEEE Trans. Autom. Control – volume: 7 start-page: 151 year: 1997 end-page: 190 ident: bib0013 article-title: A survey of Petri net methods for controlled discrete event systems publication-title: Discret. Event Dyn. Syst. Theory Appl. – volume: 27 start-page: 641 year: 1991 end-page: 651 ident: bib0016 article-title: Synthesis of feedback control logic for discrete manufacturing systems publication-title: Dutomatica – volume: 44 start-page: 1258 year: 1999 end-page: 1262 ident: bib0008 article-title: Synthesis of greatest linear feedback for timed event graphs in dioid publication-title: IEEE Trans. Autom. Control – volume: 16 start-page: 4451 year: 2006 end-page: 4492 ident: bib0015 article-title: Supervision based on place invariants: a survey publication-title: Discret. Event Dyn. Syst. – volume: 21 start-page: 934 issue: 2 year: 2019 ident: 10.1016/j.ejcon.2021.11.007_bib0028 article-title: State feedback control for a class of timed petri nets subject to marking constraints publication-title: Asian J. Control doi: 10.1002/asjc.1787 – volume: 34 start-page: 38 issue: 1 year: 2004 ident: 10.1016/j.ejcon.2021.11.007_bib0019 article-title: Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems publication-title: IEEE Trans. Syst. Man Cybern. Part A Syst. Hum. doi: 10.1109/TSMCA.2003.820576 – start-page: 1 year: 2011 ident: 10.1016/j.ejcon.2021.11.007_bib0002 article-title: Supervisory control of timed-place marked graph based on marking exclusion constraint – volume: 32 start-page: 15 issue: 1 year: 1996 ident: 10.1016/j.ejcon.2021.11.007_bib0029 article-title: Feedback control petri net based on place invariant publication-title: Automatica doi: 10.1016/0005-1098(95)00103-4 – volume: 42 start-page: 437 issue: 4 year: 2012 ident: 10.1016/j.ejcon.2021.11.007_bib0020 article-title: Deadlock control of automated manufacturing systems based on Petri nets – a literature review publication-title: IEEE Trans. Syst. Man Cybern. Part C doi: 10.1109/TSMCC.2011.2160626 – volume: 66 start-page: 5326 issue: 1 year: 2020 ident: 10.1016/j.ejcon.2021.11.007_bib0017 article-title: Closed-loop deadlock-free supervision for GMECs in time Petri net systems publication-title: IEEE Trans. Autom. Control – volume: 2 start-page: 974 year: 1992 ident: 10.1016/j.ejcon.2021.11.007_bib0011 article-title: Generalized mutual exclusion constraints on petri nets with uncontrollable transitions – volume: 74 start-page: 238 year: 2016 ident: 10.1016/j.ejcon.2021.11.007_bib0022 article-title: Petri net controllers for generalized mutual exclusion constraints with floor operators publication-title: IEEE Trans. Autom. Control – volume: 77 start-page: 81 issue: 1 year: 1989 ident: 10.1016/j.ejcon.2021.11.007_bib0026 article-title: The control of discrete event systems publication-title: Dyn. Discret. Event Syst. Spec. – year: 2021 ident: 10.1016/j.ejcon.2021.11.007_bib0006 article-title: Supervisory control of timed discrete event systems with logical and timed specifications publication-title: IEEE Trans. Autom. Control doi: 10.1109/TAC.2021.3093618 – volume: 37 start-page: 1049 issue: 7 year: 2001 ident: 10.1016/j.ejcon.2021.11.007_bib0009 article-title: Model predictive control for max-plus-linear discrete event systems publication-title: Automatica doi: 10.1016/S0005-1098(01)00054-1 – volume: 65 start-page: 237 issue: 1 year: 2020 ident: 10.1016/j.ejcon.2021.11.007_bib0018 article-title: An approach to improve permissiveness of supervisors for GMECs in time Petri net systems publication-title: IEEE Trans. Autom. Control doi: 10.1109/TAC.2019.2914895 – volume: 45 start-page: 462 issue: 3 year: 2000 ident: 10.1016/j.ejcon.2021.11.007_bib0024 article-title: Petri net supervisors for DES with uncontrollable and unobservable transitions publication-title: IEEE Trans. Autom. Control doi: 10.1109/9.847725 – start-page: 267 year: 1993 ident: 10.1016/j.ejcon.2021.11.007_bib0010 article-title: Petri net supervisors for generalized mutual exclusion constraints – volume: 47 start-page: 1028 issue: 5 year: 2011 ident: 10.1016/j.ejcon.2021.11.007_bib0007 article-title: Design of a maximally permissive liveness-enforcing supervisor with a compressed supervisory structure for flexible manufacturing systems publication-title: Automatica doi: 10.1016/j.automatica.2011.01.070 – volume: 77 start-page: 541 year: 1989 ident: 10.1016/j.ejcon.2021.11.007_bib0025 article-title: Petri nets: properties, analysis and application – volume: 23 start-page: 261 issue: 3 year: 2013 ident: 10.1016/j.ejcon.2021.11.007_bib0014 article-title: Control of (max,+)- linear systems minimizing delays publication-title: Discret. Event Dyn. Syst. doi: 10.1007/s10626-012-0143-1 – volume: 7 start-page: 151 issue: 2 year: 1997 ident: 10.1016/j.ejcon.2021.11.007_bib0013 article-title: A survey of Petri net methods for controlled discrete event systems publication-title: Discret. Event Dyn. Syst. Theory Appl. doi: 10.1023/A:1008271916548 – volume: 47 start-page: 988 issue: 5 year: 2011 ident: 10.1016/j.ejcon.2021.11.007_bib0023 article-title: On the control of max-plus linear system subject to state restriction publication-title: Automatica doi: 10.1016/j.automatica.2011.01.047 – year: 1992 ident: 10.1016/j.ejcon.2021.11.007_bib0004 – volume: 49 start-page: 3432 issue: 11 year: 2013 ident: 10.1016/j.ejcon.2021.11.007_bib0005 article-title: Integrated design of optimal supervisors for the enforcement of static and behavioral specifications in Petri net models publication-title: Automatica doi: 10.1016/j.automatica.2013.08.018 – volume: 57 start-page: 462 issue: 2 year: 2012 ident: 10.1016/j.ejcon.2021.11.007_bib0001 article-title: Max-plus control design for temporal constraints meeting in timed event graphs publication-title: IEEE Trans. Autom. Control doi: 10.1109/TAC.2011.2164735 – year: 2010 ident: 10.1016/j.ejcon.2021.11.007_bib0003 article-title: Supervisory control of partially observable marked graph based on marking exclusion constraint – volume: 57 start-page: 33 year: 2021 ident: 10.1016/j.ejcon.2021.11.007_bib0027 article-title: Min-plus realizable control design for partially observable timed event graphs under marking constraints publication-title: Eur. J. Control doi: 10.1016/j.ejcon.2020.12.002 – volume: 44 start-page: 1258 issue: 6 year: 1999 ident: 10.1016/j.ejcon.2021.11.007_bib0008 article-title: Synthesis of greatest linear feedback for timed event graphs in dioid publication-title: IEEE Trans. Autom. Control doi: 10.1109/9.769386 – volume: 16 start-page: 4451 issue: 4 year: 2006 ident: 10.1016/j.ejcon.2021.11.007_bib0015 article-title: Supervision based on place invariants: a survey publication-title: Discret. Event Dyn. Syst. doi: 10.1007/s10626-006-0021-9 – volume: 49 start-page: 17 issue: 1 year: 2004 ident: 10.1016/j.ejcon.2021.11.007_bib0012 article-title: Observer-based state feedback control of timed Petri nets with deadlock recovery publication-title: IEEE Trans. Autom. Control doi: 10.1109/TAC.2003.821419 – volume: 27 start-page: 641 issue: 4 year: 1991 ident: 10.1016/j.ejcon.2021.11.007_bib0016 article-title: Synthesis of feedback control logic for discrete manufacturing systems publication-title: Dutomatica doi: 10.1016/0005-1098(91)90055-7 – volume: 60 start-page: 1774 year: 2015 ident: 10.1016/j.ejcon.2021.11.007_bib0021 article-title: Design of optimal petri net controllers for disjunctive generalized mutual exclusion constraints publication-title: IEEE Trans. Autom. Control doi: 10.1109/TAC.2015.2389313 |
| SSID | ssj0000331313 |
| Score | 2.3413193 |
| Snippet | The right control of systems, especially when different constraints exist, can avoid many problems of cost and time loss. This paper relates to the resolution... |
| SourceID | hal proquest crossref elsevier |
| SourceType | Open Access Repository Aggregation Database Enrichment Source Index Database Publisher |
| StartPage | 270 |
| SubjectTerms | Algebra Automatic Control laws Control theory Controllers Discrete event systems Engineering Sciences Graphs Linear programming Min-Plus algebra Mutual exclusion constraints Network of timed event graphs System theory |
| SummonAdditionalLinks | – databaseName: Elsevier SD Freedom Collection dbid: .~1 link: http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV1LT9wwELYop3Ko-gCxQNGo6rFm40ec5Ih4aFW1VaUWiZvlOI66aMkiki2c-O3MOMmqVBWHXh2_5JnMeMYz3zD2UXlkE1cobkKdcF1oyYtaaG5MUhaiCl5WMdrim5ld6M-X6eUGOxlzYSiscpD9vUyP0npomQ6nOb2Zz6c_0DDJ6BFPEoyQSimjXOuMuPzoQaz9LIlSQvVVkrE_pwEj-FAM8wpXZHdKnOWI0DyprOy_FdSLXxQp-ZfAjlro_DV7NVwf4bjf4Ru2EZq3bOsPUMF37PY0BmXAsoYhDh0W7q4FvJ0CVZKvIII2QYSqbqHp48BbaFcl-WSgW8L1irJKINz7xYq8aTRRG4tJdC3MG_g6b_h3_ARUJATN7W12cX7282TGh8oK3CuTdlxkvs6zCpWz8qlXaZUaF-pC5D6VKB1dLSs0E4Nz2suERFCWm6BNLn3weMGVaodtNssm7DJwSenKgIrQo2XlclfmSRBlaZzPC12ncsLkeJzWD7DjtOGFHePLrmykgSUaoEFikQYT9mk96KZH3Xi-uxnpZJ8wj0W98PzAD0jV9RIEtT07_mKpLVGakOyz32LCDkai2-EHb61EO4teTEWx97-L77OXknIpoj_ngG12t6vwHm84XXkYWfgRrBT4tQ priority: 102 providerName: Elsevier |
| Title | Design of control laws for timed event graphs networks subject to mutual exclusion constraints in Min-Plus algebra |
| URI | https://dx.doi.org/10.1016/j.ejcon.2021.11.007 https://www.proquest.com/docview/2758089919 https://hal.science/hal-03463247 |
| Volume | 63 |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| link | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwfV1Lj9MwELbo9gIHxFMUlspCHPESP-I6J1RgS3lVK8RKe7McxxG7KumySYETv50ZxykIoV5yiGMnytjz8vj7CHkqPUwTV0imQ50xVSjBiporpnVWFrwKXlSx2mKll6fq3Vl-lhJubSqrHHRiVNTVxmOO_LkAxxa3qHjx4vIbQ9Yo3F1NFBojMgYVbCD4Gr88Xp182mVZMim57DmSCwWrCcYYoIdikVe4wKhTgKE7QixPJJX9v3kafcE6yX_UdbRBi1vkZnIe6byX9m1yLTR3yI2_IAXvkqvXsSSDbmqaqtDp2v1oKfimFHnkKxohm2gEqm5p01eBt7TdlpiRod2Gft3imRIafvr1FnNpOFAbqSS6lp439ON5w06giSJFCATb98jp4vjzqyVLvArMS513jM98bWYVmGbpcy_zKtcu1AU3PhegG10tKggSg3PKiwwV0MzooLQRPnhwb4W8Tw6aTRMeEOqy0pUBzKCHuMoZV5os8LLUzptC1bmYEDH8TusT6Dh-8NoO1WUXNsrAogwgHLEggwl5tut02WNu7H9cD3KyyW3o3QELVmF_xycg1d0rEGh7Of9g8V4mFeLYz77zCTkchG7T8m7tn8n4cH_zI3Jd4HmJmLM5JAfd1TY8Bi-mK6dkdPSLw9Us3kzJeP72_XI1TdP3N3R09HI |
| linkProvider | ProQuest |
| linkToHtml | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV1Lb9QwELZKOQAHxFMsFBghuGFIbMcbHxCqKMuWbisOrdSbcRxHtFqypclS-FP8RmacZEEI7a3XOE4sz3s8_oax59IjmzgjuQ5VwpVRgpsqVVzrpDBpGbwoY7XFgZ4eqY_H2fEG-zXchaGyykEnRkVdLjzlyF8LdGzpiCo1b8--ceoaRaerQwuNji32ws8LDNmaN7s7SN8XQkzeH76b8r6rAPdSZy1Px77KxyUaJukzL7My0y5UJs19JlAzuEqUGCIF55QXCYnfONdB6Vz44NG5I6ADVPlXlZSGJCqffFjldBIpU9l1ZDYKZRdXPAAdxZKycEoxrkCz-oqQQ6mF7f-N4ZUvVJX5j3GIFm9yi93sXVXY7njrNtsI9R124y8Aw7vsfCcWgMCigr7mHebuogH0hIG61pcQAaIgwmI3UHc15w00y4LyP9Au4OuSbrBA-OHnS8rc0Yea2LiibeCkhv2Tmn_CIaCGJBja32NHl7Lf99lmvajDAwYuKVwR0Oh6jOJc7oo8CWlRaOdzo6pMjJgYttP6HuKcFjy3Qy3bqY00sEQDDH4s0mDEXq4mnXUIH-tf1wOdbO-kdM6HRRu0fuIzpOrqFwTrPd2eWXqWSEWo-ePv6YhtDUS3vTJp7B_Wf7h--Cm7Nj3cn9nZ7sHeI3Zd0E2NmC3aYpvt-TI8Rv-pLZ5EpgX2-bKl5DfxCiu3 |
| linkToPdf | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV1Lb9QwEB6VrYTggHiqSwtYCG6YJo7jJAeECtvVlpbVClGpN-M4jmi1ZNsmS-Gv8euYcZIFIbS3XuM8rIzn6c_fALyILC4Tk0VcuTLgMpOCZ2UouVJBnoWFs6LwaIupmhzLDyfxyQb86s_CEKyyt4neUBcLSzXyXYGBLW1Rhdlu2cEiZqPx2_MLTh2kaKe1b6fRLpFD9_MK07f6zcEIZf1SiPH-5_cT3nUY4DZSccPDxJZpUqCTimxso7iIlXFlFqY2FmglTCkKTJecMdKKgFQxSZWTKhXWWQz0iPQAzf9mgllRMIDNd_vT2adVhSeIojBq-zNnEjUZ59_THnmAmTujjFegk31NPKLU0Pb_rvHGV8Jo_uMqvP8b34U7XeDK9tqVdg82XHUfbv9FZ_gALkceDsIWJesQ8GxurmqGcTGjHvYF83RRzJNk16xqEeg1q5c5VYNYs2DflnSehbkfdr6kOh69qPZtLJqanVbs42nFZzjEqD0JJvoP4fha_vgjGFSLym0BM0Fucocu2GJOZ1KTp4EL81wZm2ayjMUQRP87te0Iz2nCc90j2860l4EmGWAqpFEGQ3i1eui85ftYf7vq5aS7kKUNRTR6pPUPPkeprj5BJN-TvSNN14JIEod-8j0cwk4vdN2Zllr_UYTH64efwU3UEH10MD3chluCjm340tEODJrLpXuCwVSTP-1WLYMv160ovwHinzFJ |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Design+of+control+laws+for+timed+event+graphs+networks+subject+to+mutual+exclusion+constraints+in+Min-Plus+algebra.&rft.jtitle=European+journal+of+control&rft.au=Soumatia%2C+Maroua&rft.au=Amari%2C+Sa%C3%AFd&rft.date=2022&rft.pub=Elsevier&rft.issn=0947-3580&rft_id=info:doi/10.1016%2Fj.ejcon.2021.11.007&rft.externalDBID=HAS_PDF_LINK&rft.externalDocID=oai_HAL_hal_03463247v1 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0947-3580&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0947-3580&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0947-3580&client=summon |