Abstraction-Based Verification of Codiagnosability for Discrete Event Systems
| dc.contributor.author | Schmidt, K. | |
| dc.date.accessioned | 2016-06-10T10:37:32Z | |
| dc.date.accessioned | 2025-09-18T12:09:23Z | |
| dc.date.available | 2016-06-10T10:37:32Z | |
| dc.date.available | 2025-09-18T12:09:23Z | |
| dc.date.issued | 2010 | |
| dc.description | Schmidt, Ece Guran/0000-0002-4062-389X | en_US |
| dc.description.abstract | In this paper, we investigate the verification of codiagnosability for discrete event systems (DES). That is, it is desired to ascertain if the occurrence of system faults can be detected based on the information of multiple local sites that partially observe the overall DES. As an improvement of existing codiagnosability tests that resort to the original DES with a potentially computationally infeasible state space, we propose a method that employs an abstracted system model on a smaller state space for the codiagnosability verification. Furthermore, we show that this abstraction can be computed without explicitly evaluating the state space of the original model in the practical case where the DES is composed of multiple subsystems. (c) 2010 Elsevier Ltd. All rights reserved. | en_US |
| dc.identifier.citation | Schmidt, K. (2010). Abstraction-based verification of codiagnosability for discrete event systems. Automatica, 46(9), 1489-1494. http://dx.doi.org/10.1016/j.automatica.2010.06.010 | en_US |
| dc.identifier.doi | 10.1016/j.automatica.2010.06.010 | |
| dc.identifier.issn | 0005-1098 | |
| dc.identifier.scopus | 2-s2.0-77956170605 | |
| dc.identifier.uri | https://doi.org/10.1016/j.automatica.2010.06.010 | |
| dc.identifier.uri | https://hdl.handle.net/20.500.12416/11391 | |
| dc.language.iso | en | en_US |
| dc.publisher | Pergamon-elsevier Science Ltd | en_US |
| dc.relation.ispartof | Automatica | |
| dc.rights | info:eu-repo/semantics/closedAccess | en_US |
| dc.subject | Discrete Event Systems | en_US |
| dc.subject | Failure Diagnosis | en_US |
| dc.subject | Codiagnosability | en_US |
| dc.subject | Abstraction | en_US |
| dc.subject | Verification | en_US |
| dc.title | Abstraction-Based Verification of Codiagnosability for Discrete Event Systems | en_US |
| dc.title | Abstraction-based verification of codiagnosability for discrete event systems | tr_TR |
| dc.type | Article | en_US |
| dspace.entity.type | Publication | |
| gdc.author.id | Schmidt, Ece Guran/0000-0002-4062-389X | |
| gdc.author.institutional | Schmidt, K. | |
| gdc.author.scopusid | 55464613900 | |
| gdc.author.wosid | Schmidt, Klaus/O-2493-2013 | |
| gdc.bip.impulseclass | C5 | |
| gdc.bip.influenceclass | C4 | |
| gdc.bip.popularityclass | C5 | |
| gdc.coar.access | metadata only access | |
| gdc.coar.type | text::journal::journal article | |
| gdc.collaboration.industrial | false | |
| gdc.description.department | Çankaya University | en_US |
| gdc.description.departmenttemp | Cankaya Univ, Dept Elect & Commun Engn, TR-06530 Ankara, Turkey | en_US |
| gdc.description.endpage | 1494 | en_US |
| gdc.description.issue | 9 | en_US |
| gdc.description.publicationcategory | Makale - Uluslararası Hakemli Dergi - Kurum Öğretim Elemanı | en_US |
| gdc.description.scopusquality | Q1 | |
| gdc.description.startpage | 1489 | en_US |
| gdc.description.volume | 46 | en_US |
| gdc.description.woscitationindex | Science Citation Index Expanded | |
| gdc.description.wosquality | Q1 | |
| gdc.identifier.openalex | W2092835452 | |
| gdc.identifier.wos | WOS:000281991600011 | |
| gdc.index.type | WoS | |
| gdc.index.type | Scopus | |
| gdc.oaire.diamondjournal | false | |
| gdc.oaire.impulse | 3.0 | |
| gdc.oaire.influence | 3.7330072E-9 | |
| gdc.oaire.isgreen | false | |
| gdc.oaire.keywords | codiagnosability | |
| gdc.oaire.keywords | Reliability, availability, maintenance, inspection in operations research | |
| gdc.oaire.keywords | failure diagnosis | |
| gdc.oaire.keywords | abstraction | |
| gdc.oaire.keywords | discrete event systems | |
| gdc.oaire.keywords | Discrete event control/observation systems | |
| gdc.oaire.keywords | verification | |
| gdc.oaire.popularity | 1.7362088E-9 | |
| gdc.oaire.publicfunded | false | |
| gdc.oaire.sciencefields | 0209 industrial biotechnology | |
| gdc.oaire.sciencefields | 0203 mechanical engineering | |
| gdc.oaire.sciencefields | 02 engineering and technology | |
| gdc.openalex.collaboration | National | |
| gdc.openalex.fwci | 1.0412193 | |
| gdc.openalex.normalizedpercentile | 0.77 | |
| gdc.opencitations.count | 16 | |
| gdc.plumx.crossrefcites | 13 | |
| gdc.plumx.mendeley | 12 | |
| gdc.plumx.scopuscites | 15 | |
| gdc.publishedmonth | 9 | |
| gdc.scopus.citedcount | 17 | |
| gdc.virtual.author | Schmıdt, Klaus Werner | |
| gdc.wos.citedcount | 12 | |
| relation.isAuthorOfPublication | ec56c293-1f64-49af-b5ae-5ae41cb32f1b | |
| relation.isAuthorOfPublication.latestForDiscovery | ec56c293-1f64-49af-b5ae-5ae41cb32f1b | |
| relation.isOrgUnitOfPublication | 5b0b2c59-0735-4593-b820-ff3847d58827 | |
| relation.isOrgUnitOfPublication | 43797d4e-4177-4b74-bd9b-38623b8aeefa | |
| relation.isOrgUnitOfPublication | 0b9123e4-4136-493b-9ffd-be856af2cdb1 | |
| relation.isOrgUnitOfPublication.latestForDiscovery | 5b0b2c59-0735-4593-b820-ff3847d58827 |