State-space parameter identification in a second control laboratory. - João Carlos Basilio; Marcos Vicente Moreira (IEEE Trans. Educ., 2004)

Design of normalizing precompensators via alignment of output-input principal directions. - Marcos V. Moreira; João Carlos Basilio (CDC/ECC, 2005)

Rational stabilizing commutative controllers for unstable plant. - Marcos V. Moreira; João Carlos Basilio; Basil Kouvaritakis (CDC/ECC, 2005)

Robust diagnosability of discrete event systems subject to intermittent sensor failures. - Lilian Kawakami Carvalho; João Carlos Basilio; Marcos Vicente Moreira (WODES, 2010)

Robust diagnosis of discrete-event systems subject to permanent sensor failures. - Saulo Telles Souza Lima; João Carlos Basilio; Stéphane Lafortune; Marcos Vicente Moreira (WODES, 2010)

Polynomial Time Verification of Decentralized Diagnosability of Discrete Event Systems. - Marcos Vicente Moreira; Thiago C. Jesus; João Carlos Basilio (IEEE Trans. Autom. Control., 2011)

Petri net diagnoser for DES modeled by finite state automata. - Marcos Vicente Moreira; Felipe Gomes Cabral; Oumar Diene (CDC, 2012)

Robust diagnosis of discrete event systems against intermittent loss of observations. - Lilian K. Carvalho; João Carlos Basilio; Marcos Vicente Moreira (Autom., 2012)

Computation of minimal event bases that ensure diagnosability. - João Carlos Basilio; Saulo Telles Souza Lima; Stéphane Lafortune; Marcos Vicente Moreira (Discret. Event Dyn. Syst., 2012)

Fair and Square Computation of Inverse $ { cal Z}$-Transforms of Rational Functions. - Marcos Vicente Moreira; João Carlos Basilio (IEEE Trans. Educ., 2012)

Diagnosability of intermittent sensor faults in discrete event systems. - Lilian Kawakami Carvalho; João Carlos Basilio; Marcos Vicente Moreira; Leonardo B. Clavijo (ACC, 2013)

Robust diagnosis of discrete-event systems against permanent loss of observations. - Lilian K. Carvalho; Marcos Vicente Moreira; João Carlos Basilio; Stéphane Lafortune (Autom., 2013)

Analysis and verification of the diagnosability of Hybrid Systems. - Oumar Diene; Eduardo R. Silva; Marcos Vicente Moreira (CDC, 2014)

Robust Supervisory Control against Intermittent Loss of Observations. - Marcos Vinícius Silva Alves; João Carlos Basilio; Antonio Eduardo Carrilho da Cunha; Lilian Kawakami Carvalho; Marcos Vicente Moreira (WODES, 2014)

Computation of Minimal Diagnosis Bases of Discrete-Event Systems Using Verifiers: Method of the Ambiguous Cyclic Paths. - Leonardo P. M. Santoro; Marcos Vicente Moreira; João Carlos Basilio; Oumar Diene (WODES, 2014)

Bridging the Gap Between Design and Implementation of Discrete-Event Controllers. - Marcos Vicente Moreira; João Carlos Basilio (IEEE Trans Autom. Sci. Eng., 2014)

Computational methods for diagnosability verification of hybrid systems. - Oumar Diene; Marcos Vicente Moreira; Victor R. Alvarez; Eduardo R. Silva (CCA, 2015)

Computation of the maximum time for failure diagnosis of discrete-event systems. - Gustavo S. Viana; João Carlos Basilio; Marcos Vicente Moreira (ACC, 2015)

Robust codiagnosability of discrete-event systems against permanent loss of observations. - Jean H. A. Tomola; Marcos Vicente Moreira; João Carlos Basilio; Lilian Kawakami Carvalho (CASE, 2015)

Online fault diagnosis of modular discrete-event systems. - Felipe Gomes Cabral; Marcos Vicente Moreira; Oumar Diene (CDC, 2015)

A Petri Net Diagnoser for Discrete Event Systems Modeled by Finite State Automata. - Felipe Gomes Cabral; Marcos Vicente Moreira; Oumar Diene; João Carlos Basilio (IEEE Trans. Autom. Control., 2015)

