Marcos Vicente Moreira

Learn 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(More)
We consider the problem of diagnosing the occurrence of a certain unobservable event of interest, the fault event, in the operation of a partially-observed discrete-event system subject to permanent loss of observations modeled by a finite-state automaton. Specifically, it is assumed that certain sensors for events that would a priori be observable may fail(More)
We propose in this paper a Petri net approach to online diagnosis of discrete event systems (DESs) modeled by finite state automata. The diagnosis method is based on the construction of a Petri net diagnoser (PND) which is constructed in polynomial time and requires less memory than other methods proposed in the literature. We also present methods for the(More)
A difficulty usually encountered in the preparation of a state-space-oriented control laboratory is that most of the system identification techniques available in the literature are for input/output models. Although in recent years there has been a growing interest in state-space identification methods, the application of these techniques in undergraduate(More)
One approach to online fault diagnosis of discrete-event systems is through the use of the diagnosers. Diagnosers are deterministic automata whose states are sets formed with the states of the plant together with labels that indicate if the trace that has occurred so far possesses or not the fault event. The decision regarding fault occurrence is taken(More)
The modeling of physical systems using discrete event models assumes that a set of sensors always report the event occurrences correctly. However, bad sensor operation can result in loss of observability of the events associated with the malfunctioning sensors. If one or more sensors fail, it may be possible that either the diagnoser stands still or provide(More)
Extended labeled Petri nets (ELPNs), i.e., labeled Petri nets with inhibitor arcs, are usually used to model the desired closed-loop behavior of a controlled discrete-event system, and, as such, their states are formed with both the controller and the plant states. However, the control logic is based on the controller states only and the interaction between(More)