Secure Recovery Procedure for Manufacturing Systems Using Synchronizing Automata and Supervisory Control Theory

Manufacturing systems may be subject to external attacks and failures, so it is important to deal with the recovery of the system after these situations. This article deals with the problem of recovering a manufacturing system, modeled as a discrete event system (DES) using the supervisory control t...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:IEEE transactions on automation science and engineering 2022-01, Vol.19 (1), p.486-496
Hauptverfasser: Alves, Lucas V. R., Pena, Patricia N.
Format: Artikel
Sprache:eng
Schlagworte:
Online-Zugang:Volltext bestellen
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
container_end_page 496
container_issue 1
container_start_page 486
container_title IEEE transactions on automation science and engineering
container_volume 19
creator Alves, Lucas V. R.
Pena, Patricia N.
description Manufacturing systems may be subject to external attacks and failures, so it is important to deal with the recovery of the system after these situations. This article deals with the problem of recovering a manufacturing system, modeled as a discrete event system (DES) using the supervisory control theory (SCT), when the control structure, called supervisor, desynchronizes from the physical plant. The desynchronization may be seen as plant and supervisor being in uncorresponding states. The recovery of the system may be attained if there is a word, the synchronizing word, that regardless the state of each one of them, brings the system and supervisor back to a known state. The concepts of synchronizing automata are used to do so. In this article, we show under what conditions a set of synchronizing plants and specifications leads to a synchronizing supervisor obtained by the SCT. The problem is extended to cope with multiple supervisors, proposing a local recovery when possible. We also present a simple way to model problems, composed of machines and buffers, as synchronizing automata such that it is always possible do restore synchronization between the control (supervisor) and the plant. Note to Practitioners -Given the unpredictability of faults and malicious attacks occurring in industrial systems, recovery strategies are crucial for a harmonic operation of the plant. The possibility of leading the system to a known state, recovering control, is of extreme importance to the safety of industrial processes. The method proposed in this article uses well-known concepts of supervisory control theory (SCT) of discrete event systems (DESs), introducing the recovery process (using recovery events) in the modeling phase such that it is possible to isolate and fix only the part of the control system subject to the fault. The result of the proposed approach allows the implementation of such control system with the recovery procedure directly in the programmable logic controllers (PLCs).
doi_str_mv 10.1109/TASE.2020.3041207
format Article
fullrecord <record><control><sourceid>proquest_RIE</sourceid><recordid>TN_cdi_proquest_journals_2616719128</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><ieee_id>9291471</ieee_id><sourcerecordid>2616719128</sourcerecordid><originalsourceid>FETCH-LOGICAL-c293t-30323c04db3b7395b6b5cb95692a9d6f068464cd1dfb063c846dda96c153bb0f3</originalsourceid><addsrcrecordid>eNo9kEtLw0AUhQdRsFZ_gLgZcJ06j8wksyylPqCimHY9zCs2pc3UmaQQf70JKa7uPZdzzoUPgHuMZhgj8bSeF8sZQQTNKEoxQdkFmGDG8oRmOb0c9pQlTDB2DW5i3CFE0lygCfCFM21w8MsZf3Khg5_BG2eHU-kDfFd1WyrTtKGqv2HRxcYdItzEUdVmG3xd_Q5q3jb-oBoFVW1h0R5dOFXR94ULXzfB7-F663p5C65KtY_u7jynYPO8XC9ek9XHy9tivkoMEbRJKKKEGpRaTXVGBdNcM6MF44IoYXmJeJ7y1FhsS404Nb2yVgluMKNao5JOwePYewz-p3WxkTvfhrp_KQnHPMMCk7x34dFlgo8xuFIeQ3VQoZMYyYGrHLjKgas8c-0zD2Omcs79-wUROM0w_QMy4nYH</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype><pqid>2616719128</pqid></control><display><type>article</type><title>Secure Recovery Procedure for Manufacturing Systems Using Synchronizing Automata and Supervisory Control Theory</title><source>IEEE Electronic Library (IEL)</source><creator>Alves, Lucas V. R. ; Pena, Patricia N.</creator><creatorcontrib>Alves, Lucas V. R. ; Pena, Patricia N.</creatorcontrib><description>Manufacturing systems may be subject to external attacks and failures, so it is important to deal with the recovery of the system after these situations. This article deals with the problem of recovering a manufacturing system, modeled as a discrete event system (DES) using the supervisory control theory (SCT), when the control structure, called supervisor, desynchronizes from the physical plant. The desynchronization may be seen as plant and supervisor being in uncorresponding states. The recovery of the system may be attained if there is a word, the synchronizing word, that regardless the state of each one of them, brings the system and supervisor back to a known state. The concepts of synchronizing automata are used to do so. In this article, we show under what conditions a set of synchronizing plants and specifications leads to a synchronizing supervisor obtained by the SCT. The problem is extended to cope with multiple supervisors, proposing a local recovery when possible. We also present a simple way to model problems, composed of machines and buffers, as synchronizing automata such that it is always possible do restore synchronization between the control (supervisor) and the plant. Note to Practitioners -Given the unpredictability of faults and malicious attacks occurring in industrial systems, recovery strategies are crucial for a harmonic operation of the plant. The possibility of leading the system to a known state, recovering control, is of extreme importance to the safety of industrial processes. The method proposed in this article uses well-known concepts of supervisory control theory (SCT) of discrete event systems (DESs), introducing the recovery process (using recovery events) in the modeling phase such that it is possible to isolate and fix only the part of the control system subject to the fault. The result of the proposed approach allows the implementation of such control system with the recovery procedure directly in the programmable logic controllers (PLCs).</description><identifier>ISSN: 1545-5955</identifier><identifier>EISSN: 1558-3783</identifier><identifier>DOI: 10.1109/TASE.2020.3041207</identifier><identifier>CODEN: ITASC7</identifier><language>eng</language><publisher>New York: IEEE</publisher><subject>Automata ; Control systems ; Control theory ; Discrete event systems ; Discrete event systems (DESs) ; Manufacturing ; Manufacturing systems ; Programmable logic controllers ; Recovery ; recovery procedure ; Safety ; Software ; Supervisors ; Supervisory control ; supervisory control theory (SCT) ; Synchronism ; Synchronization ; synchronizing automata</subject><ispartof>IEEE transactions on automation science and engineering, 2022-01, Vol.19 (1), p.486-496</ispartof><rights>Copyright The Institute of Electrical and Electronics Engineers, Inc. (IEEE) 2022</rights><woscitedreferencessubscribed>false</woscitedreferencessubscribed><citedby>FETCH-LOGICAL-c293t-30323c04db3b7395b6b5cb95692a9d6f068464cd1dfb063c846dda96c153bb0f3</citedby><cites>FETCH-LOGICAL-c293t-30323c04db3b7395b6b5cb95692a9d6f068464cd1dfb063c846dda96c153bb0f3</cites><orcidid>0000-0002-7595-7814 ; 0000-0001-5227-0473</orcidid></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://ieeexplore.ieee.org/document/9291471$$EHTML$$P50$$Gieee$$H</linktohtml><link.rule.ids>314,780,784,796,27924,27925,54758</link.rule.ids><linktorsrc>$$Uhttps://ieeexplore.ieee.org/document/9291471$$EView_record_in_IEEE$$FView_record_in_$$GIEEE</linktorsrc></links><search><creatorcontrib>Alves, Lucas V. R.</creatorcontrib><creatorcontrib>Pena, Patricia N.</creatorcontrib><title>Secure Recovery Procedure for Manufacturing Systems Using Synchronizing Automata and Supervisory Control Theory</title><title>IEEE transactions on automation science and engineering</title><addtitle>TASE</addtitle><description>Manufacturing systems may be subject to external attacks and failures, so it is important to deal with the recovery of the system after these situations. This article deals with the problem of recovering a manufacturing system, modeled as a discrete event system (DES) using the supervisory control theory (SCT), when the control structure, called supervisor, desynchronizes from the physical plant. The desynchronization may be seen as plant and supervisor being in uncorresponding states. The recovery of the system may be attained if there is a word, the synchronizing word, that regardless the state of each one of them, brings the system and supervisor back to a known state. The concepts of synchronizing automata are used to do so. In this article, we show under what conditions a set of synchronizing plants and specifications leads to a synchronizing supervisor obtained by the SCT. The problem is extended to cope with multiple supervisors, proposing a local recovery when possible. We also present a simple way to model problems, composed of machines and buffers, as synchronizing automata such that it is always possible do restore synchronization between the control (supervisor) and the plant. Note to Practitioners -Given the unpredictability of faults and malicious attacks occurring in industrial systems, recovery strategies are crucial for a harmonic operation of the plant. The possibility of leading the system to a known state, recovering control, is of extreme importance to the safety of industrial processes. The method proposed in this article uses well-known concepts of supervisory control theory (SCT) of discrete event systems (DESs), introducing the recovery process (using recovery events) in the modeling phase such that it is possible to isolate and fix only the part of the control system subject to the fault. The result of the proposed approach allows the implementation of such control system with the recovery procedure directly in the programmable logic controllers (PLCs).</description><subject>Automata</subject><subject>Control systems</subject><subject>Control theory</subject><subject>Discrete event systems</subject><subject>Discrete event systems (DESs)</subject><subject>Manufacturing</subject><subject>Manufacturing systems</subject><subject>Programmable logic controllers</subject><subject>Recovery</subject><subject>recovery procedure</subject><subject>Safety</subject><subject>Software</subject><subject>Supervisors</subject><subject>Supervisory control</subject><subject>supervisory control theory (SCT)</subject><subject>Synchronism</subject><subject>Synchronization</subject><subject>synchronizing automata</subject><issn>1545-5955</issn><issn>1558-3783</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2022</creationdate><recordtype>article</recordtype><sourceid>RIE</sourceid><recordid>eNo9kEtLw0AUhQdRsFZ_gLgZcJ06j8wksyylPqCimHY9zCs2pc3UmaQQf70JKa7uPZdzzoUPgHuMZhgj8bSeF8sZQQTNKEoxQdkFmGDG8oRmOb0c9pQlTDB2DW5i3CFE0lygCfCFM21w8MsZf3Khg5_BG2eHU-kDfFd1WyrTtKGqv2HRxcYdItzEUdVmG3xd_Q5q3jb-oBoFVW1h0R5dOFXR94ULXzfB7-F663p5C65KtY_u7jynYPO8XC9ek9XHy9tivkoMEbRJKKKEGpRaTXVGBdNcM6MF44IoYXmJeJ7y1FhsS404Nb2yVgluMKNao5JOwePYewz-p3WxkTvfhrp_KQnHPMMCk7x34dFlgo8xuFIeQ3VQoZMYyYGrHLjKgas8c-0zD2Omcs79-wUROM0w_QMy4nYH</recordid><startdate>202201</startdate><enddate>202201</enddate><creator>Alves, Lucas V. R.</creator><creator>Pena, Patricia N.</creator><general>IEEE</general><general>The Institute of Electrical and Electronics Engineers, Inc. (IEEE)</general><scope>97E</scope><scope>RIA</scope><scope>RIE</scope><scope>AAYXX</scope><scope>CITATION</scope><scope>7SC</scope><scope>7SP</scope><scope>7TB</scope><scope>8FD</scope><scope>FR3</scope><scope>JQ2</scope><scope>L7M</scope><scope>L~C</scope><scope>L~D</scope><orcidid>https://orcid.org/0000-0002-7595-7814</orcidid><orcidid>https://orcid.org/0000-0001-5227-0473</orcidid></search><sort><creationdate>202201</creationdate><title>Secure Recovery Procedure for Manufacturing Systems Using Synchronizing Automata and Supervisory Control Theory</title><author>Alves, Lucas V. R. ; Pena, Patricia N.</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c293t-30323c04db3b7395b6b5cb95692a9d6f068464cd1dfb063c846dda96c153bb0f3</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2022</creationdate><topic>Automata</topic><topic>Control systems</topic><topic>Control theory</topic><topic>Discrete event systems</topic><topic>Discrete event systems (DESs)</topic><topic>Manufacturing</topic><topic>Manufacturing systems</topic><topic>Programmable logic controllers</topic><topic>Recovery</topic><topic>recovery procedure</topic><topic>Safety</topic><topic>Software</topic><topic>Supervisors</topic><topic>Supervisory control</topic><topic>supervisory control theory (SCT)</topic><topic>Synchronism</topic><topic>Synchronization</topic><topic>synchronizing automata</topic><toplevel>online_resources</toplevel><creatorcontrib>Alves, Lucas V. R.</creatorcontrib><creatorcontrib>Pena, Patricia N.</creatorcontrib><collection>IEEE All-Society Periodicals Package (ASPP) 2005–Present</collection><collection>IEEE All-Society Periodicals Package (ASPP) 1998-Present</collection><collection>IEEE Electronic Library (IEL)</collection><collection>CrossRef</collection><collection>Computer and Information Systems Abstracts</collection><collection>Electronics &amp; Communications Abstracts</collection><collection>Mechanical &amp; Transportation Engineering Abstracts</collection><collection>Technology Research Database</collection><collection>Engineering 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><jtitle>IEEE transactions on automation science and engineering</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>Alves, Lucas V. R.</au><au>Pena, Patricia N.</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>Secure Recovery Procedure for Manufacturing Systems Using Synchronizing Automata and Supervisory Control Theory</atitle><jtitle>IEEE transactions on automation science and engineering</jtitle><stitle>TASE</stitle><date>2022-01</date><risdate>2022</risdate><volume>19</volume><issue>1</issue><spage>486</spage><epage>496</epage><pages>486-496</pages><issn>1545-5955</issn><eissn>1558-3783</eissn><coden>ITASC7</coden><abstract>Manufacturing systems may be subject to external attacks and failures, so it is important to deal with the recovery of the system after these situations. This article deals with the problem of recovering a manufacturing system, modeled as a discrete event system (DES) using the supervisory control theory (SCT), when the control structure, called supervisor, desynchronizes from the physical plant. The desynchronization may be seen as plant and supervisor being in uncorresponding states. The recovery of the system may be attained if there is a word, the synchronizing word, that regardless the state of each one of them, brings the system and supervisor back to a known state. The concepts of synchronizing automata are used to do so. In this article, we show under what conditions a set of synchronizing plants and specifications leads to a synchronizing supervisor obtained by the SCT. The problem is extended to cope with multiple supervisors, proposing a local recovery when possible. We also present a simple way to model problems, composed of machines and buffers, as synchronizing automata such that it is always possible do restore synchronization between the control (supervisor) and the plant. Note to Practitioners -Given the unpredictability of faults and malicious attacks occurring in industrial systems, recovery strategies are crucial for a harmonic operation of the plant. The possibility of leading the system to a known state, recovering control, is of extreme importance to the safety of industrial processes. The method proposed in this article uses well-known concepts of supervisory control theory (SCT) of discrete event systems (DESs), introducing the recovery process (using recovery events) in the modeling phase such that it is possible to isolate and fix only the part of the control system subject to the fault. The result of the proposed approach allows the implementation of such control system with the recovery procedure directly in the programmable logic controllers (PLCs).</abstract><cop>New York</cop><pub>IEEE</pub><doi>10.1109/TASE.2020.3041207</doi><tpages>11</tpages><orcidid>https://orcid.org/0000-0002-7595-7814</orcidid><orcidid>https://orcid.org/0000-0001-5227-0473</orcidid></addata></record>
fulltext fulltext_linktorsrc
identifier ISSN: 1545-5955
ispartof IEEE transactions on automation science and engineering, 2022-01, Vol.19 (1), p.486-496
issn 1545-5955
1558-3783
language eng
recordid cdi_proquest_journals_2616719128
source IEEE Electronic Library (IEL)
subjects Automata
Control systems
Control theory
Discrete event systems
Discrete event systems (DESs)
Manufacturing
Manufacturing systems
Programmable logic controllers
Recovery
recovery procedure
Safety
Software
Supervisors
Supervisory control
supervisory control theory (SCT)
Synchronism
Synchronization
synchronizing automata
title Secure Recovery Procedure for Manufacturing Systems Using Synchronizing Automata and Supervisory Control Theory
url https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2024-12-24T19%3A38%3A07IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-proquest_RIE&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=Secure%20Recovery%20Procedure%20for%20Manufacturing%20Systems%20Using%20Synchronizing%20Automata%20and%20Supervisory%20Control%20Theory&rft.jtitle=IEEE%20transactions%20on%20automation%20science%20and%20engineering&rft.au=Alves,%20Lucas%20V.%20R.&rft.date=2022-01&rft.volume=19&rft.issue=1&rft.spage=486&rft.epage=496&rft.pages=486-496&rft.issn=1545-5955&rft.eissn=1558-3783&rft.coden=ITASC7&rft_id=info:doi/10.1109/TASE.2020.3041207&rft_dat=%3Cproquest_RIE%3E2616719128%3C/proquest_RIE%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_pqid=2616719128&rft_id=info:pmid/&rft_ieee_id=9291471&rfr_iscdi=true