Network codiagnosability of Discrete-Event Systems subject to event communication delays. - Carlos E. V. Nunes; Marcos Vicente Moreira; Marcos Vinícius Silva Alves; João Carlos Basilio (WODES, 2016)

"Polynomial Time Verification of Decentralized Diagnosability of Discrete Event Systems" Versus "Decentralized Failure Diagnosis of Discrete Event Systems": A Critical Appraisal. - Marcos Vicente Moreira; João Carlos Basilio; Felipe Gomes Cabral (IEEE Trans. Autom. Control., 2016)

Conditional Synchronized Diagnoser for Modular Discrete-event Systems. - Felipe G. Cabral; Maria Z. M. Veras; Marcos V. Moreira (ICINCO (2), 2017)

Diagnosability of intermittent sensor faults in discrete event systems. - Lilian K. Carvalho; Marcos Vicente Moreira; João Carlos Basilio (Autom., 2017)

Computation of minimal diagnosis bases of Discrete-Event Systems using verifiers. - Leonardo P. M. Santoro; Marcos Vicente Moreira; João Carlos Basilio (Autom., 2017)

Robust Disjunctive-Codiagnosability of Discrete-Event Systems Against Permanent Loss of Observations. - Jean H. A. Tomola; Felipe Gomes Cabral; Lilian K. Carvalho; Marcos Vicente Moreira (IEEE Trans. Autom. Control., 2017)

Codiagnosability of networked discrete event systems subject to communication delays and intermittent loss of observation. - Carlos E. V. Nunes; Marcos V. Moreira; Marcos Vinícius Silva Alves; Lilian K. Carvalho; João Carlos Basilio (Discret. Event Dyn. Syst., 2018)

Discrete event system identification with the aim of fault detection. - Marcos V. Moreira; Jean-Jacques Lesage (Discret. Event Dyn. Syst., 2019)

Codiagnosability Analysis of Discrete-Event Systems Modeled by Weighted Automata. - Gustavo S. Viana; Marcos V. Moreira; João Carlos Basilio (IEEE Trans. Autom. Control., 2019)

Diagnosability of Hybrid Systems. - Oumar Diene; Marcos V. Moreira; Eduardo A. Silva; Victor R. Alvarez; Claudionor F. Nascimento (IEEE Trans. Control. Syst. Technol., 2019)

Synchronous Diagnosis of Discrete-Event Systems. - Felipe Gomes Cabral; Marcos Vicente Moreira (IEEE Trans Autom. Sci. Eng., 2020)

Comparative analysis of related notions of robust diagnosability of Discrete-Event Systems. - Lilian Kawakami Carvalho; Marcos Vicente Moreira; João Carlos Basilio (Annu. Rev. Control., 2021)

Robust supervisory control of discrete event systems against intermittent loss of observations. - Marcos Vinícius Silva Alves; Antonio Eduardo Carrilho da Cunha; Lilian Kawakami Carvalho; Marcos Vicente Moreira; João Carlos Basilio (Int. J. Control, 2021)

K-loss robust codiagnosability of Discrete-Event Systems. - Vinicius de Souza Lima Oliveira; Felipe Gomes Cabral; Marcos Vicente Moreira (Autom., 2022)

Security of Cyber-Physical Systems: Design of a Security Supervisor to Thwart Attacks. - Públio M. Lima; Marcos Vinícius Silva Alves; Lilian Kawakami Carvalho; Marcos V. Moreira (IEEE Trans Autom. Sci. Eng., 2022)

Ensuring confidentiality of cyber-physical systems using event-based cryptography. - Públio M. Lima; Lilian K. Carvalho; Marcos V. Moreira (Inf. Sci., 2023)

Property-Based Transparency: a New Utility Definition. - Patrícia C. Mayer; Felipe G. Cabral; Públio M. M. Lima; Marcos V. Moreira; Audine Subias; Yannick Pencolé (CASE, 2024)

A cryptographic system based on automata for Networked Automation Systems abstracted as Discrete-Event Systems. - Marcos V. Moreira; Públio M. Lima; Lilian K. Carvalho; Felipe G. Cabral (CASE, 2024)

Computation of synchronous diagnosis bases of discrete-event systems. - Lucas N. R. Reis; Marcos V. Moreira (Inf. Sci., 2025)