Marcos Vicente Moreira

发表

Computation of Minimal Diagnosis Bases of Discrete-Event Systems Using Verifiers: Method of the Ambiguous Cyclic Paths

João Carlos Basilio, Leonardo P. M. Santoro, Marcos Vicente Moreira, 2014, WODES.

Computation of minimal diagnosis bases of Discrete-Event Systems using verifiers

João Carlos Basilio, Leonardo P. M. Santoro, Marcos Vicente Moreira, 2017, Autom..

Robust diagnosis of discrete event systems against intermittent loss of observations

João Carlos Basilio, Marcos Vicente Moreira, Lilian Kawakami Carvalho, 2012, Autom..

Network codiagnosability of Discrete-Event Systems subject to event communication delays

João Carlos Basilio, Marcos Vicente Moreira, Marcos Vinícius Silva Alves, 2016, 2016 13th International Workshop on Discrete Event Systems (WODES).

Computation of the maximum time for failure diagnosis of discrete-event systems

Gustavo S. Viana, João Carlos Basilio, Marcos Vicente Moreira, 2015, 2015 American Control Conference (ACC).

Polynomial Time Verification of Decentralized Diagnosability of Discrete Event Systems

João Carlos Basilio, Marcos Vicente Moreira, Felipe Gomes Cabral, 2011, IEEE Transactions on Automatic Control.

Robust diagnosis of discrete-event systems subject to permanent sensor failures

Stéphane Lafortune, João Carlos Basilio, Marcos Vicente Moreira, 2010, WODES.

Petri net diagnoser for DES modeled by finite state automata

Marcos Vicente Moreira, Oumar Diene, Felipe Gomes Cabral, 2012, 2012 IEEE 51st IEEE Conference on Decision and Control (CDC).

Robust Supervisory Control against Intermittent Loss of Observations

Antonio Eduardo Carrilho da Cunha, João Carlos Basilio, Marcos Vicente Moreira, 2014, WODES.

Computation of minimal event bases that ensure diagnosability

Stéphane Lafortune, João Carlos Basilio, Marcos Vicente Moreira, 2012, Discret. Event Dyn. Syst..

Online fault diagnosis of modular discrete-event systems

Marcos Vicente Moreira, Oumar Diene, Felipe Gomes Cabral, 2015, 2015 54th IEEE Conference on Decision and Control (CDC).

Robust diagnosis of discrete-event systems against permanent loss of observations

Stéphane Lafortune, João Carlos Basilio, Marcos Vicente Moreira, 2013, Autom..

Bridging the Gap Between Design and Implementation of Discrete-Event Controllers

João Carlos Basilio, Marcos Vicente Moreira, 2014, IEEE Transactions on Automation Science and Engineering.

Fair and Square Computation of Inverse $ {\cal Z}$-Transforms of Rational Functions

João Carlos Basilio, Marcos Vicente Moreira, 2012, IEEE Transactions on Education.

Robust codiagnosability of discrete-event systems against permanent loss of observations

João Carlos Basilio, Marcos Vicente Moreira, Lilian Kawakami Carvalho, 2015, 2015 IEEE International Conference on Automation Science and Engineering (CASE).

Robust diagnosability of discrete event systems subject to intermittent sensor failures

João Carlos Basilio, Marcos Vicente Moreira, Lilian Kawakami Carvalho, 2010, WODES.

A Petri Net Diagnoser for Discrete Event Systems Modeled by Finite State Automata

João Carlos Basilio, Marcos Vicente Moreira, Oumar Diene, 2015, IEEE Transactions on Automatic Control.

State-space parameter identification in a second control laboratory

João Carlos Basilio, Marcos Vicente Moreira, M. V. Moreira, 2004, IEEE Transactions on Education.

Computational methods for diagnosability verification of hybrid systems

Marcos Vicente Moreira, Oumar Diene, Victor R. Alvarez, 2015, 2015 IEEE Conference on Control Applications (CCA).

Analysis and verification of the diagnosability of Hybrid Systems

Marcos Vicente Moreira, Oumar Diene, Eduardo R. Silva, 2014, 53rd IEEE Conference on Decision and Control.

Comparative analysis of related notions of robust diagnosability of Discrete-Event Systems

João Carlos Basilio, Marcos Vicente Moreira, Lilian Kawakami Carvalho, 2021, Annu. Rev. Control..

Reduction of Diagnosers for Discrete-Event Systems

Marcos Vicente Moreira, Augusto Pedro Vasconcellos, Gustavo da Silva Viana, 2021, Journal of Control, Automation and Electrical Systems.