DSpace Repository

Verification of modular diagnosability with local specifications for discrete-event systems

Show simple item record

dc.contributor.author Schmidt, Klaus Werner
dc.date.accessioned 2017-06-08T08:13:29Z
dc.date.available 2017-06-08T08:13:29Z
dc.date.issued 2013-09
dc.identifier.citation Schmidt, K.W. (2013). Verification of modular diagnosability with local specifications for discrete-event systems. IEEE Transactions on Systems Man Cybernetics Systems, 43(5), 1130-1140. http://dx.doi.org/10.1109/TSMCA.2012.2227251 tr_TR
dc.identifier.issn 2168-2216
dc.identifier.uri http://hdl.handle.net/20.500.12416/1599
dc.description.abstract In this paper, we study the diagnosability verification for modular discrete-event systems (DESs), i.e., DESs that are composed of multiple components. We focus on a particular modular architecture, where each fault in the system must be uniquely identified by the modular component where it occurs and solely based on event observations of that component. Hence, all diagnostic computations for faults to be detected in this architecture can be performed locally on the respective modular component, and the obtained diagnosis information is only relevant for that component. We define the condition of modular language diagnosability with local specifications (MDLS) in order to capture that each fault can indeed be detected in this modular architecture. Then, we show that MDLS can be formulated as a specific language-diagnosability problem. As the main contribution of this paper, we develop an incremental abstraction-based approach for the verification of MDLS, which is based on projections that fulfill the loop-preserving observer condition. In particular, our approach efficiently avoids the construction of a global system model, which is infeasible for systems of realistic size. Furthermore, we do not rely on the assumption of a live global plant, which is prevalent in previous diagnosability methods for modular DESs. We illustrate our approach and its computational savings by a manufacturing system example. tr_TR
dc.language.iso eng tr_TR
dc.publisher IEEE-Inst Electrical Electronics Engineers Inc tr_TR
dc.relation.isversionof 10.1109/TSMCA.2012.2227251 tr_TR
dc.rights info:eu-repo/semantics/closedAccess
dc.subject Abstraction tr_TR
dc.subject Discrete-Event Systems (DESs) tr_TR
dc.subject Language Diagnosability tr_TR
dc.subject Modular Systems tr_TR
dc.title Verification of modular diagnosability with local specifications for discrete-event systems tr_TR
dc.type article tr_TR
dc.relation.journal IEEE Transactions on Systems Man Cybernetics Systems tr_TR
dc.contributor.authorID 17337 tr_TR
dc.identifier.volume 43 tr_TR
dc.identifier.issue 5 tr_TR
dc.identifier.startpage 1130 tr_TR
dc.identifier.endpage 1140 tr_TR
dc.contributor.department Çankaya Üniversitesi, Mühendislik Fakültesi, Mekatronik Mühendisliği Bölümü tr_TR


Files in this item

Files Size Format View

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record