Computation of reduced-order models of multivariable systems by balanced truncation. - J. S. Garcia; João Carlos Basilio (Int. J. Syst. Sci., 2002)

Design of PI and PID controllers with transient performance specification. - João Carlos Basilio; S. R. Matos (IEEE Trans. Educ., 2002)

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)

Integrated Fault Diagnosis Based on Petri Net Models. - Manuel Manyari-Rivera; João Carlos Basilio; Amit Bhaya (CCA, 2007)

Robust codiagnosability of discrete event systems. - João Carlos Basilio; Stéphane Lafortune (ACC, 2009)

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)

Integrated online auto-tuning and digital implementation of PID controllers in industrial processes. - Manuel Manyari-Rivera; João Carlos Basilio (ICCA, 2011)

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)

DESLAB: A scientific computing program for analysis and synthesis of discrete-event systems. - Leonardo B. Clavijo; João Carlos Basilio; Lilian Kawakami Carvalho (WODES, 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)

An algorithm inspired by the deterministic annealing approach to avoid local minima in artificial potential fields. - Nara Strappa Facchinetti Doria; Eduardo Oliveira Freire; João Carlos Basilio (ICAR, 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)

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)

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)

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)

A stochastic Petri net model for simulation-based performance analysis of public bicycle sharing systems. - Ingrid Antunes; Lilian K. Carvalho; João Carlos Basilio (CASE, 2016)

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)

Supervisory control of timed networked discrete event systems. - Marcos Vinícius Silva Alves; Lilian K. Carvalho; João Carlos Basilio (CDC, 2017)

Codiagnosability of timed networked discrete-event systems subject to event communication delays and intermittent loss of observation. - Gustavo S. Viana; Marcos Vinícius Silva Alves; João Carlos Basilio (CDC, 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)

Empirical studies in the size of diagnosers and verifiers for diagnosability analysis. - Leonardo B. Clavijo; João Carlos Basilio (Discret. Event Dyn. Syst., 2017)

New Algorithms for Verification of Relative Observability and Computation of Supremal Relatively Observable Sublanguage. - Marcos Vinícius Silva Alves; Lilian K. Carvalho; João Carlos Basilio (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)

Supervisory Control-Based Navigation Architecture: A New Framework for Autonomous Robots in Industry 4.0 Environments. - Antonio G. C. Gonzalez; Marcos Vinícius Silva Alves; Gustavo S. Viana; Lilian K. Carvalho; João Carlos Basilio (IEEE Trans. Ind. Informatics, 2018)

Codiagnosability of discrete event systems revisited: A new necessary and sufficient condition and its applications. - Gustavo S. Viana; João Carlos Basilio (Autom., 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)

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)

Enforcing current-state opacity through shuffle and deletions of event observations. - Raphael Julio Barcelos; João Carlos Basilio (Autom., 2021)

Intermittent fault diagnosability of discrete event systems: an overview of automaton-based approaches. - Abderraouf Boussif; Mohamed Ghazel; João Carlos Basilio (Discret. Event Dyn. Syst., 2021)

Analysis and Control for Resilience of Discrete Event Systems: Fault Diagnosis, Opacity and Cyber Security. - João Carlos Basilio; Christoforos N. Hadjicostis; Rong Su 001 (Found. Trends Syst. Control., 2021)

Online fault diagnosis for smart machines embedded in Industry 4.0 manufacturing systems: A labeled Petri net-based approach. - Pedro R. R. Paiva; Braian I. de Freitas; Lilian K. Carvalho; João Carlos Basilio (IFAC J. Syst. 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)

Supervisory Control of Networked Discrete Event Systems With Timing Structure. - Marcos Vinícius Silva Alves; Lilian K. Carvalho; João Carlos Basilio (IEEE Trans. Autom. Control., 2021)

Codiagnosability of Networked Discrete Event Systems With Timing Structure. - Gustavo S. Viana; Marcos Vinícius Silva Alves; João Carlos Basilio (IEEE Trans. Autom. Control., 2022)

Public bicycle sharing systems control and performance evaluation: A Petri net-based approach. - Braian I. de Freitas; Lilian K. Carvalho; João Carlos Basilio (Inf. Sci., 2023)

Disjunctive fault prediction of decentralized discrete event systems: Verification, predictor design and K-copredictability. - Raphael Julio Barcelos; João Carlos Basilio (Autom., 2023)

A Fuzzy Inference Model to Identify the Current Industry Maturity Stage in the Transformation Process to Industry 4.0. - Alexandre de Oliveira Gomes; João Carlos Basilio (IEEE Trans Autom. Sci. Eng., 2024)

State Estimation and Detectability of Networked Discrete Event Systems With Multi-Channel Communication Networks. - Marcos Vinícius Silva Alves; João Carlos Basilio (IEEE Trans Autom. Sci. Eng., 2024)

Online Fault Prognosis of Labeled Petri Nets. - Braian I. de Freitas; Armand Toguyéni; João Carlos Basilio (IEEE Control. Syst. Lett., 2025)

A Diagnoser-Based Approach to Diagnosis and Diagnosability of Repeated Faults of Discrete-Event Systems. - João Carlos Basilio; Guilherme M. Ottoni Silva (IEEE Trans. Autom. Control., 2025)