João Carlos Basilio

Orcid: 0000-0002-3737-0617

According to our database1, João Carlos Basilio authored at least 48 papers between 2002 and 2023.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

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
Codiagnosability of Networked Discrete Event Systems With Timing Structure.
IEEE Trans. Autom. Control., 2022

2021
Supervisory Control of Networked Discrete Event Systems With Timing Structure.
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

Enforcing current-state opacity through shuffle and deletions of event observations.
Autom., 2021

Comparative analysis of related notions of robust diagnosability of Discrete-Event Systems.
Annu. Rev. Control., 2021

2019
Codiagnosability Analysis of Discrete-Event Systems Modeled by Weighted Automata.
IEEE Trans. Autom. Control., 2019

Codiagnosability of discrete event systems revisited: A new necessary and sufficient condition and its applications.
Autom., 2019

State Estimation and Detectability of Networked Discrete Event Systems with Multi-Channel Communication Networks.
Proceedings of the 2019 American Control Conference, 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

Computation of minimal diagnosis bases of Discrete-Event Systems using verifiers.
Autom., 2017

Diagnosability of intermittent sensor faults in discrete event systems.
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

Supervisory control of timed networked discrete event systems.
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
A Petri Net Diagnoser for Discrete Event Systems Modeled by Finite State Automata.
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

Computation of the maximum time for failure diagnosis of discrete-event systems.
Proceedings of the American Control Conference, 2015

2014
Bridging the Gap Between Design and Implementation of Discrete-Event Controllers.
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

Robust Supervisory Control against Intermittent Loss of Observations.
Proceedings of the 12th International Workshop on Discrete Event Systems, 2014

2013
Robust diagnosis of discrete-event systems against permanent loss of observations.
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

Diagnosability of intermittent sensor faults in discrete event systems.
Proceedings of the American Control Conference, 2013

2012
Fair and Square Computation of Inverse $ {\cal Z}$-Transforms of Rational Functions.
IEEE Trans. Educ., 2012

Computation of minimal event bases that ensure diagnosability.
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
Robust diagnosis of discrete-event systems subject to permanent sensor failures.
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
Robust codiagnosability of discrete event systems.
Proceedings of the American Control Conference, 2009

2007
Integrated Fault Diagnosis Based on Petri Net Models.
Proceedings of the IEEE International Conference on Control Applications, 2007

2005
Rational stabilizing commutative controllers for unstable plant.
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
State-space parameter identification in a second control laboratory.
IEEE Trans. Educ., 2004

2002
Design of PI and PID controllers with transient performance specification.
IEEE Trans. Educ., 2002

Computation of reduced-order models of multivariable systems by balanced truncation.
Int. J. Syst. Sci., 2002


  Loading...