Failure diagnosis is an important task in large complex systems and as such this problem has rece... more Failure diagnosis is an important task in large complex systems and as such this problem has received in the last years considerable attention in the literature. The first step to diagnose failure occurrences in discrete event systems is the verification of the system diagnosability. Several works in the literature have addresses this problem using either diagnosers or verifiers for the centralized and decentralized architectures. In this paper a new polynomial time algorithm to verify the decentralized diagnosability property of a discrete event system is proposed. The algorithm has lower computational complexity than other methods proposed in the literature and can also be applied to the centralized case.
The first step in the diagnosis of failure occurrences in discrete event systems is the verificat... more The first step in the diagnosis of failure occurrences in discrete event systems is the verification of the system diagnosability. Several works have addressed this problem using either diagnosers or verifiers for both centralized and decentralized architectures. In this technical note, we propose a new algorithm to verify decentralized diagnosability of discrete event systems. The proposed algorithm requires polynomial time in the number of states and events of the system and has lower computational complexity than all other methods found in the literature. In addition, it can also be applied to the centralized case.
This paper addresses the modeling and development of a system of data management systems based on... more This paper addresses the modeling and development of a system of data management systems based on PIMS. In this case a software must collect data from sensors, apply a compression algorithm on these data, store this information in a database and display them through a web application. For testing purposes, the system developed is used to automate a station dedicated to the remote monitoring of solarimetric variables. The system goal is to provide high rates of data compression, resulting in a performance gain of the system, maintaining the philosophy of freeware.
Failure diagnosis is an important task in large complex systems and as such this problem has rece... more Failure diagnosis is an important task in large complex systems and as such this problem has received in the last years considerable attention in the literature. The first step to diagnose failure occurrences in discrete event systems is the verification of the system diagnosability. Several works in the literature have addresses this problem using either diagnosers or verifiers for the centralized and decentralized architectures. In this paper a new polynomial time algorithm to verify the decentralized diagnosability property of a discrete event system is proposed. The algorithm has lower computational complexity than other methods proposed in the literature and can also be applied to the centralized case.
The first step in the diagnosis of failure occurrences in discrete event systems is the verificat... more The first step in the diagnosis of failure occurrences in discrete event systems is the verification of the system diagnosability. Several works have addressed this problem using either diagnosers or verifiers for both centralized and decentralized architectures. In this technical note, we propose a new algorithm to verify decentralized diagnosability of discrete event systems. The proposed algorithm requires polynomial time in the number of states and events of the system and has lower computational complexity than all other methods found in the literature. In addition, it can also be applied to the centralized case.
This paper addresses the modeling and development of a system of data management systems based on... more This paper addresses the modeling and development of a system of data management systems based on PIMS. In this case a software must collect data from sensors, apply a compression algorithm on these data, store this information in a database and display them through a web application. For testing purposes, the system developed is used to automate a station dedicated to the remote monitoring of solarimetric variables. The system goal is to provide high rates of data compression, resulting in a performance gain of the system, maintaining the philosophy of freeware.
Uploads
Papers by Thiago Jesus