Abstract
This chapter is devoted to complex discrete-event systems that are represented by input–output automata networks. A method for decentralised diagnosis is developed where the diagnostic units have only access to the model and the measurement sequences of a subsystem. It guarantees that the diagnostic result is complete in spite of the lack of information about the subsystem interactions. Completeness means that the set of faults found by the diagnostic units include all fault candidates. Sufficient conditions for the autonomy of subsystems and for the kind of asynchronous state transitions are derived for which the result of decentralised diagnosis coincides with the result of centralised diagnosis.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2016 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Blanke, M., Kinnaert, M., Lunze, J., Staroswiecki, M. (2016). Diagnosis of I/O Automata Networks. In: Diagnosis and Fault-Tolerant Control. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-47943-8_12
Download citation
DOI: https://doi.org/10.1007/978-3-662-47943-8_12
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-662-47942-1
Online ISBN: 978-3-662-47943-8
eBook Packages: EngineeringEngineering (R0)