Control of discrete event systems with respect to strict duration: Supervision of an industrial manufacturing plant
► The paper provides a method for the supervision of discrete event systems. ► The paper provides supervisors for the control of timed event graphs subject to strict duration constraints. ► The paper provides supervisors for an industrial manufacturing plant in order to meet a strict duration constr...
Gespeichert in:
| Veröffentlicht in: | Computers & industrial engineering 2011-11, Vol.61 (4), p.1149-1159 |
|---|---|
| Hauptverfasser: | , , |
| Format: | Artikel |
| Sprache: | eng |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | 1159 |
|---|---|
| container_issue | 4 |
| container_start_page | 1149 |
| container_title | Computers & industrial engineering |
| container_volume | 61 |
| creator | Atto, Abdourrahmane M. Martinez, Claude Amari, Saïd |
| description | ► The paper provides a method for the supervision of discrete event systems. ► The paper provides supervisors for the control of timed event graphs subject to strict duration constraints. ► The paper provides supervisors for an industrial manufacturing plant in order to meet a strict duration constraint for a thermal treatment.
In this paper, we propose a (max,
+)-based method for the supervision of discrete event systems subject to tight time constraints. Systems under consideration are those modeled as timed event graphs and represented with linear (max,
+) state equations. The supervision is addressed by looking for solutions of constrained state equations associated with timed event graph models. These constrained state equations are derived by reducing duration constraints to elementary constraints whose contributions are injected in the system’s state equations. An example for supervisor synthesis is given for an industrial manufacturing plant subject to a strict temporal constraint, the thermal treatment of rubber parts for the automotive industries. Supervisors are calculated and classified according to their performance, considering their impact on the production throughput. |
| doi_str_mv | 10.1016/j.cie.2011.07.004 |
| format | Article |
| fullrecord | <record><control><sourceid>proquest_hal_p</sourceid><recordid>TN_cdi_hal_primary_oai_HAL_hal_00660726v1</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><els_id>S0360835211001793</els_id><sourcerecordid>963856212</sourcerecordid><originalsourceid>FETCH-LOGICAL-c433t-626d206c06af14956f12f2ec6b7a12ed073b3bbc32acecac0ad4244cd440f7f83</originalsourceid><addsrcrecordid>eNp9kU9v1DAQxSNEJZaWD8DN4oI4JIz_xNnAqVq1FGklDsDZ8tpj6lXWDrazqN8eR4s4cODksfV745n3muY1hY4Cle-PnfHYMaC0g6EDEM-aDd0OYwt9D8-bDXAJ7Zb37EXzMucjVKIf6abJuxhKihOJjlifTcKCBM8YCslPueApk1--PJKEeUZTSIkkl-RrZZeki4_hA_m6zJjOPtfL2kYH4oNdVkxP5KTD4rQpS_LhB5knHcpNc-X0lPHVn_O6-X5_92330O6_fPq8u923RnBeWsmkZSANSO2oGHvpKHMMjTwMmjK0MPADPxwMZ9qg0Qa0FUwIY4UAN7gtv27eXfo-6knNyZ90elJRe_Vwu1frG4CUMDB5ppV9e2HnFH8umIs6VTdwqvNiXLIaJd_2klFWyTf_kMe4pFAXUSNQMYw9lxWiF8ikmHNC9_d_CmoNTB1VDUytgSkY6iSiaj5eNFg9OXtMKlckGLQ-VeuVjf4_6t86S59k</addsrcrecordid><sourcetype>Open Access Repository</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype><pqid>901479536</pqid></control><display><type>article</type><title>Control of discrete event systems with respect to strict duration: Supervision of an industrial manufacturing plant</title><source>Elsevier ScienceDirect Journals Complete</source><creator>Atto, Abdourrahmane M. ; Martinez, Claude ; Amari, Saïd</creator><creatorcontrib>Atto, Abdourrahmane M. ; Martinez, Claude ; Amari, Saïd</creatorcontrib><description>► The paper provides a method for the supervision of discrete event systems. ► The paper provides supervisors for the control of timed event graphs subject to strict duration constraints. ► The paper provides supervisors for an industrial manufacturing plant in order to meet a strict duration constraint for a thermal treatment.
In this paper, we propose a (max,
+)-based method for the supervision of discrete event systems subject to tight time constraints. Systems under consideration are those modeled as timed event graphs and represented with linear (max,
+) state equations. The supervision is addressed by looking for solutions of constrained state equations associated with timed event graph models. These constrained state equations are derived by reducing duration constraints to elementary constraints whose contributions are injected in the system’s state equations. An example for supervisor synthesis is given for an industrial manufacturing plant subject to a strict temporal constraint, the thermal treatment of rubber parts for the automotive industries. Supervisors are calculated and classified according to their performance, considering their impact on the production throughput.</description><identifier>ISSN: 0360-8352</identifier><identifier>EISSN: 1879-0550</identifier><identifier>DOI: 10.1016/j.cie.2011.07.004</identifier><identifier>CODEN: CINDDL</identifier><language>eng</language><publisher>New York: Elsevier Ltd</publisher><subject>(max, +) Algebra ; Automatic ; Automobile industry ; Automotive components ; Constraints ; Control ; Dioids ; Discrete event systems ; Engineering Sciences ; Graph theory ; Industrial engineering ; Manufacturing engineering ; Mathematical analysis ; Mathematical models ; Optimization algorithms ; Plants ; Process controls ; Studies ; Supervision ; Supervisor ; Supervisors ; Time constraints</subject><ispartof>Computers & industrial engineering, 2011-11, Vol.61 (4), p.1149-1159</ispartof><rights>2011 Elsevier Ltd</rights><rights>Copyright Pergamon Press Inc. Nov 2011</rights><rights>Distributed under a Creative Commons Attribution 4.0 International License</rights><lds50>peer_reviewed</lds50><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed><citedby>FETCH-LOGICAL-c433t-626d206c06af14956f12f2ec6b7a12ed073b3bbc32acecac0ad4244cd440f7f83</citedby><cites>FETCH-LOGICAL-c433t-626d206c06af14956f12f2ec6b7a12ed073b3bbc32acecac0ad4244cd440f7f83</cites><orcidid>0000-0003-1168-3284</orcidid></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://dx.doi.org/10.1016/j.cie.2011.07.004$$EHTML$$P50$$Gelsevier$$H</linktohtml><link.rule.ids>230,314,780,784,885,3550,27924,27925,45995</link.rule.ids><backlink>$$Uhttps://hal.science/hal-00660726$$DView record in HAL$$Hfree_for_read</backlink></links><search><creatorcontrib>Atto, Abdourrahmane M.</creatorcontrib><creatorcontrib>Martinez, Claude</creatorcontrib><creatorcontrib>Amari, Saïd</creatorcontrib><title>Control of discrete event systems with respect to strict duration: Supervision of an industrial manufacturing plant</title><title>Computers & industrial engineering</title><description>► The paper provides a method for the supervision of discrete event systems. ► The paper provides supervisors for the control of timed event graphs subject to strict duration constraints. ► The paper provides supervisors for an industrial manufacturing plant in order to meet a strict duration constraint for a thermal treatment.
In this paper, we propose a (max,
+)-based method for the supervision of discrete event systems subject to tight time constraints. Systems under consideration are those modeled as timed event graphs and represented with linear (max,
+) state equations. The supervision is addressed by looking for solutions of constrained state equations associated with timed event graph models. These constrained state equations are derived by reducing duration constraints to elementary constraints whose contributions are injected in the system’s state equations. An example for supervisor synthesis is given for an industrial manufacturing plant subject to a strict temporal constraint, the thermal treatment of rubber parts for the automotive industries. Supervisors are calculated and classified according to their performance, considering their impact on the production throughput.</description><subject>(max, +) Algebra</subject><subject>Automatic</subject><subject>Automobile industry</subject><subject>Automotive components</subject><subject>Constraints</subject><subject>Control</subject><subject>Dioids</subject><subject>Discrete event systems</subject><subject>Engineering Sciences</subject><subject>Graph theory</subject><subject>Industrial engineering</subject><subject>Manufacturing engineering</subject><subject>Mathematical analysis</subject><subject>Mathematical models</subject><subject>Optimization algorithms</subject><subject>Plants</subject><subject>Process controls</subject><subject>Studies</subject><subject>Supervision</subject><subject>Supervisor</subject><subject>Supervisors</subject><subject>Time constraints</subject><issn>0360-8352</issn><issn>1879-0550</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2011</creationdate><recordtype>article</recordtype><recordid>eNp9kU9v1DAQxSNEJZaWD8DN4oI4JIz_xNnAqVq1FGklDsDZ8tpj6lXWDrazqN8eR4s4cODksfV745n3muY1hY4Cle-PnfHYMaC0g6EDEM-aDd0OYwt9D8-bDXAJ7Zb37EXzMucjVKIf6abJuxhKihOJjlifTcKCBM8YCslPueApk1--PJKEeUZTSIkkl-RrZZeki4_hA_m6zJjOPtfL2kYH4oNdVkxP5KTD4rQpS_LhB5knHcpNc-X0lPHVn_O6-X5_92330O6_fPq8u923RnBeWsmkZSANSO2oGHvpKHMMjTwMmjK0MPADPxwMZ9qg0Qa0FUwIY4UAN7gtv27eXfo-6knNyZ90elJRe_Vwu1frG4CUMDB5ppV9e2HnFH8umIs6VTdwqvNiXLIaJd_2klFWyTf_kMe4pFAXUSNQMYw9lxWiF8ikmHNC9_d_CmoNTB1VDUytgSkY6iSiaj5eNFg9OXtMKlckGLQ-VeuVjf4_6t86S59k</recordid><startdate>20111101</startdate><enddate>20111101</enddate><creator>Atto, Abdourrahmane M.</creator><creator>Martinez, Claude</creator><creator>Amari, Saïd</creator><general>Elsevier Ltd</general><general>Pergamon Press Inc</general><general>Elsevier</general><scope>AAYXX</scope><scope>CITATION</scope><scope>7SC</scope><scope>8FD</scope><scope>JQ2</scope><scope>L7M</scope><scope>L~C</scope><scope>L~D</scope><scope>1XC</scope><scope>VOOES</scope><orcidid>https://orcid.org/0000-0003-1168-3284</orcidid></search><sort><creationdate>20111101</creationdate><title>Control of discrete event systems with respect to strict duration: Supervision of an industrial manufacturing plant</title><author>Atto, Abdourrahmane M. ; Martinez, Claude ; Amari, Saïd</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c433t-626d206c06af14956f12f2ec6b7a12ed073b3bbc32acecac0ad4244cd440f7f83</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2011</creationdate><topic>(max, +) Algebra</topic><topic>Automatic</topic><topic>Automobile industry</topic><topic>Automotive components</topic><topic>Constraints</topic><topic>Control</topic><topic>Dioids</topic><topic>Discrete event systems</topic><topic>Engineering Sciences</topic><topic>Graph theory</topic><topic>Industrial engineering</topic><topic>Manufacturing engineering</topic><topic>Mathematical analysis</topic><topic>Mathematical models</topic><topic>Optimization algorithms</topic><topic>Plants</topic><topic>Process controls</topic><topic>Studies</topic><topic>Supervision</topic><topic>Supervisor</topic><topic>Supervisors</topic><topic>Time constraints</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Atto, Abdourrahmane M.</creatorcontrib><creatorcontrib>Martinez, Claude</creatorcontrib><creatorcontrib>Amari, Saïd</creatorcontrib><collection>CrossRef</collection><collection>Computer and Information Systems Abstracts</collection><collection>Technology Research Database</collection><collection>ProQuest Computer Science Collection</collection><collection>Advanced Technologies Database with Aerospace</collection><collection>Computer and Information Systems Abstracts Academic</collection><collection>Computer and Information Systems Abstracts Professional</collection><collection>Hyper Article en Ligne (HAL)</collection><collection>Hyper Article en Ligne (HAL) (Open Access)</collection><jtitle>Computers & industrial engineering</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Atto, Abdourrahmane M.</au><au>Martinez, Claude</au><au>Amari, Saïd</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>Control of discrete event systems with respect to strict duration: Supervision of an industrial manufacturing plant</atitle><jtitle>Computers & industrial engineering</jtitle><date>2011-11-01</date><risdate>2011</risdate><volume>61</volume><issue>4</issue><spage>1149</spage><epage>1159</epage><pages>1149-1159</pages><issn>0360-8352</issn><eissn>1879-0550</eissn><coden>CINDDL</coden><abstract>► The paper provides a method for the supervision of discrete event systems. ► The paper provides supervisors for the control of timed event graphs subject to strict duration constraints. ► The paper provides supervisors for an industrial manufacturing plant in order to meet a strict duration constraint for a thermal treatment.
In this paper, we propose a (max,
+)-based method for the supervision of discrete event systems subject to tight time constraints. Systems under consideration are those modeled as timed event graphs and represented with linear (max,
+) state equations. The supervision is addressed by looking for solutions of constrained state equations associated with timed event graph models. These constrained state equations are derived by reducing duration constraints to elementary constraints whose contributions are injected in the system’s state equations. An example for supervisor synthesis is given for an industrial manufacturing plant subject to a strict temporal constraint, the thermal treatment of rubber parts for the automotive industries. Supervisors are calculated and classified according to their performance, considering their impact on the production throughput.</abstract><cop>New York</cop><pub>Elsevier Ltd</pub><doi>10.1016/j.cie.2011.07.004</doi><tpages>11</tpages><orcidid>https://orcid.org/0000-0003-1168-3284</orcidid><oa>free_for_read</oa></addata></record> |
| fulltext | fulltext |
| identifier | ISSN: 0360-8352 |
| ispartof | Computers & industrial engineering, 2011-11, Vol.61 (4), p.1149-1159 |
| issn | 0360-8352 1879-0550 |
| language | eng |
| recordid | cdi_hal_primary_oai_HAL_hal_00660726v1 |
| source | Elsevier ScienceDirect Journals Complete |
| subjects | (max, +) Algebra Automatic Automobile industry Automotive components Constraints Control Dioids Discrete event systems Engineering Sciences Graph theory Industrial engineering Manufacturing engineering Mathematical analysis Mathematical models Optimization algorithms Plants Process controls Studies Supervision Supervisor Supervisors Time constraints |
| title | Control of discrete event systems with respect to strict duration: Supervision of an industrial manufacturing plant |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-05T06%3A28%3A39IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-proquest_hal_p&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=Control%20of%20discrete%20event%20systems%20with%20respect%20to%20strict%20duration:%20Supervision%20of%20an%20industrial%20manufacturing%20plant&rft.jtitle=Computers%20&%20industrial%20engineering&rft.au=Atto,%20Abdourrahmane%20M.&rft.date=2011-11-01&rft.volume=61&rft.issue=4&rft.spage=1149&rft.epage=1159&rft.pages=1149-1159&rft.issn=0360-8352&rft.eissn=1879-0550&rft.coden=CINDDL&rft_id=info:doi/10.1016/j.cie.2011.07.004&rft_dat=%3Cproquest_hal_p%3E963856212%3C/proquest_hal_p%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_pqid=901479536&rft_id=info:pmid/&rft_els_id=S0360835211001793&rfr_iscdi=true |