A Generalized Fault Coverage Model for Linear Time-Invariant Systems
This paper proposes a fault coverage model for linear time-invariant (LTI) systems subject to uncertain input. A state-space representation, defined by the state-transition matrix, and the input matrix, is used to represent LTI system dynamic behavior. The uncertain input is considered to be unknown...
Saved in:
| Published in | IEEE transactions on reliability Vol. 58; no. 3; pp. 553 - 567 |
|---|---|
| Main Authors | , , |
| Format | Journal Article |
| Language | English |
| Published |
New York
IEEE
01.09.2009
The Institute of Electrical and Electronics Engineers, Inc. (IEEE) |
| Subjects | |
| Online Access | Get full text |
| ISSN | 0018-9529 1558-1721 |
| DOI | 10.1109/TR.2009.2019496 |
Cover
| Abstract | This paper proposes a fault coverage model for linear time-invariant (LTI) systems subject to uncertain input. A state-space representation, defined by the state-transition matrix, and the input matrix, is used to represent LTI system dynamic behavior. The uncertain input is considered to be unknown but bounded, where the bound is defined by an ellipsoid. The state-transition matrix, and the input matrix must be such that, for any possible input, the system dynamics meets its intended function, which can be defined by some performance requirements. These performance requirements constrain the system trajectories to some region of the state-space defined by a symmetrical polytope. When a fault occurs, the state-transition matrix, and the input matrix might be altered; and then, it is guaranteed the system survives the fault if all possible post-fault trajectories are fully contained in the region of the state-space defined by the performance requirements. This notion of guaranteed survivability is the basis to model (in the context of LTI systems) the concept of fault coverage, which is a probabilistic measure of the ability of the system to keep delivering its intended function after a fault. Analytical techniques to obtain estimates of the proposed fault coverage model are presented. To illustrate the application of the proposed model, two examples are discussed. |
|---|---|
| AbstractList | When a fault occurs, the state-transition matrix, and the input matrix might be altered; and then, it is guaranteed the system survives the fault if all possible post-fault trajectories are fully contained in the region of the state-space defined by the performance requirements. This paper proposes a fault coverage model for linear time-invariant (LTI) systems subject to uncertain input. A state-space representation, defined by the state-transition matrix, and the input matrix, is used to represent LTI system dynamic behavior. The uncertain input is considered to be unknown but bounded, where the bound is defined by an ellipsoid. The state-transition matrix, and the input matrix must be such that, for any possible input, the system dynamics meets its intended function, which can be defined by some performance requirements. These performance requirements constrain the system trajectories to some region of the state-space defined by a symmetrical polytope. When a fault occurs, the state-transition matrix, and the input matrix might be altered; and then, it is guaranteed the system survives the fault if all possible post-fault trajectories are fully contained in the region of the state-space defined by the performance requirements. This notion of guaranteed survivability is the basis to model (in the context of LTI systems) the concept of fault coverage, which is a probabilistic measure of the ability of the system to keep delivering its intended function after a fault. Analytical techniques to obtain estimates of the proposed fault coverage model are presented. To illustrate the application of the proposed model, two examples are discussed. |
| Author | Dominguez-Garcia, A.D. Kassakian, J.G. Schindall, J.E. |
| Author_xml | – sequence: 1 givenname: A.D. surname: Dominguez-Garcia fullname: Dominguez-Garcia, A.D. organization: Dept. of Electr. & Comput. Eng., Univ. of Illinois at Urbana-Champaign, Urbana, IL, USA – sequence: 2 givenname: J.G. surname: Kassakian fullname: Kassakian, J.G. organization: Lab. for Electromagn. & Electron. Syst., Massachusetts Inst. of Technol., Cambridge, MA, USA – sequence: 3 givenname: J.E. surname: Schindall fullname: Schindall, J.E. organization: Lab. for Electromagn. & Electron. Syst., Massachusetts Inst. of Technol., Cambridge, MA, USA |
| BookMark | eNp9kE1LAzEQhoNUsK2ePXgJHsTL1nzubo6lai1UBN17yG5nJWWbaLIV6q83peLBQy8zzMzzzjDvCA2cd4DQJSUTSom6q14njBCVAlVC5SdoSKUsM1owOkBDQmiZKcnUGRrFuE6lEKocovspnoODYDr7DSv8aLZdj2f-K3XeAT_7FXS49QEvrQMTcGU3kC3clwnWuB6_7WIPm3iOTlvTRbj4zWNUPT5Us6ds-TJfzKbLrOGS9ZlpRaOoqHkDiq8IbRuoS2B5nUPNiGxZXYhSQkGkVDKXLWEgBc-BtaQEKvgY3RzWfgT_uYXY642NDXSdceC3UXOhipwIksDboyBNpOC8kEVCr_-ha78NLn2hS5krygTZH747QE3wMQZo9UewGxN2mhK9N19Xr3pvvv41PynkP0Vje9Nb7_pgbHdEd3XQWQD4u5ImhSKK_wA2HJCv |
| CODEN | IERQAD |
| CitedBy_id | crossref_primary_10_1109_TPEL_2010_2103329 crossref_primary_10_1109_TR_2013_2270421 crossref_primary_10_1016_j_automatica_2012_04_007 crossref_primary_10_1109_MCS_2014_2364710 crossref_primary_10_1109_TPWRS_2011_2111466 |
| Cites_doi | 10.13182/NSE92-A23937 10.1145/800195.805940 10.1109/12.24286 10.1109/12.238482 10.1007/978-1-4612-0277-6 10.1109/T-C.1973.223703 10.1109/TR.1983.5221731 10.1109/TR.1987.5222318 10.1109/12.980013 10.1137/S1052623401399903 10.1007/978-1-4615-4381-7_16 10.1109/CMPASS.1994.318463 10.1007/978-1-84800-155-8_7 10.1017/CBO9780511804441 10.1109/2.585157 10.1109/24.475993 10.1109/INTLEC.1989.88272 10.1137/1.9781611970777 10.1016/S0951-8320(00)00017-X 10.1023/B:JOTA.0000015683.35168.bf 10.1137/S0036144504440543 10.1016/S0005-1098(99)00113-2 10.1109/12.364537 10.13182/NSE81-A19840 10.1080/1055678021000012426 10.1109/12.780878 10.1016/0951-8320(95)00135-2 10.1109/ARMS.1991.154462 |
| ContentType | Journal Article |
| Copyright | Copyright The Institute of Electrical and Electronics Engineers, Inc. (IEEE) 2009 |
| Copyright_xml | – notice: Copyright The Institute of Electrical and Electronics Engineers, Inc. (IEEE) 2009 |
| DBID | 97E RIA RIE AAYXX CITATION 7SP 8FD L7M F28 FR3 |
| DOI | 10.1109/TR.2009.2019496 |
| DatabaseName | IEEE All-Society Periodicals Package (ASPP) 2005–Present IEEE All-Society Periodicals Package (ASPP) 1998–Present IEEE Electronic Library (IEL) CrossRef Electronics & Communications Abstracts Technology Research Database Advanced Technologies Database with Aerospace ANTE: Abstracts in New Technology & Engineering Engineering Research Database |
| DatabaseTitle | CrossRef Technology Research Database Advanced Technologies Database with Aerospace Electronics & Communications Abstracts Engineering Research Database ANTE: Abstracts in New Technology & Engineering |
| DatabaseTitleList | Technology Research Database Engineering Research Database Engineering Research Database |
| Database_xml | – sequence: 1 dbid: RIE name: IEEE Electronic Library (IEL) url: https://proxy.k.utb.cz/login?url=https://ieeexplore.ieee.org/ sourceTypes: Publisher |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Engineering |
| EISSN | 1558-1721 |
| EndPage | 567 |
| ExternalDocumentID | 2291905581 10_1109_TR_2009_2019496 4967909 |
| Genre | orig-research |
| GroupedDBID | -~X .DC 0R~ 29I 4.4 5GY 5VS 6IK 8WZ 97E A6W AAJGR AARMG AASAJ AAWTH ABAZT ABQJQ ABVLG ACGFO ACGFS ACIWK ACNCT AENEX AETIX AGQYO AGSQL AHBIQ AI. AIBXA AKJIK AKQYR ALLEH ALMA_UNASSIGNED_HOLDINGS ASUFR ATWAV BEFXN BFFAM BGNUA BKEBE BPEOZ CS3 DU5 EBS EJD H~9 IAAWW IBMZZ ICLAB IDIHD IFIPE IFJZH IPLJI JAVBF LAI M43 MS~ OCL P2P RIA RIE RNS TN5 VH1 VJK AAYXX CITATION 7SP 8FD L7M RIG F28 FR3 |
| ID | FETCH-LOGICAL-c352t-af4c914b3ce93d01fceb8e26b6eb205f2b7485e70559565f02e5436e2f08e143 |
| IEDL.DBID | RIE |
| ISSN | 0018-9529 |
| IngestDate | Sun Sep 28 07:50:29 EDT 2025 Sun Sep 28 05:52:20 EDT 2025 Mon Jun 30 04:06:57 EDT 2025 Wed Oct 01 01:27:13 EDT 2025 Thu Apr 24 23:03:39 EDT 2025 Tue Aug 26 16:47:36 EDT 2025 |
| IsDoiOpenAccess | false |
| IsOpenAccess | true |
| IsPeerReviewed | true |
| IsScholarly | true |
| Issue | 3 |
| Language | English |
| License | https://ieeexplore.ieee.org/Xplorehelp/downloads/license-information/IEEE.html |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-c352t-af4c914b3ce93d01fceb8e26b6eb205f2b7485e70559565f02e5436e2f08e143 |
| Notes | ObjectType-Article-1 SourceType-Scholarly Journals-1 ObjectType-Feature-2 content type line 14 ObjectType-Article-2 ObjectType-Feature-1 content type line 23 |
| PQID | 856912404 |
| PQPubID | 23500 |
| PageCount | 15 |
| ParticipantIDs | crossref_primary_10_1109_TR_2009_2019496 proquest_journals_856912404 proquest_miscellaneous_34976040 crossref_citationtrail_10_1109_TR_2009_2019496 ieee_primary_4967909 proquest_miscellaneous_1349433757 |
| ProviderPackageCode | CITATION AAYXX |
| PublicationCentury | 2000 |
| PublicationDate | 2009-09-01 |
| PublicationDateYYYYMMDD | 2009-09-01 |
| PublicationDate_xml | – month: 09 year: 2009 text: 2009-09-01 day: 01 |
| PublicationDecade | 2000 |
| PublicationPlace | New York |
| PublicationPlace_xml | – name: New York |
| PublicationTitle | IEEE transactions on reliability |
| PublicationTitleAbbrev | TR |
| PublicationYear | 2009 |
| Publisher | IEEE The Institute of Electrical and Electronics Engineers, Inc. (IEEE) |
| Publisher_xml | – name: IEEE – name: The Institute of Electrical and Electronics Engineers, Inc. (IEEE) |
| References | ref35 ref13 strm (ref32) 1970 ref34 ref12 ref36 ref14 chernousko (ref24) 1999 ref11 ref10 ref2 ref39 ref17 ref19 kendall (ref27) 1961 amendola (ref16) 1981; 77 bertsimas (ref33) 2000; 27 grant (ref30) 2008 (ref15) 1979 ref26 ref25 ref20 schweppe (ref22) 1973 grimmett (ref31) 2001 ref21 (ref7) 1995 babcock (ref38) 1986 ref28 ref29 devooght (ref18) 1992; 111 ref8 ref9 ref4 ref3 ref6 (ref1) 1991 rausand (ref37) 2004 stiffler (ref5) 1982 ref40 kurzhanski (ref23) 1997 |
| References_xml | – volume: 111 start-page: 229 year: 1992 ident: ref18 article-title: probabilistic reactor dynamics-i: the theory of continuos event trees publication-title: Nuclear Science and Engineering doi: 10.13182/NSE92-A23937 – year: 1986 ident: ref38 publication-title: An Introduction to Reliability Modeling of Fault-Tolerant Systems – ident: ref2 doi: 10.1145/800195.805940 – year: 2008 ident: ref30 publication-title: MATLAB Software for Disciplined Convex Programming – year: 1995 ident: ref7 publication-title: Fault-Tolerant Computer System Design – ident: ref4 doi: 10.1109/12.24286 – ident: ref9 doi: 10.1109/12.238482 – start-page: 127 year: 1999 ident: ref24 publication-title: Whys and Hows in Uncertainty Modelling Probability Fuzziness and Anti-Optimization – year: 1961 ident: ref27 publication-title: A Course in the Geometry of n-Dimensions – year: 1997 ident: ref23 publication-title: Ellipsoidal Calculus for Estimation and Control doi: 10.1007/978-1-4612-0277-6 – ident: ref3 doi: 10.1109/T-C.1973.223703 – ident: ref6 doi: 10.1109/TR.1983.5221731 – year: 1973 ident: ref22 publication-title: Uncertain Dynamic Systems – ident: ref17 doi: 10.1109/TR.1987.5222318 – year: 2004 ident: ref37 publication-title: System Reliability Theory – ident: ref12 doi: 10.1109/12.980013 – ident: ref40 doi: 10.1137/S1052623401399903 – volume: 27 start-page: 469 year: 2000 ident: ref33 publication-title: Handbook of Semidefinite Programming doi: 10.1007/978-1-4615-4381-7_16 – ident: ref13 doi: 10.1109/CMPASS.1994.318463 – ident: ref36 doi: 10.1007/978-1-84800-155-8_7 – ident: ref29 doi: 10.1017/CBO9780511804441 – ident: ref8 doi: 10.1109/2.585157 – ident: ref14 doi: 10.1109/24.475993 – year: 2001 ident: ref31 publication-title: Probability and Random Processes – ident: ref35 doi: 10.1109/INTLEC.1989.88272 – ident: ref28 doi: 10.1137/1.9781611970777 – year: 1991 ident: ref1 publication-title: Dependability Basic Concepts and Terminology – ident: ref20 doi: 10.1016/S0951-8320(00)00017-X – ident: ref25 doi: 10.1023/B:JOTA.0000015683.35168.bf – year: 1982 ident: ref5 publication-title: Care III phase I report-mathematical description – ident: ref34 doi: 10.1137/S0036144504440543 – year: 1970 ident: ref32 publication-title: Introduction to Stochastic Control Theory – ident: ref26 doi: 10.1016/S0005-1098(99)00113-2 – ident: ref10 doi: 10.1109/12.364537 – volume: 77 start-page: 297 year: 1981 ident: ref16 article-title: event sequences and consequence spectrum: a methodology for probabilistic transient analysis publication-title: Nuclear Science An Engineering doi: 10.13182/NSE81-A19840 – ident: ref21 doi: 10.1080/1055678021000012426 – ident: ref11 doi: 10.1109/12.780878 – ident: ref19 doi: 10.1016/0951-8320(95)00135-2 – ident: ref39 doi: 10.1109/ARMS.1991.154462 – year: 1979 ident: ref15 publication-title: Introduction to Dynamic Systems |
| SSID | ssj0014498 |
| Score | 1.9265146 |
| Snippet | This paper proposes a fault coverage model for linear time-invariant (LTI) systems subject to uncertain input. A state-space representation, defined by the... When a fault occurs, the state-transition matrix, and the input matrix might be altered; and then, it is guaranteed the system survives the fault if all... |
| SourceID | proquest crossref ieee |
| SourceType | Aggregation Database Enrichment Source Index Database Publisher |
| StartPage | 553 |
| SubjectTerms | Aircraft navigation Automotive engineering Context modeling Convex optimization Dynamical systems Dynamics Ellipsoids fault coverage Fault detection Faults invariant sets linear time-invariant systems Markov reliability modeling Mathematical analysis Mathematical models Redundancy Risk management Studies Symmetric matrices System dynamics Systems engineering and theory Trajectories Vehicle dynamics |
| Title | A Generalized Fault Coverage Model for Linear Time-Invariant Systems |
| URI | https://ieeexplore.ieee.org/document/4967909 https://www.proquest.com/docview/856912404 https://www.proquest.com/docview/1349433757 https://www.proquest.com/docview/34976040 |
| Volume | 58 |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| journalDatabaseRights | – providerCode: PRVIEE databaseName: IEEE Electronic Library (IEL) customDbUrl: eissn: 1558-1721 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0014498 issn: 0018-9529 databaseCode: RIE dateStart: 19630101 isFulltext: true titleUrlDefault: https://ieeexplore.ieee.org/ providerName: IEEE |
| link | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwjV1BT90wDLaA0ziwMUB0DBakHXZYH2matM0RsT2xSXBAbxK3qmldCfHUh3gtB349dptXIRgSt0pN1TSO7c-N_Rnge1VkuqhdyeSDNtQuk2FRp3VI2IHccWSdrLje-eIyOf-n_16b6zX4OdbCIGKffIYTvuzP8qtF2fGvshNtk9Rytd56miVDrdZ4YqC19VaXFNgo62l8ImlPZlcDLyX5OquZnf-ZB-pbqryyw71zmX6Ei9W0hpyS20nXukn5-IKx8b3z_gRbHmWK02FbbMMaNp9h8xn34A78OhWecvrmESsxLbp5K844oZMsjOAWaXNBgFZQsErKILhUJPzTPFBoTbIQnuh8F2bT37Oz89C3VAhLQlotyUGXNtIuLtHGlYzqEl2GKnEJRdjS1MqlOjPIFDsUOJlaKjQ6TlDVMkOCVnuw0Swa3AehIiQwiZVjji6jUqdj-m7llI2qyFRxAJPVKuelpxvnrhfzvA87pM1nV9wD0-ZeLAH8GB-4G5g23h66w4s8DvPrG8DBSoy518RlnpnEEoaROoDj8S6pEJ-LFA0uumXODI06jlOTBvDtjTE0JE3I4H35_6sP4IPiugjOhFRfYaO97_CQ0Errjvpt-gQr_OUT |
| linkProvider | IEEE |
| linkToHtml | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwjV3Nb5VAEJ809aAe6kc1YrVdEw8e5HVZZoE9Nm1fXrWvhwaT3ggLQ9L4wjMWeuhf7yzsI43apDcShrDs7HwxM78B-FyXGZaNrRz4oAnRZjIsm7QJ2XdgcxwZK2vX77y8SBY_8NuVvtqCr1MvDBENxWc0c5dDLr9eV737VXaIJkmN69Z7ohFRj91aU84A0Xi9yyKslfFAPpE0h_nliEzJ1s6gw-e_Z4OGoSr_aOLBvMxfwHKzsLGq5Oes7-ysuvsLs_GxK38JO97PFEfjwXgFW9S-huf30Ad34eRIeNDp6zuqxbzsV504diWdrGOEG5K2EuzSCg5XWRyEaxYJz9pbDq6ZG8JDnb-BfH6aHy9CP1QhrNjX6pgTWJkIbVyRiWsZNRXZjFRiE46xpW6UTTHT5EB2OHTSjVSkMU5INTIjdq7ewna7bukdCBURu5NUW4fSpVVqMebvVlaZqI50HQcw2-xyUXnAcTf3YlUMgYc0RX7ppmCawrMlgC_TA79GrI2HSXfdJk9kfn8D2NuwsfCyeFNkOjHsxUgM4NN0l4XIZUbKltb9TeEwGjGOU50GcPAADZOkCau89_9_9QE8XeTL8-L87OL7Hjwbk06uFO0DbHe_e_rIvktn94cj-wdTMuho |
| 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+Generalized+Fault+Coverage+Model+for+Linear+Time-Invariant+Systems&rft.jtitle=IEEE+transactions+on+reliability&rft.au=Kassakian%2C+J+G&rft.au=Schindall%2C+J+E&rft.au=Dominguez-Garcia%2C+A+D&rft.date=2009-09-01&rft.issn=0018-9529&rft.volume=58&rft.issue=3&rft.spage=553&rft.epage=567&rft_id=info:doi/10.1109%2FTR.2009.2019496&rft.externalDBID=NO_FULL_TEXT |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0018-9529&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0018-9529&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0018-9529&client=summon |