Abstraction-Based Verification of Codiagnosability for Discrete Event Systems
| dc.contributor.author | Schmidt, K. | |
| dc.contributor.other | 06.08. Mekatronik Mühendisliği | |
| dc.contributor.other | 06. Mühendislik Fakültesi | |
| dc.contributor.other | 01. Çankaya Üniversitesi | |
| 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.description.publishedMonth | 9 | |
| 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/123456789/11391 | |
| dc.language.iso | en | en_US |
| dc.publisher | Pergamon-elsevier Science Ltd | en_US |
| 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 | Schmıdt, Klaus Werner | |
| gdc.author.scopusid | 55464613900 | |
| gdc.author.wosid | Schmidt, Klaus/O-2493-2013 | |
| 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.openalex.fwci | 1.0412193 | |
| gdc.openalex.normalizedpercentile | 0.78 | |
| gdc.opencitations.count | 16 | |
| gdc.plumx.crossrefcites | 13 | |
| gdc.plumx.mendeley | 12 | |
| gdc.plumx.scopuscites | 17 | |
| gdc.scopus.citedcount | 17 | |
| 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 |