João Carlos Basilio

Publication Activity (10 Years)

Years Active: 2002-2024
Publications (10 Years): 30

Top Topics

Empirical Studies

Failure Diagnosis

Top Venues

IEEE Trans. Autom. Control.

Discret. Event Dyn. Syst.

Publications

Alexandre de Oliveira Gomes, João Carlos Basilio
A Fuzzy Inference Model to Identify the Current Industry Maturity Stage in the Transformation Process to Industry 4.0. IEEE Trans Autom. Sci. Eng. 21 (2) (2024)
Marcos Vinícius Silva Alves, João Carlos Basilio
State Estimation and Detectability of Networked Discrete Event Systems With Multi-Channel Communication Networks. IEEE Trans Autom. Sci. Eng. 21 (3) (2024)
Braian I. de Freitas, Lilian K. Carvalho, João Carlos Basilio
Public bicycle sharing systems control and performance evaluation: A Petri net-based approach. Inf. Sci. 632 (2023)
Raphael Julio Barcelos, João Carlos Basilio
Disjunctive fault prediction of decentralized discrete event systems: Verification, predictor design and K-copredictability. Autom. 148 (2023)
Gustavo S. Viana, Marcos Vinícius Silva Alves, João Carlos Basilio
Codiagnosability of Networked Discrete Event Systems With Timing Structure. IEEE Trans. Autom. Control. 67 (8) (2022)
Pedro R. R. Paiva, Braian I. de Freitas, Lilian K. Carvalho, João Carlos Basilio
Online fault diagnosis for smart machines embedded in Industry 4.0 manufacturing systems: A labeled Petri net-based approach. IFAC J. Syst. Control. 16 (2021)
Marcos Vinícius Silva Alves, Lilian K. Carvalho, João Carlos Basilio
Supervisory Control of Networked Discrete Event Systems With Timing Structure. IEEE Trans. Autom. Control. 66 (5) (2021)
Abderraouf Boussif, Mohamed Ghazel, João Carlos Basilio
Intermittent fault diagnosability of discrete event systems: an overview of automaton-based approaches. Discret. Event Dyn. Syst. 31 (1) (2021)
Lilian Kawakami Carvalho, Marcos Vicente Moreira, João Carlos Basilio
Comparative analysis of related notions of robust diagnosability of Discrete-Event Systems. Annu. Rev. Control. 51 (2021)
Marcos Vinícius Silva Alves, Antonio Eduardo Carrilho da Cunha, Lilian Kawakami Carvalho, Marcos Vicente Moreira, João Carlos Basilio
Robust supervisory control of discrete event systems against intermittent loss of observations. Int. J. Control 94 (7) (2021)
Raphael Julio Barcelos, João Carlos Basilio
Enforcing current-state opacity through shuffle and deletions of event observations. Autom. 133 (2021)
João Carlos Basilio, Christoforos N. Hadjicostis, Rong Su
Analysis and Control for Resilience of Discrete Event Systems: Fault Diagnosis, Opacity and Cyber Security. Found. Trends Syst. Control. 8 (4) (2021)
Gustavo S. Viana, Marcos V. Moreira, João Carlos Basilio
Codiagnosability Analysis of Discrete-Event Systems Modeled by Weighted Automata. IEEE Trans. Autom. Control. 64 (10) (2019)
Marcos Vinícius Silva Alves, João Carlos Basilio
State Estimation and Detectability of Networked Discrete Event Systems with Multi-Channel Communication Networks. ACC (2019)
Gustavo S. Viana, João Carlos Basilio
Codiagnosability of discrete event systems revisited: A new necessary and sufficient condition and its applications. Autom. 101 (2019)
Carlos E. V. Nunes, Marcos V. Moreira, Marcos Vinícius Silva Alves, Lilian K. Carvalho, João Carlos Basilio
Codiagnosability of networked discrete event systems subject to communication delays and intermittent loss of observation. Discret. Event Dyn. Syst. 28 (2) (2018)
Antonio G. C. Gonzalez, Marcos Vinícius Silva Alves, Gustavo S. Viana, Lilian K. Carvalho, João Carlos Basilio
Supervisory Control-Based Navigation Architecture: A New Framework for Autonomous Robots in Industry 4.0 Environments. IEEE Trans. Ind. Informatics 14 (4) (2018)
Lilian K. Carvalho, Marcos Vicente Moreira, João Carlos Basilio
Diagnosability of intermittent sensor faults in discrete event systems. Autom. 79 (2017)
Marcos Vinícius Silva Alves, Lilian K. Carvalho, João Carlos Basilio
New Algorithms for Verification of Relative Observability and Computation of Supremal Relatively Observable Sublanguage. IEEE Trans. Autom. Control. 62 (11) (2017)
Leonardo P. M. Santoro, Marcos Vicente Moreira, João Carlos Basilio
Computation of minimal diagnosis bases of Discrete-Event Systems using verifiers. Autom. 77 (2017)
Gustavo S. Viana, Marcos Vinícius Silva Alves, João Carlos Basilio
Codiagnosability of timed networked discrete-event systems subject to event communication delays and intermittent loss of observation. CDC (2017)
Marcos Vinícius Silva Alves, Lilian K. Carvalho, João Carlos Basilio
Supervisory control of timed networked discrete event systems. CDC (2017)
Leonardo B. Clavijo, João Carlos Basilio
Empirical studies in the size of diagnosers and verifiers for diagnosability analysis. Discret. Event Dyn. Syst. 27 (4) (2017)
Marcos Vinícius Silva Alves, Lilian K. Carvalho, João Carlos Basilio
New algorithms for verification of relative observability and computation of supremal relatively observable sublanguage. CCA (2016)
Carlos E. V. Nunes, Marcos Vicente Moreira, Marcos Vinícius Silva Alves, João Carlos Basilio
Network codiagnosability of Discrete-Event Systems subject to event communication delays. WODES (2016)
Ingrid Antunes, Lilian K. Carvalho, João Carlos Basilio
A stochastic Petri net model for simulation-based performance analysis of public bicycle sharing systems. CASE (2016)
Marcos Vicente Moreira, João Carlos Basilio, Felipe Gomes Cabral
"Polynomial Time Verification of Decentralized Diagnosability of Discrete Event Systems" Versus "Decentralized Failure Diagnosis of Discrete Event Systems": A Critical Appraisal. IEEE Trans. Autom. Control. 61 (1) (2016)
Gustavo S. Viana, João Carlos Basilio, Marcos Vicente Moreira
Computation of the maximum time for failure diagnosis of discrete-event systems. ACC (2015)
Felipe Gomes Cabral, Marcos Vicente Moreira, Oumar Diene, João Carlos Basilio
A Petri Net Diagnoser for Discrete Event Systems Modeled by Finite State Automata. IEEE Trans. Autom. Control. 60 (1) (2015)
Jean H. A. Tomola, Marcos Vicente Moreira, João Carlos Basilio, Lilian Kawakami Carvalho
Robust codiagnosability of discrete-event systems against permanent loss of observations. CASE (2015)
Marcos Vicente Moreira, João Carlos Basilio
Bridging the Gap Between Design and Implementation of Discrete-Event Controllers. IEEE Trans Autom. Sci. Eng. 11 (1) (2014)
Leonardo P. M. Santoro, Marcos Vicente Moreira, João Carlos Basilio, Oumar Diene
Computation of Minimal Diagnosis Bases of Discrete-Event Systems Using Verifiers: Method of the Ambiguous Cyclic Paths. WODES (2014)
Marcos Vinícius Silva Alves, João Carlos Basilio, Antonio Eduardo Carrilho da Cunha, Lilian Kawakami Carvalho, Marcos Vicente Moreira
Robust Supervisory Control against Intermittent Loss of Observations. WODES (2014)
Lilian Kawakami Carvalho, João Carlos Basilio, Marcos Vicente Moreira, Leonardo B. Clavijo
Diagnosability of intermittent sensor faults in discrete event systems. ACC (2013)
Nara Strappa Facchinetti Doria, Eduardo Oliveira Freire, João Carlos Basilio
An algorithm inspired by the deterministic annealing approach to avoid local minima in artificial potential fields. ICAR (2013)
Lilian K. Carvalho, Marcos Vicente Moreira, João Carlos Basilio, Stéphane Lafortune
Robust diagnosis of discrete-event systems against permanent loss of observations. Autom. 49 (1) (2013)
Lilian K. Carvalho, João Carlos Basilio, Marcos Vicente Moreira
Robust diagnosis of discrete event systems against intermittent loss of observations. Autom. 48 (9) (2012)
João Carlos Basilio, Saulo Telles Souza Lima, Stéphane Lafortune, Marcos Vicente Moreira
Computation of minimal event bases that ensure diagnosability. Discret. Event Dyn. Syst. 22 (3) (2012)
Marcos Vicente Moreira, João Carlos Basilio
Fair and Square Computation of Inverse $ {\cal Z}$-Transforms of Rational Functions. IEEE Trans. Educ. 55 (2) (2012)
Leonardo B. Clavijo, João Carlos Basilio, Lilian Kawakami Carvalho
DESLAB: A scientific computing program for analysis and synthesis of discrete-event systems. WODES (2012)
Manuel Manyari-Rivera, João Carlos Basilio
Integrated online auto-tuning and digital implementation of PID controllers in industrial processes. ICCA (2011)
Marcos Vicente Moreira, Thiago C. Jesus, João Carlos Basilio
Polynomial Time Verification of Decentralized Diagnosability of Discrete Event Systems. IEEE Trans. Autom. Control. 56 (7) (2011)
Lilian Kawakami Carvalho, João Carlos Basilio, Marcos Vicente Moreira
Robust diagnosability of discrete event systems subject to intermittent sensor failures. WODES (2010)
Marcos V. Moreira, Thiago C. Jesus, João Carlos Basilio
Polynomial time verification of decentralized diagnosability of discrete event systems. ACC (2010)
Saulo Telles Souza Lima, João Carlos Basilio, Stéphane Lafortune, Marcos Vicente Moreira
Robust diagnosis of discrete-event systems subject to permanent sensor failures. WODES (2010)
João Carlos Basilio, Stéphane Lafortune
Robust codiagnosability of discrete event systems. ACC (2009)
Manuel Manyari-Rivera, João Carlos Basilio, Amit Bhaya
Integrated Fault Diagnosis Based on Petri Net Models. CCA (2007)
Marcos V. Moreira, João Carlos Basilio
Design of normalizing precompensators via alignment of output-input principal directions. CDC/ECC (2005)
Marcos V. Moreira, João Carlos Basilio, Basil Kouvaritakis
Rational stabilizing commutative controllers for unstable plant. CDC/ECC (2005)
João Carlos Basilio, Marcos Vicente Moreira
State-space parameter identification in a second control laboratory. IEEE Trans. Educ. 47 (2) (2004)
J. S. Garcia, João Carlos Basilio
Computation of reduced-order models of multivariable systems by balanced truncation. Int. J. Syst. Sci. 33 (10) (2002)
João Carlos Basilio, S. R. Matos
Design of PI and PID controllers with transient performance specification. IEEE Trans. Educ. 45 (4) (2002)