João Carlos Basilio
Orcid: 0000-0002-3737-0617
According to our database1,
João Carlos Basilio
authored at least 49 papers
between 2002 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
State Estimation and Detectability of Networked Discrete Event Systems With Multi-Channel Communication Networks.
IEEE Trans Autom. Sci. Eng., July, 2024
A Fuzzy Inference Model to Identify the Current Industry Maturity Stage in the Transformation Process to Industry 4.0.
IEEE Trans Autom. Sci. Eng., April, 2024
2023
Disjunctive fault prediction of decentralized discrete event systems: Verification, predictor design and K-copredictability.
Autom., February, 2023
Public bicycle sharing systems control and performance evaluation: A Petri net-based approach.
Inf. Sci., 2023
2022
IEEE Trans. Autom. Control., 2022
2021
IEEE Trans. Autom. Control., 2021
Robust supervisory control of discrete event systems against intermittent loss of observations.
Int. J. Control, 2021
Online fault diagnosis for smart machines embedded in Industry 4.0 manufacturing systems: A labeled Petri net-based approach.
IFAC J. Syst. Control., 2021
Analysis and Control for Resilience of Discrete Event Systems: Fault Diagnosis, Opacity and Cyber Security.
Found. Trends Syst. Control., 2021
Intermittent fault diagnosability of discrete event systems: an overview of automaton-based approaches.
Discret. Event Dyn. Syst., 2021
Autom., 2021
Comparative analysis of related notions of robust diagnosability of Discrete-Event Systems.
Annu. Rev. Control., 2021
2019
IEEE Trans. Autom. Control., 2019
Codiagnosability of discrete event systems revisited: A new necessary and sufficient condition and its applications.
Autom., 2019
2018
Supervisory Control-Based Navigation Architecture: A New Framework for Autonomous Robots in Industry 4.0 Environments.
IEEE Trans. Ind. Informatics, 2018
Codiagnosability of networked discrete event systems subject to communication delays and intermittent loss of observation.
Discret. Event Dyn. Syst., 2018
2017
New Algorithms for Verification of Relative Observability and Computation of Supremal Relatively Observable Sublanguage.
IEEE Trans. Autom. Control., 2017
Empirical studies in the size of diagnosers and verifiers for diagnosability analysis.
Discret. Event Dyn. Syst., 2017
Autom., 2017
Codiagnosability of timed networked discrete-event systems subject to event communication delays and intermittent loss of observation.
Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017
Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017
2016
"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., 2016
Network codiagnosability of Discrete-Event Systems subject to event communication delays.
Proceedings of the 13th International Workshop on Discrete Event Systems, 2016
A stochastic Petri net model for simulation-based performance analysis of public bicycle sharing systems.
Proceedings of the IEEE International Conference on Automation Science and Engineering, 2016
2015
IEEE Trans. Autom. Control., 2015
Robust codiagnosability of discrete-event systems against permanent loss of observations.
Proceedings of the IEEE International Conference on Automation Science and Engineering, 2015
Proceedings of the American Control Conference, 2015
2014
IEEE Trans Autom. Sci. Eng., 2014
Computation of Minimal Diagnosis Bases of Discrete-Event Systems Using Verifiers: Method of the Ambiguous Cyclic Paths.
Proceedings of the 12th International Workshop on Discrete Event Systems, 2014
Proceedings of the 12th International Workshop on Discrete Event Systems, 2014
2013
Autom., 2013
An algorithm inspired by the deterministic annealing approach to avoid local minima in artificial potential fields.
Proceedings of the 16th International Conference on Advanced Robotics, 2013
Proceedings of the American Control Conference, 2013
2012
IEEE Trans. Educ., 2012
Discret. Event Dyn. Syst., 2012
Robust diagnosis of discrete event systems against intermittent loss of observations.
Autom., 2012
DESLAB: A scientific computing program for analysis and synthesis of discrete-event systems.
Proceedings of the 11th International Workshop on Discrete Event Systems, 2012
2011
Polynomial Time Verification of Decentralized Diagnosability of Discrete Event Systems.
IEEE Trans. Autom. Control., 2011
Integrated online auto-tuning and digital implementation of PID controllers in industrial processes.
Proceedings of the 9th IEEE International Conference on Control and Automation, 2011
2010
Proceedings of the 10th International Workshop on Discrete Event Systems, 2010
Robust diagnosability of discrete event systems subject to intermittent sensor failures.
Proceedings of the 10th International Workshop on Discrete Event Systems, 2010
2009
Proceedings of the American Control Conference, 2009
2007
Proceedings of the IEEE International Conference on Control Applications, 2007
2005
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.
Proceedings of the 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, 2005
2004
IEEE Trans. Educ., 2004
2002
IEEE Trans. Educ., 2002
Int. J. Syst. Sci., 2002