Marcos V. Moreira

IEEE Trans. Autom. Control., 2016

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

[BibT_eX]

[DOI]

Carlos E. V. Nunes

Marcos Vinícius Silva Alves

Proceedings of the 13th International Workshop on Discrete Event Systems, 2016

2015

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

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2015

Online fault diagnosis of modular discrete-event systems.

[BibT_eX]

[DOI]

Proceedings of the 54th IEEE Conference on Decision and Control, 2015

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

[BibT_eX]

[DOI]

Jean H. A. Tomola

Proceedings of the IEEE International Conference on Automation Science and Engineering, 2015

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

[BibT_eX]

[DOI]

Gustavo S. Viana

Proceedings of the American Control Conference, 2015

Computational methods for diagnosability verification of hybrid systems.

[BibT_eX]

[DOI]

Victor R. Alvarez

Eduardo R. Silva

Proceedings of the 2015 IEEE Conference on Control Applications, 2015

2014

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

[BibT_eX]

[DOI]

IEEE Trans Autom. Sci. Eng., 2014

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

[BibT_eX]

[DOI]

Leonardo P. M. Santoro

Marcos Vinícius Silva Alves

Proceedings of the 12th International Workshop on Discrete Event Systems, 2014

Robust Supervisory Control against Intermittent Loss of Observations.

[BibT_eX]

[DOI]

Antonio Eduardo Carrilho da Cunha

Proceedings of the 12th International Workshop on Discrete Event Systems, 2014

Analysis and verification of the diagnosability of Hybrid Systems.

[BibT_eX]

[DOI]

Eduardo R. Silva

Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

2013

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

[BibT_eX]

[DOI]

Lilian K. Carvalho

Stéphane Lafortune

Autom., 2013

Diagnosability of intermittent sensor faults in discrete event systems.

[BibT_eX]

[DOI]

Leonardo B. Clavijo

Proceedings of the American Control Conference, 2013

2012

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

[BibT_eX]

[DOI]

IEEE Trans. Educ., 2012

Computation of minimal event bases that ensure diagnosability.

[BibT_eX]

[DOI]

Saulo Telles Souza Lima

Stéphane Lafortune

Discret. Event Dyn. Syst., 2012

Robust diagnosis of discrete event systems against intermittent loss of observations.

[BibT_eX]

[DOI]

Lilian K. Carvalho

Autom., 2012

Petri net diagnoser for DES modeled by finite state automata.

[BibT_eX]

[DOI]

Proceedings of the 51th IEEE Conference on Decision and Control, 2012

2010

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

[BibT_eX]

[DOI]

Saulo Telles Souza Lima

Stéphane Lafortune

Proceedings of the 10th International Workshop on Discrete Event Systems, 2010

Robust diagnosability of discrete event systems subject to intermittent sensor failures.

[BibT_eX]

[DOI]

Proceedings of the 10th International Workshop on Discrete Event Systems, 2010

Polynomial time verification of decentralized diagnosability of discrete event systems.

[BibT_eX]

[DOI]

Marcos V. Moreira

Thiago C. Jesus

Proceedings of the American Control Conference, 2010

2005

Rational stabilizing commutative controllers for unstable plant.

[BibT_eX]

[DOI]

Marcos V. Moreira

Basil Kouvaritakis

Proceedings of the 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, 2005

Design of normalizing precompensators via alignment of output-input principal directions.

[BibT_eX]

[DOI]

Marcos V. Moreira

Proceedings of the 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, 2005

2004

State-space parameter identification in a second control laboratory.

[BibT_eX]

[DOI]