A discussion of fault-tolerant supervisory control in terms of formal languages
A system is fault tolerant if it remains functional after the occurrence of a fault. Given a plant subject to a fault, fault-tolerant control requires the controller to form a fault-tolerant closed-loop system. For the systematic design of a fault-tolerant controller, typical input data consists of...
Saved in:
| Published in | Annual reviews in control Vol. 41; pp. 159 - 169 |
|---|---|
| Main Author | |
| Format | Journal Article |
| Language | English |
| Published |
Elsevier Ltd
2016
|
| Subjects | |
| Online Access | Get full text |
| ISSN | 1367-5788 1872-9088 |
| DOI | 10.1016/j.arcontrol.2016.04.001 |
Cover
| Abstract | A system is fault tolerant if it remains functional after the occurrence of a fault. Given a plant subject to a fault, fault-tolerant control requires the controller to form a fault-tolerant closed-loop system. For the systematic design of a fault-tolerant controller, typical input data consists of the plant dynamics including the effect of the faults under consideration and a formal performance requirement with a possible allowance for degraded performance after the fault. For its obvious practical relevance, the synthesis of fault-tolerant controllers has received extensive attention in the literature, however, with a particular focus on continuous-variable systems. The present paper addresses discrete-event systems and provides an overview on fault-tolerant supervisory control. The discussion is held in terms of formal languages to uniformly present approaches to passive fault-tolerance, active fault-tolerance, post-fault recovery and fault hiding. |
|---|---|
| AbstractList | A system is fault tolerant if it remains functional after the occurrence of a fault. Given a plant subject to a fault, fault-tolerant control requires the controller to form a fault-tolerant closed-loop system. For the systematic design of a fault-tolerant controller, typical input data consists of the plant dynamics including the effect of the faults under consideration and a formal performance requirement with a possible allowance for degraded performance after the fault. For its obvious practical relevance, the synthesis of fault-tolerant controllers has received extensive attention in the literature, however, with a particular focus on continuous-variable systems. The present paper addresses discrete-event systems and provides an overview on fault-tolerant supervisory control. The discussion is held in terms of formal languages to uniformly present approaches to passive fault-tolerance, active fault-tolerance, post-fault recovery and fault hiding. |
| Author | Moor, Thomas |
| Author_xml | – sequence: 1 givenname: Thomas surname: Moor fullname: Moor, Thomas email: lrt@fau.de organization: Lehrstuhl für Regelungstechnik, Friedrich-Alexander Universität Erlangen-Nürnberg, Germany |
| BookMark | eNqNkE1rAjEQhnOwULX9Dc0f2O1kzX546EGkXyB4ac9hNptIJCaSZC3--65VeuilnoYZ3ucdeCZk5LxThDwwyBmw6nGbY5DepeBtXgyHHHgOwEZkzGZVnZV109ySSYxbACgKVo7JekE7E2Ufo_GOek019jZlyVsV0CUa-70KBxN9ONJLMzWOJhV28Sfuww4tteg2PW5UvCM3Gm1U95c5JZ8vzx_Lt2y1fn1fLlaZLAFSJjnXHHlbVKos-LBIhLnSDdYgu45VXYNYtdiWnM8LaGZ63kpZQVtqVlQc-GxKmnNv7_Z4_EJrxT6YHYajYCBOMsRW_MoQJxkCuBhkDOjTGZXBxxiUFtIkTOYURWOv4Os__PWfF2dSDWYORgURpVFOqs4EJZPovPm34xuHvJpv |
| CitedBy_id | crossref_primary_10_1016_j_ifacol_2022_10_320 crossref_primary_10_3390_pr11030701 crossref_primary_10_1016_j_nahs_2021_101111 crossref_primary_10_1016_j_compind_2021_103473 crossref_primary_10_1016_j_ifacol_2017_08_2396 crossref_primary_10_1007_s10626_019_00299_5 crossref_primary_10_1109_TIA_2019_2929256 crossref_primary_10_1016_j_ifacol_2018_06_275 crossref_primary_10_1109_TAC_2021_3124185 crossref_primary_10_1016_j_compeleceng_2022_108527 crossref_primary_10_1016_j_oceaneng_2023_115471 crossref_primary_10_1016_j_automatica_2019_108663 crossref_primary_10_1016_j_ifacol_2020_12_2311 crossref_primary_10_1016_j_ifacol_2021_04_027 crossref_primary_10_1016_j_ifacol_2018_09_533 crossref_primary_10_1080_01691864_2024_2329947 crossref_primary_10_1016_j_ifacol_2018_09_681 crossref_primary_10_3390_electronics9091513 |
| Cites_doi | 10.1109/5.21072 10.1016/j.arcontrol.2012.03.005 10.1137/0331061 10.1109/9.376114 10.1007/BF02551361 10.1109/9.412626 10.1109/9.182487 10.1109/TAC.2008.929388 10.3233/FI-2000-41301 10.1016/0167-6911(90)90004-E 10.1016/j.automatica.2011.01.007 10.1109/TAC.2005.860237 10.1137/0325013 10.1016/0020-0255(88)90001-1 10.1080/00207729808929587 10.1016/j.ins.2014.05.026 10.1016/j.arcontrol.2013.09.009 10.1109/TSMC.2013.2291538 10.1109/9.746270 10.1016/j.automatica.2005.03.017 10.1137/S0363012991217524 10.1137/060673862 10.1007/s10703-009-0084-y |
| ContentType | Journal Article |
| Copyright | 2016 The Authors |
| Copyright_xml | – notice: 2016 The Authors |
| DBID | 6I. AAFTH AAYXX CITATION ADTOC UNPAY |
| DOI | 10.1016/j.arcontrol.2016.04.001 |
| DatabaseName | ScienceDirect Open Access Titles Elsevier:ScienceDirect:Open Access CrossRef Unpaywall for CDI: Periodical Content Unpaywall |
| DatabaseTitle | CrossRef |
| DatabaseTitleList | |
| Database_xml | – sequence: 1 dbid: UNPAY name: Unpaywall url: https://proxy.k.utb.cz/login?url=https://unpaywall.org/ sourceTypes: Open Access Repository |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Engineering Computer Science |
| EndPage | 169 |
| ExternalDocumentID | 10.1016/j.arcontrol.2016.04.001 10_1016_j_arcontrol_2016_04_001 S1367578816300049 |
| GroupedDBID | --K --M .DC .~1 0R~ 1B1 1~. 1~5 23M 4.4 457 4G. 5GY 5VS 6I. 7-5 71M 8P~ AACTN AAEDT AAEDW AAFTH AAIAV AAIKJ AAKOC AALRI AAOAW AAQFI AAQXK AAXUO ABMAC ABXDB ABYKQ ACDAQ ACGFS ACNNM ACRLP ADBBV ADEZE ADMUD ADTZH AEBSH AECPX AEKER AENEX AFKWA AFTJW AGHFR AGUBO AGYEJ AHJVU AIEXJ AIKHN AITUG AJBFU AJOXV ALMA_UNASSIGNED_HOLDINGS AMFUW AMRAJ ASPBG AVWKF AXJTR AZFZN BJAXD BKOJK BLXMC CS3 EBS EFJIC EFLBG EJD EO8 EO9 EP2 EP3 F5P FDB FGOYB FIRID FNPLU FYGXN G-Q GBLVA HZ~ IHE J1W JJJVA KOM M41 MO0 N9A O-L O9- OAUVE OZT P-8 P-9 P2P PC. Q38 R2- RIG ROL RPZ SDF SDG SDP SES SEW SPC SPCBC SST SSZ T5K T9H UHS XPP ~G- AATTM AAXKI AAYWO AAYXX ABJNI ABWVN ACLOT ACRPL ACVFH ADCNI ADNMO AEIPS AEUPX AFJKZ AFPUW AGQPQ AIGII AIIUN AKBMS AKRWK AKYEP ANKPU APXCP CITATION EFKBS ~HD ADTOC AGCQF UNPAY |
| ID | FETCH-LOGICAL-c500t-c44f4a4b26e52444fca09ef8a70cdd16d8aa6bab54492083f9bcc60b5f1264043 |
| IEDL.DBID | UNPAY |
| ISSN | 1367-5788 1872-9088 |
| IngestDate | Tue Aug 19 20:17:46 EDT 2025 Wed Oct 01 01:37:08 EDT 2025 Thu Apr 24 23:01:06 EDT 2025 Fri Feb 23 02:28:32 EST 2024 |
| IsDoiOpenAccess | true |
| IsOpenAccess | true |
| IsPeerReviewed | true |
| IsScholarly | true |
| Keywords | Passive fault-tolerant control Fault-tolerant control Active fault-tolerant control Supervisory control Fault-hiding approach Discrete-event systems Post-fault recovery |
| Language | English |
| License | This is an open access article under the CC BY-NC-ND license. cc-by-nc-nd |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-c500t-c44f4a4b26e52444fca09ef8a70cdd16d8aa6bab54492083f9bcc60b5f1264043 |
| OpenAccessLink | https://proxy.k.utb.cz/login?url=https://doi.org/10.1016/j.arcontrol.2016.04.001 |
| PageCount | 11 |
| ParticipantIDs | unpaywall_primary_10_1016_j_arcontrol_2016_04_001 crossref_citationtrail_10_1016_j_arcontrol_2016_04_001 crossref_primary_10_1016_j_arcontrol_2016_04_001 elsevier_sciencedirect_doi_10_1016_j_arcontrol_2016_04_001 |
| ProviderPackageCode | CITATION AAYXX |
| PublicationCentury | 2000 |
| PublicationDate | 2016 2016-00-00 |
| PublicationDateYYYYMMDD | 2016-01-01 |
| PublicationDate_xml | – year: 2016 text: 2016 |
| PublicationDecade | 2010 |
| PublicationTitle | Annual reviews in control |
| PublicationYear | 2016 |
| Publisher | Elsevier Ltd |
| Publisher_xml | – name: Elsevier Ltd |
| References | Brandt, Garg, Kumar, Lin, Marcus, Wonham (bib0004) 1990; 15 Ramadge, Wonham (bib0026) 1989; 77 Manna, Pnueli (bib0015) 1990 Sampath, Sengupeta, Lafortune, Sinnamohideen (bib0029) 1995; 40 Wittmann, Richter, Moor (bib0041) 2012 Nke, Lunze (bib0019) 2011 Paoli, Sartini, Lafortune (bib0023) 2011; 47 Cho, Marcus (bib0006) 1989; 2 Moor, Schmidt (bib0018) 2015 Jiang, Yu (bib0011) 2012; 36 Wen, Kumar, Huang (bib0036) 2008 Moor (bib0016) 2015 Girault, Rutten (bib0009) 2009; 35 Thistle, Lamouchi (bib0034) 2009; 48 Rohloff (bib0028) 2005 Paoli, Lafortune (bib0021) 2005; 41 Park, Lim (bib0024) 1998; 29 Richter (bib0027) 2011 Hopcroft, Ullman (bib0010) 1979 Sülek, Schmidt (bib0033) 2014 Bourdon, Lawford, Wonham (bib0003) 2005; 50 Dubrova (bib0008) 2013 Ramadge, Wonham (bib0025) 1987; 25 Steffen (bib0031) 2005 Wen, Kumar, Huang (bib0037) 2014; 44 Kumar, Garg, Marcus (bib0013) 1993; 31 Nke, Lunze (bib0020) 2011 Moor, Baier, Yoo, Lin, Lafortune (bib0017) 2012 Cury, Krogh (bib0007) 1999; 44 Paoli, Sartini, Lafortune (bib0022) 2008 Wittmann, Richter, Moor (bib0042) 2013 Willner, Heymann (bib0039) 1995; 40 Wittmann (bib0040) 2014 Lin, Wonham (bib0014) 1988; 44 Wen, Kumar, Huang, Liu (bib0038) 2008; 53 Blanke, Kinnaert, Lunze, Staroswiecki, Schröder (bib0002) 2006 Thistle, Wonham (bib0035) 1994; 32 Cassandras, Lafortune (bib0005) 2008 Kumar, Garg, Marcus (bib0012) 1992; 37 Schmidt, Breindl (bib0030) 2014; 281 Sülek, Schmidt (bib0032) 2013 Zaytoon, Lafortune (bib0043) 2013; 37 Baier, Kwiatkowska (bib0001) 2000; 41 Paoli (10.1016/j.arcontrol.2016.04.001_bib0022) 2008 Thistle (10.1016/j.arcontrol.2016.04.001_bib0035) 1994; 32 Wen (10.1016/j.arcontrol.2016.04.001_bib0038) 2008; 53 Cho (10.1016/j.arcontrol.2016.04.001_bib0006) 1989; 2 Lin (10.1016/j.arcontrol.2016.04.001_bib0014) 1988; 44 Moor (10.1016/j.arcontrol.2016.04.001_sbref0016) 2015 Richter (10.1016/j.arcontrol.2016.04.001_bib0027) 2011 Hopcroft (10.1016/j.arcontrol.2016.04.001_bib0010) 1979 Moor (10.1016/j.arcontrol.2016.04.001_bib0017) 2012 Wittmann (10.1016/j.arcontrol.2016.04.001_bib0040) 2014 Nke (10.1016/j.arcontrol.2016.04.001_bib0019) 2011 Manna (10.1016/j.arcontrol.2016.04.001_bib0015) 1990 Wittmann (10.1016/j.arcontrol.2016.04.001_bib0041) 2012 Baier (10.1016/j.arcontrol.2016.04.001_bib0001) 2000; 41 Ramadge (10.1016/j.arcontrol.2016.04.001_bib0025) 1987; 25 Steffen (10.1016/j.arcontrol.2016.04.001_bib0031) 2005 Willner (10.1016/j.arcontrol.2016.04.001_bib0039) 1995; 40 Cury (10.1016/j.arcontrol.2016.04.001_bib0007) 1999; 44 Paoli (10.1016/j.arcontrol.2016.04.001_bib0023) 2011; 47 Schmidt (10.1016/j.arcontrol.2016.04.001_bib0030) 2014; 281 Dubrova (10.1016/j.arcontrol.2016.04.001_bib0008) 2013 Thistle (10.1016/j.arcontrol.2016.04.001_bib0034) 2009; 48 Wen (10.1016/j.arcontrol.2016.04.001_bib0037) 2014; 44 Kumar (10.1016/j.arcontrol.2016.04.001_bib0013) 1993; 31 Wen (10.1016/j.arcontrol.2016.04.001_bib0036) 2008 Blanke (10.1016/j.arcontrol.2016.04.001_bib0002) 2006 Moor (10.1016/j.arcontrol.2016.04.001_bib0018) 2015 Jiang (10.1016/j.arcontrol.2016.04.001_bib0011) 2012; 36 Kumar (10.1016/j.arcontrol.2016.04.001_bib0012) 1992; 37 Rohloff (10.1016/j.arcontrol.2016.04.001_bib0028) 2005 Sülek (10.1016/j.arcontrol.2016.04.001_bib0032) 2013 Brandt (10.1016/j.arcontrol.2016.04.001_bib0004) 1990; 15 Nke (10.1016/j.arcontrol.2016.04.001_bib0020) 2011 Paoli (10.1016/j.arcontrol.2016.04.001_bib0021) 2005; 41 Ramadge (10.1016/j.arcontrol.2016.04.001_bib0026) 1989; 77 Bourdon (10.1016/j.arcontrol.2016.04.001_bib0003) 2005; 50 Sampath (10.1016/j.arcontrol.2016.04.001_bib0029) 1995; 40 Girault (10.1016/j.arcontrol.2016.04.001_bib0009) 2009; 35 Sülek (10.1016/j.arcontrol.2016.04.001_bib0033) 2014 Cassandras (10.1016/j.arcontrol.2016.04.001_bib0005) 2008 Wittmann (10.1016/j.arcontrol.2016.04.001_bib0042) 2013 Park (10.1016/j.arcontrol.2016.04.001_bib0024) 1998; 29 Zaytoon (10.1016/j.arcontrol.2016.04.001_bib0043) 2013; 37 |
| References_xml | – start-page: 19 year: 2011 end-page: 24 ident: bib0020 article-title: Online control reconfiguration for a faulty manufacturing process publication-title: Proceedings of the 3rd IFAC workshop on dependable control of discrete systems (DCDS) – volume: 47 start-page: 639 year: 2011 end-page: 649 ident: bib0023 article-title: Active fault tolerant control of discrete event systems using online diagnostics publication-title: Automatica – volume: 36 start-page: 60 year: 2012 end-page: 72 ident: bib0011 article-title: Fault-tolerant control systems: A comparative study between active and passive approaches publication-title: Annual Reviews in Control – start-page: 377 year: 1990 end-page: 408 ident: bib0015 article-title: A hierarchy of temporal properties publication-title: Proceedings of the 9th ACM symposium on principles of distributed computing – start-page: 8657 year: 2011 end-page: 8662 ident: bib0019 article-title: A fault modeling approach for input/output automata publication-title: Proceedings of the 18th IFAC world congress – year: 2011 ident: bib0027 publication-title: Reconfigurable control of nonlinear dynamical systems: Fault hiding approach – volume: 44 start-page: 376 year: 1999 end-page: 379 ident: bib0007 article-title: Robustness of supervisors for discrete-event systems publication-title: IEEE Transactions on Automatic Control – start-page: 854 year: 2012 end-page: 859 ident: bib0041 article-title: Fault-tolerant control of discrete event systems based on fault-accommodating models publication-title: Proceedings of the 8th IFAC symposium on fault detection, supervision and safety of technical processes (SAFEPROCESS) – volume: 281 start-page: 265 year: 2014 end-page: 280 ident: bib0030 article-title: A framework for state attraction of discrete event systems under partial observation publication-title: Information Sciences – volume: 32 start-page: 1098 year: 1994 end-page: 1113 ident: bib0035 article-title: Supervision of infinite behavior of discrete event systems publication-title: SIAM Journal on Control and Optimization – volume: 41 start-page: 1335 year: 2005 end-page: 1347 ident: bib0021 article-title: Safe diagnosability for fault-tolerant supervision of discrete-event systems publication-title: Automatica – volume: 31 start-page: 1294 year: 1993 end-page: 1320 ident: bib0013 article-title: Language stability and stabilizability of discrete event dynamical systems publication-title: SIAM Journal on Control and Optimization – year: 2013 ident: bib0042 article-title: Fault-hiding control reconfiguration for a class of discrete-event systems publication-title: Proceedings of the 4th IFAC workshop on dependable control of discrete systems (DCDS) – volume: 40 start-page: 616 year: 1995 end-page: 627 ident: bib0039 article-title: Language convergence in controlled discrete-event systems publication-title: IEEE Transactions on Automatic Control – volume: 77 start-page: 81 year: 1989 end-page: 98 ident: bib0026 article-title: The control of discrete event systems publication-title: Proceedings of the IEEE – volume: 2 start-page: 47 year: 1989 end-page: 69 ident: bib0006 article-title: On supremal languages of classes of sublanguages that arise in supervisor synthesis problems with partial observation publication-title: Mathematics of Control, Signals & Systems – year: 2013 ident: bib0008 – volume: 25 start-page: 206 year: 1987 end-page: 230 ident: bib0025 article-title: Supervisory control of a class of discrete event processes publication-title: SIAM Journal on Control and Optimization – volume: 48 start-page: 1858 year: 2009 end-page: 1887 ident: bib0034 article-title: Effective control synthesis for partially observed discrete-event systems publication-title: SIAM Journal on Control and Optimization – volume: 53 start-page: 1839 year: 2008 end-page: 1849 ident: bib0038 article-title: A framework for fault-tolerant control for discrete event systems publication-title: IEEE Transactions on Automatic Control – year: 2005 ident: bib0031 publication-title: Control reconfiguration of dynamical systems: Linear approaches and structural tests – year: 2008 ident: bib0005 – volume: 44 start-page: 1056 year: 2014 end-page: 1066 ident: bib0037 article-title: Framework for optimal fault-tolerant control synthesis: maximize prefault while minimize post-fault behaviors for discrete event systems publication-title: IEEE Transactions on Systems, Man and Cybernetics: Systems – volume: 50 start-page: 2015 year: 2005 end-page: 2021 ident: bib0003 article-title: Robust nonblocking supervisory control of discrete-event systems publication-title: IEEE Transactions on Automatic Control – start-page: 1172 year: 2008 end-page: 1177 ident: bib0036 article-title: Synthesis of optimal fault-tolerant supervisor for discrete event systems publication-title: Proceedings of the American control conference – volume: 37 start-page: 308 year: 2013 end-page: 320 ident: bib0043 article-title: Overview of fault diagnosis methods for discrete event systems publication-title: Annual Reviews in Control – start-page: 175 year: 2012 end-page: 180 ident: bib0017 article-title: On the computation of supremal sublanguages relevant to supervisory control publication-title: Proceedings of the 11th International workshop on Discrete Event Systems (WODES) – year: 2006 ident: bib0002 – year: 2015 ident: bib0016 article-title: Fault-tolerant supervisory control publication-title: Proceedings of the 5th IFAC workshop on dependable control of discrete systems (DCDS) – year: 2015 ident: bib0018 article-title: Fault-tolerant control of discrete-event systems with lower-bound specifications publication-title: Proceedings of the 5th IFAC workshop on dependable control of discrete systems (DCDS) – start-page: 115 year: 2013 end-page: 120 ident: bib0032 article-title: Computation of fault-tolerant supervisors for discrete event systems publication-title: Proceedings of the 4th IFAC workshop on dependable control of discrete systems (DCDS) – volume: 15 start-page: 111 year: 1990 end-page: 117 ident: bib0004 article-title: Formulas for calculating supremal controllable and normal sublanguages publication-title: Systems and Control Letters – volume: 35 start-page: 190 year: 2009 end-page: 225 ident: bib0009 article-title: Automating the addition of fault tolerance with discrete controller synthesis publication-title: Formal Methods in System Design – volume: 37 start-page: 1978 year: 1992 end-page: 1985 ident: bib0012 article-title: On supervisory control of sequential behaviors publication-title: IEEE Transactions on Automatic Control – volume: 41 start-page: 259 year: 2000 end-page: 294 ident: bib0001 article-title: On topological hierarchies of temporal properties publication-title: Fundamenta Informaticae – start-page: 3493 year: 2005 end-page: 3498 ident: bib0028 article-title: Sensor failure tolerant supervisory control publication-title: Proceedings of the 44th IEEE international conference on decision and control – year: 1979 ident: bib0010 – start-page: 6542 year: 2008 end-page: 6547 ident: bib0022 article-title: A fault tolerant architecture for supervisory control of discrete event systems publication-title: Proceedings of the 17th IFAC world congress – volume: 40 start-page: 1555 year: 1995 end-page: 1575 ident: bib0029 article-title: Diagnosability of discrete-event systems publication-title: IEEE Transactions on Automatic Control – volume: 29 start-page: 953 year: 1998 end-page: 957 ident: bib0024 article-title: Robust and fault-tolerant supervisory control of discrete event systems with partial observation and model uncertainty publication-title: International Journal of Systems Science – volume: 44 start-page: 173 year: 1988 end-page: 198 ident: bib0014 article-title: On observability of discrete-event systems publication-title: Information Sciences – start-page: 428 year: 2014 end-page: 438 ident: bib0033 article-title: Computation of supervisors for fault-recovery and repair for discrete event systems publication-title: Proceedings of the 12th International workshop on discrete event systems (WODES) – year: 2014 ident: bib0040 publication-title: Zur Methodik und Anwendung fehlerverdeckender Steuerungsrekonfiguration für eine Klasse ereignisdiskreter Systeme, (Dissertation) – start-page: 175 year: 2012 ident: 10.1016/j.arcontrol.2016.04.001_bib0017 article-title: On the computation of supremal sublanguages relevant to supervisory control – volume: 77 start-page: 81 year: 1989 ident: 10.1016/j.arcontrol.2016.04.001_bib0026 article-title: The control of discrete event systems publication-title: Proceedings of the IEEE doi: 10.1109/5.21072 – year: 2015 ident: 10.1016/j.arcontrol.2016.04.001_sbref0016 article-title: Fault-tolerant supervisory control – start-page: 6542 year: 2008 ident: 10.1016/j.arcontrol.2016.04.001_bib0022 article-title: A fault tolerant architecture for supervisory control of discrete event systems – year: 2015 ident: 10.1016/j.arcontrol.2016.04.001_bib0018 article-title: Fault-tolerant control of discrete-event systems with lower-bound specifications – volume: 36 start-page: 60 year: 2012 ident: 10.1016/j.arcontrol.2016.04.001_bib0011 article-title: Fault-tolerant control systems: A comparative study between active and passive approaches publication-title: Annual Reviews in Control doi: 10.1016/j.arcontrol.2012.03.005 – volume: 31 start-page: 1294 year: 1993 ident: 10.1016/j.arcontrol.2016.04.001_bib0013 article-title: Language stability and stabilizability of discrete event dynamical systems publication-title: SIAM Journal on Control and Optimization doi: 10.1137/0331061 – volume: 40 start-page: 616 issue: 4 year: 1995 ident: 10.1016/j.arcontrol.2016.04.001_bib0039 article-title: Language convergence in controlled discrete-event systems publication-title: IEEE Transactions on Automatic Control doi: 10.1109/9.376114 – year: 2014 ident: 10.1016/j.arcontrol.2016.04.001_bib0040 – year: 2011 ident: 10.1016/j.arcontrol.2016.04.001_bib0027 – volume: 2 start-page: 47 year: 1989 ident: 10.1016/j.arcontrol.2016.04.001_bib0006 article-title: On supremal languages of classes of sublanguages that arise in supervisor synthesis problems with partial observation publication-title: Mathematics of Control, Signals & Systems doi: 10.1007/BF02551361 – year: 2006 ident: 10.1016/j.arcontrol.2016.04.001_bib0002 – volume: 40 start-page: 1555 issue: 9 year: 1995 ident: 10.1016/j.arcontrol.2016.04.001_bib0029 article-title: Diagnosability of discrete-event systems publication-title: IEEE Transactions on Automatic Control doi: 10.1109/9.412626 – volume: 37 start-page: 1978 year: 1992 ident: 10.1016/j.arcontrol.2016.04.001_bib0012 article-title: On supervisory control of sequential behaviors publication-title: IEEE Transactions on Automatic Control doi: 10.1109/9.182487 – volume: 53 start-page: 1839 year: 2008 ident: 10.1016/j.arcontrol.2016.04.001_bib0038 article-title: A framework for fault-tolerant control for discrete event systems publication-title: IEEE Transactions on Automatic Control doi: 10.1109/TAC.2008.929388 – volume: 41 start-page: 259 year: 2000 ident: 10.1016/j.arcontrol.2016.04.001_bib0001 article-title: On topological hierarchies of temporal properties publication-title: Fundamenta Informaticae doi: 10.3233/FI-2000-41301 – volume: 15 start-page: 111 year: 1990 ident: 10.1016/j.arcontrol.2016.04.001_bib0004 article-title: Formulas for calculating supremal controllable and normal sublanguages publication-title: Systems and Control Letters doi: 10.1016/0167-6911(90)90004-E – year: 2013 ident: 10.1016/j.arcontrol.2016.04.001_bib0008 – year: 2008 ident: 10.1016/j.arcontrol.2016.04.001_bib0005 – volume: 47 start-page: 639 issue: 4 year: 2011 ident: 10.1016/j.arcontrol.2016.04.001_bib0023 article-title: Active fault tolerant control of discrete event systems using online diagnostics publication-title: Automatica doi: 10.1016/j.automatica.2011.01.007 – volume: 50 start-page: 2015 year: 2005 ident: 10.1016/j.arcontrol.2016.04.001_bib0003 article-title: Robust nonblocking supervisory control of discrete-event systems publication-title: IEEE Transactions on Automatic Control doi: 10.1109/TAC.2005.860237 – volume: 25 start-page: 206 year: 1987 ident: 10.1016/j.arcontrol.2016.04.001_bib0025 article-title: Supervisory control of a class of discrete event processes publication-title: SIAM Journal on Control and Optimization doi: 10.1137/0325013 – start-page: 3493 year: 2005 ident: 10.1016/j.arcontrol.2016.04.001_bib0028 article-title: Sensor failure tolerant supervisory control – start-page: 19 year: 2011 ident: 10.1016/j.arcontrol.2016.04.001_bib0020 article-title: Online control reconfiguration for a faulty manufacturing process – start-page: 1172 year: 2008 ident: 10.1016/j.arcontrol.2016.04.001_bib0036 article-title: Synthesis of optimal fault-tolerant supervisor for discrete event systems – year: 2013 ident: 10.1016/j.arcontrol.2016.04.001_bib0042 article-title: Fault-hiding control reconfiguration for a class of discrete-event systems – volume: 44 start-page: 173 year: 1988 ident: 10.1016/j.arcontrol.2016.04.001_bib0014 article-title: On observability of discrete-event systems publication-title: Information Sciences doi: 10.1016/0020-0255(88)90001-1 – volume: 29 start-page: 953 year: 1998 ident: 10.1016/j.arcontrol.2016.04.001_bib0024 article-title: Robust and fault-tolerant supervisory control of discrete event systems with partial observation and model uncertainty publication-title: International Journal of Systems Science doi: 10.1080/00207729808929587 – start-page: 854 year: 2012 ident: 10.1016/j.arcontrol.2016.04.001_bib0041 article-title: Fault-tolerant control of discrete event systems based on fault-accommodating models – volume: 281 start-page: 265 year: 2014 ident: 10.1016/j.arcontrol.2016.04.001_bib0030 article-title: A framework for state attraction of discrete event systems under partial observation publication-title: Information Sciences doi: 10.1016/j.ins.2014.05.026 – volume: 37 start-page: 308 year: 2013 ident: 10.1016/j.arcontrol.2016.04.001_bib0043 article-title: Overview of fault diagnosis methods for discrete event systems publication-title: Annual Reviews in Control doi: 10.1016/j.arcontrol.2013.09.009 – volume: 44 start-page: 1056 year: 2014 ident: 10.1016/j.arcontrol.2016.04.001_bib0037 article-title: Framework for optimal fault-tolerant control synthesis: maximize prefault while minimize post-fault behaviors for discrete event systems publication-title: IEEE Transactions on Systems, Man and Cybernetics: Systems doi: 10.1109/TSMC.2013.2291538 – volume: 44 start-page: 376 year: 1999 ident: 10.1016/j.arcontrol.2016.04.001_bib0007 article-title: Robustness of supervisors for discrete-event systems publication-title: IEEE Transactions on Automatic Control doi: 10.1109/9.746270 – year: 1979 ident: 10.1016/j.arcontrol.2016.04.001_bib0010 – volume: 41 start-page: 1335 issue: 8 year: 2005 ident: 10.1016/j.arcontrol.2016.04.001_bib0021 article-title: Safe diagnosability for fault-tolerant supervision of discrete-event systems publication-title: Automatica doi: 10.1016/j.automatica.2005.03.017 – year: 2005 ident: 10.1016/j.arcontrol.2016.04.001_bib0031 – start-page: 8657 year: 2011 ident: 10.1016/j.arcontrol.2016.04.001_bib0019 article-title: A fault modeling approach for input/output automata – volume: 32 start-page: 1098 year: 1994 ident: 10.1016/j.arcontrol.2016.04.001_bib0035 article-title: Supervision of infinite behavior of discrete event systems publication-title: SIAM Journal on Control and Optimization doi: 10.1137/S0363012991217524 – volume: 48 start-page: 1858 year: 2009 ident: 10.1016/j.arcontrol.2016.04.001_bib0034 article-title: Effective control synthesis for partially observed discrete-event systems publication-title: SIAM Journal on Control and Optimization doi: 10.1137/060673862 – volume: 35 start-page: 190 issue: 2 year: 2009 ident: 10.1016/j.arcontrol.2016.04.001_bib0009 article-title: Automating the addition of fault tolerance with discrete controller synthesis publication-title: Formal Methods in System Design doi: 10.1007/s10703-009-0084-y – start-page: 428 year: 2014 ident: 10.1016/j.arcontrol.2016.04.001_bib0033 article-title: Computation of supervisors for fault-recovery and repair for discrete event systems – start-page: 377 year: 1990 ident: 10.1016/j.arcontrol.2016.04.001_bib0015 article-title: A hierarchy of temporal properties – start-page: 115 year: 2013 ident: 10.1016/j.arcontrol.2016.04.001_bib0032 article-title: Computation of fault-tolerant supervisors for discrete event systems |
| SSID | ssj0002215 |
| Score | 2.21513 |
| Snippet | A system is fault tolerant if it remains functional after the occurrence of a fault. Given a plant subject to a fault, fault-tolerant control requires the... |
| SourceID | unpaywall crossref elsevier |
| SourceType | Open Access Repository Enrichment Source Index Database Publisher |
| StartPage | 159 |
| SubjectTerms | Active fault-tolerant control Discrete-event systems Fault-hiding approach Fault-tolerant control Passive fault-tolerant control Post-fault recovery Supervisory control |
| SummonAdditionalLinks | – databaseName: Elsevier SD Freedom Collection dbid: .~1 link: http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV3PS8MwFA5jF_Xgj6k4f5GD17qkS7PW2xiOIagHHexWkjSBSenG1iK7-Leb16ZzA2GCx5Y8El6S976mX76H0B21XzoJD7UnIhp4TFsMF1EVeVQbHmgmFS3_mD6_8NGYPU2CSQMN6rswQKt0sb-K6WW0dm86zpud-XTaeQOxsQDU0EE1ygJduMHOelDF4P7rh-bh-2UVA2jsQestjpddSxUhHDhevNQ8ddVhfslQe0U2F6tPkaYbGWh4jA4ddMT9anQnqKGzFjqqyzJgt0tb6GBDY_AUvfYx3LwtgO2a4ZnBRhRp7uWzVNs0leNlMYdwsZwtVtgNE08zDBF7WTYHUJvi-lxzeYbGw8f3wchzVRQ8FRCSe4oxwwSTPteBzeXMKEEibULRIypJKE9CIbgUMmAs8i0gM5FUihMZGGrBEmHdc9TMZpm-QDghkd3uUnR1L2SJL0ImEl9ayCcMTaiibcRrz8XKSYxDpYs0rrlkH_Ha5TG4PCYMWHVtRNaG80plY7fJQz018daCiW0u2G1M15P51w4v_9PhFdqHp-rs5ho180WhbyyayeVtuVy_AXP29WQ priority: 102 providerName: Elsevier |
| Title | A discussion of fault-tolerant supervisory control in terms of formal languages |
| URI | https://dx.doi.org/10.1016/j.arcontrol.2016.04.001 https://doi.org/10.1016/j.arcontrol.2016.04.001 |
| UnpaywallVersion | publishedVersion |
| Volume | 41 |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| journalDatabaseRights | – providerCode: PRVESC databaseName: Baden-Württemberg Complete Freedom Collection (Elsevier) issn: 1367-5788 databaseCode: GBLVA dateStart: 20110101 customDbUrl: isFulltext: true dateEnd: 99991231 titleUrlDefault: https://www.sciencedirect.com omitProxy: true ssIdentifier: ssj0002215 providerName: Elsevier – providerCode: PRVESC databaseName: Elsevier SD Complete Freedom Collection [SCCMFC] issn: 1367-5788 databaseCode: ACRLP dateStart: 19960101 customDbUrl: isFulltext: true dateEnd: 99991231 titleUrlDefault: https://www.sciencedirect.com omitProxy: true ssIdentifier: ssj0002215 providerName: Elsevier – providerCode: PRVESC databaseName: Elsevier SD Freedom Collection issn: 1367-5788 databaseCode: .~1 dateStart: 19960101 customDbUrl: isFulltext: true dateEnd: 99991231 titleUrlDefault: https://www.sciencedirect.com omitProxy: true ssIdentifier: ssj0002215 providerName: Elsevier – providerCode: PRVESC databaseName: ScienceDirect Freedom Collection issn: 1367-5788 databaseCode: AIKHN dateStart: 19960101 customDbUrl: isFulltext: true dateEnd: 99991231 titleUrlDefault: https://www.sciencedirect.com omitProxy: true ssIdentifier: ssj0002215 providerName: Elsevier – providerCode: PRVLSH databaseName: Elsevier Journals issn: 1367-5788 databaseCode: AKRWK dateStart: 19960101 customDbUrl: isFulltext: true mediaType: online dateEnd: 99991231 omitProxy: true ssIdentifier: ssj0002215 providerName: Library Specific Holdings |
| link | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV1LT8MwDLZgOyAOjKcAwZQD145kpFnLrUJMA8TgwCQ4VUmaSEDVTlsrBAd-O0kf04ZAPO513caO_bX5bAMcEfOlEzFPOdwnrkOVwXA-kb5DlGauokKS4sT0esgGI3p5794vwXFdC7Nwfl_wsIy9S9K25WGxoi-prddqMteA7wY0R8Pb4KGsruo5xv-K4jevZ3SaDbTA6PryTt_lo5U8GfPXFx7Hc_mm34Lb-klLmslzJ89ER759auL4h1dZh7UKe6KgdJYNWFLJJrTquQ6o2uabsDrXpHALbgJkS3dzS5dNUKqR5nmcOVkaK5PnMjTNxzbeTNPJK6oUo8cE2ZA_LS63qDhG9Y_R6TaM-ud3ZwOnGsPgSBfjzJGUasqp6DLlGjBAteTYV9rjPSyjiLDI45wJLlxK_a5BdNoXUjIsXE0M2sL0ZAcaSZqoXUAR9k28EPxE9TwadblHedQVBjNyTSIiyR6w2hihrHqU21EZcViT0Z7C2SKGdhFDTC0tbw_wTHBctun4WeS0tnZYoY0SRYTGcD8Lk5l__Fbh_j9kDqCRTXJ1aIBPJtqw3HknbWgGF1eDYbty_Q8sZQUw |
| linkProvider | Unpaywall |
| linkToHtml | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV3PT9swFH4CdgAOY8AQbLD5wDXUDrab7IYqqrLx4wBI3CLbsaWiKK3aRKgX_nb8EqeANIlJuya2bD3b7322P38P4Jj5nU4uExuplImIW4_hUmbSiFknheXasObG9Opaju757wfxsAKD7i0M0iqD7299euOtw5desGZvOh73blFsTKAaOqpGeaC7Cp-4iPu4Azt5fuV5xHGTxgBLR1j8HcnLT6aWEY4kL9mInob0MH8JUet1OVWLJ1UUb0LQ8At8DtiRnLXd24YVW-7AVpeXgYRlugObb0QGd-HmjODT2xrpriWZOOJUXVRRNSmsj1MVmddT9BfzyWxBQjfJuCTosudNcUS1BekONudf4X54fjcYRSGNQmQEpVVkOHdccR1LK3ww584omlqXqD41ec5knigltdKC8zT2iMyl2hhJtXDMoyXKT_dgrZyUdh9ITlO_3rU6tf2E57FKuMpj7TGfcixnhh2A7CyXmaAxjqkuiqwjkz1mS5NnaPKMcqTVHQBdVpy2MhsfV_nVDU32bsZkPhh8XJktB_NfG_z2Pw3-hPXR3dVldnlx_ec7bOCf9iDnENaqWW2PPLSp9I9m6r4A10n4hw |
| linkToUnpaywall | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV3fS8MwEA5jexAfnE7FiUoefM1Mapq2vg1xDMG5BwfzqSRpAmrpxtoi86836Y-xiTL1vddrc5e7r813dwBcEvOlEzFfIR4QF1FlMFxAZICI0sxVVEhSnJg-jNhwQu-n7rQBrupamI3z-4KHZexdkrYtD4sVfUltvVaLuQZ8N0FrMhr3n8vqKg8Z_yuK33zP6DQbaIPR9e2dfspHO3ky58t3Hsdr-WbQBuP6SUuayVsvz0RPfnxp4viHV9kHexX2hP3SWQ5AQyUd0K7nOsBqm3fA7lqTwkPw2Ie2dDe3dNkEzjTUPI8zlM1iZfJcBtN8buNNOlssYaUYviTQhvy0uNyi4hjWP0bTIzAZ3D3dDlE1hgFJF-MMSUo15VQ4TLkGDFAtOQ6U9rmHZRQRFvmcM8GFS2ngGESnAyElw8LVxKAtTK-PQTOZJeoEwAgHJl4Ifq08n0YO9ymPHGEwI9ckIpJ0AauNEcqqR7kdlRGHNRntNVwtYmgXMcTU0vK6AK8E52Wbju0iN7W1wwptlCgiNIbbLkxW_vFbhaf_kDkDzWyRq3MDfDJxUTn7J_sBAqQ |
| 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=A+discussion+of+fault-tolerant+supervisory+control+in+terms+of+formal+languages&rft.jtitle=Annual+reviews+in+control&rft.au=Moor%2C+Thomas&rft.date=2016&rft.issn=1367-5788&rft.volume=41&rft.spage=159&rft.epage=169&rft_id=info:doi/10.1016%2Fj.arcontrol.2016.04.001&rft.externalDBID=n%2Fa&rft.externalDocID=10_1016_j_arcontrol_2016_04_001 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=1367-5788&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=1367-5788&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=1367-5788&client=summon |