João Carlos Basilio

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