loading
Documents

Research.Publish.Connect.

Paper

Authors: Felipe G. Cabral ; Maria Z. M. Veras and Marcos V. Moreira

Affiliation: Universidade Federal do Rio de Janeiro, Brazil

ISBN: 978-989-758-264-6

Keyword(s): Failure Diagnosis, Modular Systems, Automata, Petri Nets.

Related Ontology Subjects/Areas/Topics: Industrial Networks and Automation ; Informatics in Control, Automation and Robotics ; Robotics and Automation ; Surveillance

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 sh ow 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. (More)

PDF ImageFull Text

Download
Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 18.212.83.37

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
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

@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},
}

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

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.