default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJoão Carlos Basilio
Person information
SPARQL queries 
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j31]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): 1607-1622 (2024)- [j30]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): 2622-2637 (2024) - 2023
- [j29]Raphael Julio Barcelos, João Carlos Basilio:
Disjunctive fault prediction of decentralized discrete event systems: Verification, predictor design and K-copredictability. Autom. 148: 110769 (2023) - [j28]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: 19-50 (2023) - 2022
- [j27]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): 3933-3948 (2022) - 2021
- [j26]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: 23-36 (2021) - [j25]Raphael Julio Barcelos, João Carlos Basilio:
Enforcing current-state opacity through shuffle and deletions of event observations. Autom. 133: 109836 (2021) - [j24]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): 59-102 (2021) - [j23]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): 285-443 (2021) - [j22]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: 100146 (2021) - [j21]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): 2008-2020 (2021) - [j20]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): 2206-2218 (2021)
2010 – 2019
- 2019
- [j19]Gustavo S. Viana, João Carlos Basilio:
Codiagnosability of discrete event systems revisited: A new necessary and sufficient condition and its applications. Autom. 101: 354-364 (2019) - [j18]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): 4361-4368 (2019) - [c21]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: 5602-5607 - 2018
- [j17]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): 215-246 (2018) - [j16]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): 1732-1743 (2018) - 2017
- [j15]Leonardo P. M. Santoro, Marcos Vicente Moreira, João Carlos Basilio:
Computation of minimal diagnosis bases of Discrete-Event Systems using verifiers. Autom. 77: 93-102 (2017) - [j14]Lilian K. Carvalho, Marcos Vicente Moreira, João Carlos Basilio:
Diagnosability of intermittent sensor faults in discrete event systems. Autom. 79: 315-325 (2017) - [j13]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): 701-739 (2017) - [j12]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): 5902-5908 (2017) - [c20]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: 4211-4216 - [c19]Marcos Vinícius Silva Alves, Lilian K. Carvalho, João Carlos Basilio:
Supervisory control of timed networked discrete event systems. CDC 2017: 4859-4865 - 2016
- [j11]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): 178-181 (2016) - [c18]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: 526-531 - [c17]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: 433-439 - [c16]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: 217-223 - 2015
- [j10]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): 59-71 (2015) - [c15]Gustavo S. Viana, João Carlos Basilio, Marcos Vicente Moreira:
Computation of the maximum time for failure diagnosis of discrete-event systems. ACC 2015: 396-401 - [c14]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: 813-818 - 2014
- [j9]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): 48-65 (2014) - [c13]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: 294-299 - [c12]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: 440-445 - 2013
- [j8]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): 223-231 (2013) - [c11]Lilian Kawakami Carvalho, João Carlos Basilio, Marcos Vicente Moreira, Leonardo B. Clavijo:
Diagnosability of intermittent sensor faults in discrete event systems. ACC 2013: 929-934 - [c10]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: 1-6 - 2012
- [j7]Lilian K. Carvalho, João Carlos Basilio, Marcos Vicente Moreira:
Robust diagnosis of discrete event systems against intermittent loss of observations. Autom. 48(9): 2068-2078 (2012) - [j6]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): 249-292 (2012) - [j5]Marcos Vicente Moreira, João Carlos Basilio:
Fair and Square Computation of Inverse $ {\cal Z}$-Transforms of Rational Functions. IEEE Trans. Educ. 55(2): 285-290 (2012) - [c9]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: 349-355 - 2011
- [j4]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): 1679-1684 (2011) - [c8]Manuel Manyari-Rivera, João Carlos Basilio:
Integrated online auto-tuning and digital implementation of PID controllers in industrial processes. ICCA 2011: 550-555 - 2010
- [c7]Marcos V. Moreira, Thiago C. Jesus, João Carlos Basilio:
Polynomial time verification of decentralized diagnosability of discrete event systems. ACC 2010: 3353-3358 - [c6]Lilian Kawakami Carvalho, João Carlos Basilio, Marcos Vicente Moreira:
Robust diagnosability of discrete event systems subject to intermittent sensor failures. WODES 2010: 84-89 - [c5]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: 90-97
2000 – 2009
- 2009
- [c4]João Carlos Basilio, Stéphane Lafortune:
Robust codiagnosability of discrete event systems. ACC 2009: 2202-2209 - 2007
- [c3]Manuel Manyari-Rivera, João Carlos Basilio, Amit Bhaya:
Integrated Fault Diagnosis Based on Petri Net Models. CCA 2007: 958-963 - 2005
- [c2]Marcos V. Moreira, João Carlos Basilio:
Design of normalizing precompensators via alignment of output-input principal directions. CDC/ECC 2005: 2170-2175 - [c1]Marcos V. Moreira, João Carlos Basilio, Basil Kouvaritakis:
Rational stabilizing commutative controllers for unstable plant. CDC/ECC 2005: 7864-7869 - 2004
- [j3]João Carlos Basilio, Marcos Vicente Moreira:
State-space parameter identification in a second control laboratory. IEEE Trans. Educ. 47(2): 204-210 (2004) - 2002
- [j2]J. S. Garcia, João Carlos Basilio:
Computation of reduced-order models of multivariable systems by balanced truncation. Int. J. Syst. Sci. 33(10): 847-854 (2002) - [j1]João Carlos Basilio, S. R. Matos:
Design of PI and PID controllers with transient performance specification. IEEE Trans. Educ. 45(4): 364-370 (2002)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-09-22 00:35 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
