View Item 

Show simple item record

Diagnosability of Discrete Event Systems with Modular Structure
dc.contributor.authorContant, Olivieren_US
dc.contributor.authorLafortune, Stéphaneen_US
dc.contributor.authorTeneketzis, Demosthenisen_US
dc.date.accessioned2006-09-11T15:40:45Z
dc.date.available2006-09-11T15:40:45Z
dc.date.issued2006-01en_US
dc.identifier.citationContant, Olivier; Lafortune, Stéphane; Teneketzis, Demosthenis; (2006). "Diagnosability of Discrete Event Systems with Modular Structure." Discrete Event Dynamic Systems 16(1): 9-37. <http://hdl.handle.net/2027.42/45105>en_US
dc.identifier.issn0924-6703en_US
dc.identifier.issn1573-7594en_US
dc.identifier.urihttps://hdl.handle.net/2027.42/45105
dc.description.abstractThe diagnosis of unobservable faults in large and complex discrete event systems modeled by parallel composition of automata is considered. A modular approach is developed for diagnosing such systems. The notion of modular diagnosability is introduced and the corresponding necessary and sufficient conditions to ensure it are presented. The verification of modular diagnosability is performed by a new algorithm that incrementally exploits the modular structure of the system to save on computational effort. The correctness of the algorithm is proved. Online diagnosis of modularly diagnosable systems is achieved using only local diagnosers.en_US
dc.format.extent824137 bytes
dc.format.extent3115 bytes
dc.format.mimetypeapplication/pdf
dc.format.mimetypetext/plain
dc.language.isoen_US
dc.publisherKluwer Academic Publishers; Springer Science + Business Media, Inc.en_US
dc.subject.otherMathematicsen_US
dc.subject.otherOperations Research/Decision Theoryen_US
dc.subject.otherSystems Theory, Controlen_US
dc.subject.otherConvex and Discrete Geometryen_US
dc.subject.otherManufacturing, Machines, Toolsen_US
dc.subject.otherElectronic and Computer Engineeringen_US
dc.subject.otherDistributed Systemsen_US
dc.subject.otherDiagnosabilityen_US
dc.subject.otherModularityen_US
dc.subject.otherCommon Eventsen_US
dc.titleDiagnosability of Discrete Event Systems with Modular Structureen_US
dc.typeArticleen_US
dc.subject.hlbsecondlevelIndustrial and Operations Engineeringen_US
dc.subject.hlbsecondlevelMechanical Engineeringen_US
dc.subject.hlbtoplevelEngineeringen_US
dc.description.peerreviewedPeer Revieweden_US
dc.contributor.affiliationumDepartment of Electrical Engineering and Computer Science, The University of Michigan, 1301 Beal Avenue, Ann Arbor, MI, 48109–2122, USAen_US
dc.contributor.affiliationumDepartment of Electrical Engineering and Computer Science, The University of Michigan, 1301 Beal Avenue, Ann Arbor, MI, 48109–2122, USAen_US
dc.contributor.affiliationumDepartment of Electrical Engineering and Computer Science, The University of Michigan, 1301 Beal Avenue, Ann Arbor, MI, 48109–2122, USAen_US
dc.contributor.affiliationumcampusAnn Arboren_US
dc.description.bitstreamurlhttp://deepblue.lib.umich.edu/bitstream/2027.42/45105/1/10626_2006_Article_6177.pdfen_US
dc.identifier.doihttp://dx.doi.org/10.1007/s10626-006-6177-5en_US
dc.identifier.sourceDiscrete Event Dynamic Systemsen_US
dc.owningcollnameInterdisciplinary and Peer-Reviewed


Files in this item

Name:
10626_2006_Article_6177.pdf
Size:
804.8KB
Format:
PDF
View/Open

Show simple item record

Remediation of Harmful Language

The University of Michigan Library aims to describe library materials in a way that respects the people and communities who create, use, and are represented in our collections. Report harmful or offensive language in catalog records, finding aids, or elsewhere in our collections anonymously through our metadata feedback form. More information at Remediation of Harmful Language.

Accessibility

If you are unable to use this file in its current format, please select the Contact Us link and we can modify it to make it more accessible to you.