Conditional Synchronized Diagnoser for Modular Discrete-event Systems

Felipe G. Cabral, Maria Z. M. Veras, Marcos V. Moreira

Abstract

In general, systems are formed by the composition of several modules, and may exhibit a large number of states. The growth of the global system model with the number of components leads to a high computational cost for diagnosis techniques. In order to circumvent this problem, in a recent work, a diagnosis scheme based on the observation of the nonfailure behavior model of the system components, and their synchronization due to observable events, is proposed. Although the computation of the global system model for diagnosis is avoided, the estimated observed nonfailure language in this scheme can be a larger set than the actual observed nonfailure language of the system, which leads to the notion of synchronous diagnosability. This scheme is implemented using a diagnoser, called synchronized Petri net diagnoser (SPND). In this work, we propose the addition of conditions for the observable transitions of the SPND, leading to a conditional synchronized Petri net diagnoser (CSPND). We show that the addition of such conditions can cause a decrease in the observed nonfailure language, and systems that are not synchronously diagnosable can be conditionally synchronously diagnosable, and the delay bound can be smaller than using the synchronous diagnosis scheme.

Download


Paper Citation


in Harvard Style

Cabral F., Veras M. and Moreira M. (2017). Conditional Synchronized Diagnoser for Modular Discrete-event Systems . In Proceedings of the 14th International Conference on Informatics in Control, Automation and Robotics - Volume 2: ICINCO, ISBN 978-989-758-264-6, pages 88-97. DOI: 10.5220/0006435700880097


in Bibtex Style

@conference{icinco17,
author={Felipe G. Cabral and Maria Z. M. Veras and Marcos V. Moreira},
title={Conditional Synchronized Diagnoser for Modular Discrete-event Systems},
booktitle={Proceedings of the 14th International Conference on Informatics in Control, Automation and Robotics - Volume 2: ICINCO,},
year={2017},
pages={88-97},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006435700880097},
isbn={978-989-758-264-6},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 14th International Conference on Informatics in Control, Automation and Robotics - Volume 2: ICINCO,
TI - Conditional Synchronized Diagnoser for Modular Discrete-event Systems
SN - 978-989-758-264-6
AU - Cabral F.
AU - Veras M.
AU - Moreira M.
PY - 2017
SP - 88
EP - 97
DO - 10.5220/0006435700880097