João Carlos dos Santos Basilio
Instituição:
Universidade Federal do Rio de Janeiro
Centro:
Centro de Tecnologia
Unidade:
Escola Politécnica
Departamento:
Departamento de Engenharia Elétrica/Poli
Formação:
-
University of Michigan
| Pós-Doutorado | 2006 - 2007
-
University of Oxford
Sistemas de Controle | Doutorado | 1991 - 1995
-
Instituto Militar de Engenharia
Engenharia Elétrica | Mestrado | 1987 - 1989
-
Universidade Federal de Juiz de Fora
Engenharia Elétrica | Graduação | 1982 - 1986
Laboratórios:
Nuvens de Palavras:
Artigos:
(95.92% artigos com DOI)
| Titulo | DOI | Ano |
|---|---|---|
| A Fuzzy Inference Model to Identify the Current Industry Maturity Stage in the Transformation Process to Industry 4.0 | 10.1109/TASE.2023.3242225 | 2024 |
| Disjunctive fault prediction of decentralized discrete event systems: Verification, predictor design and K-copredictability | 10.1016/j.automatica.2022.110769 | 2023 |
| State Estimation and Detectability of Networked Discrete Event Systems With Multi-Channel Communication Networks | 10.1109/TASE.2023.3265846 | 2023 |
| Public bicycle sharing systems control and performance evaluation: A Petri net-based approach | 10.1016/j.ins.2023.02.087 | 2023 |
| Robust decentralized diagnosability of networked discrete event systems against DoS and deception attacks | 10.1016/j.nahs.2022.101162 | 2022 |
| Codiagnosability of Networked Discrete Event Systems With Timing Structure | 10.1109/tac.2021.3108518 | 2022 |
| Online fault diagnosis for smart machines embedded in Industry 4.0 manufacturing systems: A labeled Petri net-based approach | 10.1016/j.ifacsc.2021.100146 | 2021 |
| Intermittent fault diagnosability of discrete event systems: an overview of automaton-based approaches | 10.1007/s10626-020-00324-y | 2021 |
| Supervisory Control of Networked Discrete Event Systems With Timing Structure | 10.1109/TAC.2020.3007384 | 2021 |
| Analysis and Control for Resilience of Discrete Event Systems: Fault Diagnosis, Opacity and Cyber Security | 10.1561/2600000024 | 2021 |
| Robust supervisory control of discrete event systems against intermittent loss of observations | 10.1080/00207179.2019.1690691 | 2021 |
| Comparative analysis of related notions of robust diagnosability of Discrete-Event Systems | 10.1016/j.arcontrol.2021.03.007 | 2021 |
| Enforcing current-state opacity through shuffle and deletions of event observations | 10.1016/j.automatica.2021.109836 | 2021 |
| Predictability of Discrete-Event Systems with Cycles of States Connected with Unobservable Events | 10.1007/s40313-020-00594-9 | 2020 |
| Codiagnosability of discrete event systems revisited: A new necessary and sufficient condition and its applications | 10.1016/j.automatica.2018.12.013 | 2019 |
| Codiagnosability Analysis of Discrete-Event Systems Modeled by Weighted Automata | 10.1109/tac.2019.2897268 | 2019 |
| Codiagnosability of networked discrete event systems subject to communication delays and intermittent loss of observation | 10.1007/s10626-017-0265-6 | 2018 |
| Supervisory Control-Based Navigation Architecture: A New Framework for Autonomous Robots in Industry 4.0 Environments | 10.1109/TII.2017.2788079 | 2018 |
| Computation of minimal diagnosis bases of Discrete-Event Systems using verifiers | 10.1016/j.automatica.2016.11.026 | 2017 |
| Diagnosability of intermittent sensor faults in discrete event systems | 10.1016/j.automatica.2017.01.017 | 2017 |
| Empirical studies in the size of diagnosers and verifiers for diagnosability analysis | 10.1007/s10626-017-0260-y | 2017 |
| New Algorithms for Verification of Relative Observability and Computation of Supremal Relatively Observable Sublanguage | 10.1109/TAC.2016.2644640 | 2017 |
| “Polynomial Time Verification of Decentralized Diagnosability of Discrete Event Systems” Versus “Decentralized Failure Diagnosis of Discrete Event Systems”: A Critical Appraisal | 10.1109/TAC.2015.2427711 | 2016 |
| A Petri Net Diagnoser for Discrete Event Systems Modeled by Finite State Automata | 10.1109/TAC.2014.2332238 | 2015 |
| Bridging the Gap Between Design and Implementation of Discrete-Event Controllers | 10.1109/TASE.2013.2281733 | 2014 |
| Robust diagnosis of discrete-event systems against permanent loss of observations | 10.1016/j.automatica.2012.09.017 | 2013 |
| Fair and square computation of inverse Z-transforms of rational functions | 10.1109/TE.2011.2171185 | 2012 |
| Computation of minimal event bases that ensure diagnosability | 10.1007/s10626-012-0129-z | 2012 |
| Robust diagnosis of discrete event systems against intermittent loss of observations | 10.1016/j.automatica.2012.06.042 | 2012 |
| Polynomial time verification of decentralized diagnosability of discrete event systems | 10.1109/TAC.2011.2124950 | 2011 |
| Characteristic locus method robustness improvement through optimal static normalizing pre-compensation | 10.1002/rnc.1429 | 2010 |
| H-infinity design of rotor flux oriented current-controlled induction motor drives: speed control, noise attenuation and stability robustness | 10.1049/iet-cta.2009.0377 | 2010 |
| Diagnose de Falhas em Sistemas a Eventos Discretos Modelados por Autômatos Finitos | 2010 | |
| Benchmark Construction with Application to PID Controller Design and Implementation | 10.7227/IJEEE.45.1.6 | 2008 |
| Fragility problem revisited: overview and reformulation | 10.1049/iet-cta:20060473 | 2007 |
| Pid controllers for time-delay systems, Guillermo J. Silva, Aniruddha Datta and S. P. Bhattacharyya, Birkhäuser, Boston, 2005, 330pp., US$ 79.95, ISBN 0-8176-4266-8 | 10.1002/rnc.1068 | 2006 |
| Rational stabilising commutative controllers: parameterisation and characterisation of degrees of freedom | 10.1080/00207170600867073 | 2006 |
| State-space parameter identification in a second control laboratory | 10.1109/TE.2004.824846 | 2004 |
| Controladores robustos H-infinito não-frágeis | 2004 | |
| A robust solution of the generalized polynomial Bezout identity | 10.1016/j.laa.2003.11.030 | 2004 |
| Computation of reduced-order models of multivariable systems by balanced truncation | 10.1080/0020772021000017308 | 2002 |
| Inversion of polynomial matrices via state-space | 10.1016/S0024-3795(02)00418-4 | 2002 |
| Design of PI and PID controllers with transient performance specification | 10.1109/TE.2002.804399 | 2002 |
| A Laboratory for a First Course in Control Systems | 10.7227/IJEEE.39.1.6 | 2002 |
| A normalizing precompensator for the design of effective and reliable commutative controllers | 10.1080/002071700421673 | 2000 |
| An algorithm for coprime matrix fraction description using sylvester matrices | 10.1016/S0024-3795(96)00636-2 | 1997 |
| Design of causal reversed-frame-normalizing controllers using bicausal expansions | 10.1080/002071797224784 | 1997 |
| The use of rational eigenvector approximations in commutative controllers | 10.1080/00207179508921906 | 1995 |
| Bi-causal eigenvector sequences and the design of causal commutative controllers | 10.1080/00207179408923126 | 1994 |
Eventos:
(1.10% eventos com DOI)
| Titulo | DOI | Ano |
|---|---|---|
| Modular diagnosability of discrete event systems synchronized by observable or unobservable events | 2023 | |
| Ensuring utility while enforcing current-state opacity | 2023 | |
| The use of Time-Interval Automata in the Modeling of timed discrete event systems and its application to opacity | 2023 | |
| Diagnosability of discrete event systems modeled by time-interval automata | 2023 | |
| Online Fault Diagnosis of Discrete Event Systems Modeled by Labeled Petri Nets Using Labeled Priority Petri Nets | 2022 | |
| Diagnose de falhas em tempo real de sistemas a eventos discretos modelados por redes de Petri rotuladas utilizando redes de Petri rotuladas com prioridades | 2021 | |
| New predictability verification tests for discrete-event systems modeled by finite state automata | 2020 | |
| Uma nova abordagem do mapeamento de sensores para obtenção de modelos de sistemas eventos discretos sujeitos a falhas | 10.48011/asba.v2i1.1283 | 2020 |
| State estimation and detectability of networked discrete event systems with multi-channel communication networks | 2019 | |
| Modelagem e controle de sistemas públicos de compartilhamento de bicicletas utilizando modelos em redes de Petri | 2019 | |
| A supervisory control-based navigation architecture for multiple autonomous robots in Industry 4.0 environments | 2019 | |
| Decentralized diagnosis of networked discrete event systems subject to denial of service attacks | 2019 | |
| Verificação da preditibilidade de falhas em sistemas a eventos discretos com linguagem não viva e com ciclos de estados conectados somente por eventos não observáveis | 2019 | |
| Sincronização de Sistemas a Eventos Discretos com Compartilhamento de Recursos | 2019 | |
| Enforcing current-state opacity through shuffle in event observations | 2018 | |
| Forçamento de opacidade de estado atual por meio de trocas das observações de eventos | 2018 | |
| Polynomial time verification of modular diagnosability of discrete event systems | 2017 | |
| Diagnosability and online diagnosis of discrete-event systems modeled by acyclic labeled Petri nets | 2017 | |
| Codiagnosability of Timed Networked Discrete-Event Systems subject to event communication delays and intermittent loss of observation | 2017 | |
| Supervisory Control of Timed Networked Discrete Event Systems | 2017 | |
| Codiagnosticabilidade de sistemas a eventos discretos em rede com informações de temporização entre ocorrência de eventos e atrasos nos canais de comunicação | 2017 | |
| Controle supervisório de sistemas a eventos discretos em rede temporizados | 2017 | |
| Diagnose online de sistemas a evento discretos modelados por redes de Petri acíclicas | 2017 | |
| Network Codiagnosability of Discrete-Event Systems Subject to Event Communication Delays | 2016 | |
| A stochastic Petri Net Model for Simulation-based Performance Analysis of Public Bicycle Sharing Systems | 2016 | |
| New Algorithms for Verification of Relative Observability and Computation of Supremal Relatively Observable Sublanguage | 2016 | |
| Codiagnosticabilidade em redes de sistemas a eventos discretos sujeitas a atrasos e perdas de observação de eventos | 2016 | |
| Um modelo em redes de Petri estocásticas para a simulação e análise de desempenho de sistemas públicos de compartilhamento de bicicletas | 2016 | |
| Computation of the maximum time for failure diagnosis of discrete-event systems | 2015 | |
| Robust Codiagnosability of Discrete-Event Systems Against Permanent Loss of Observations | 2015 | |
| Codiagnosticabilidade robusta a atrasos na ocorrência de eventos discretos | 2015 | |
| Algoritmos para verificação da observabilidade relativa e cálculo da sublinguagem observável relativa suprema | 2015 | |
| Robust Supervisory Control Against Intermittent Loss of Observations | 2014 | |
| Computation of Minimal Diagnosis Bases of Discrete-Event Systems Using Verifiers: Method of the Ambiguous Cyclic Paths | 2014 | |
| Controle supervisório robusto de SED sujeitos a perdas intermitentes de observação | 2014 | |
| Computation of minimal diagnosis bases of Discrete-Event Systems using verifiers | 2014 | |
| Computation of Minimal Diagnosis Bases of Discrete-Event Systems: Method of the trees of event sets' | 2014 | |
| Failure diagnosis of time-weighted discrete-event systems | 2014 | |
| Diagnosability of intermittent sensor faults in discrete event systems | 2013 | |
| Uma abordagem inspirada no recozimento determinístico para escapar de mínimos locais em navegação por campos potenciais artificiais | 2013 | |
| Implementação de uma rede de Petri para diagnose online de falhas em controladores lógicos programáveis | 2013 | |
| An algorithm inspired by the deterministic annealing approach to avoid local minima in artificial potential fields | 2013 | |
| Implementação de controladores a eventos discretos usando diagrama ladder com módulo sincronizante | 2013 | |
| DESLAB: uma ferramenta para o desenvolvimento de algoritmos para análise e projeto de sistemas a eventos discretos | 2012 | |
| Falhas intermitentes na operação de sensores em sistemas a eventos discretos: modelagem e análise da diagnosticabilidade | 2012 | |
| Diagnóstico de falhas em uma unidade de separação água-óleo-gás usando um modelo a evento discreto | 2012 | |
| DESLAB: A scientific computing program for analysis and synthesis of discrete-event systems | 2012 | |
| Control interpreted Petri net obtention from a labeled Petri net with conflict resolution for PLC implementation | 2012 | |
| Generalized robust diagnosability of discrete event systems | 2011 | |
| Integrated online auto-tuning and digital implementation of PID controllers in industrial processes | 2011 | |
| Polynomial time verification of decentralized diagnosability of discrete event systems | 2010 | |
| Um novo algoritmo para verificação da diagnosticabilidade descentralizada de sistemas a eventos discretos | 2010 | |
| Diagnóstico de falhas em tempo real de sistemas a eventos discretos descritos por autômatos finitos | 2010 | |
| Diagnose de falhas de sistemas a eventos discretos sujeitos a perdas intermitentes de sensores | 2010 | |
| Desenvolvimento de uma arquitetura de navegação deliberativa para robôs móveis utilizando a teoria de controle supervisório | 2010 | |
| Diagnose Centralizada de Falhas de Sistemas a Eventos Discretos Robusta à Perda Permanente de Sensores | 2010 | |
| Bases mínimas para a diagnose de falhas de sistemas a eventos discretos. Parte I: eventos essenciais para a diagnose e trajetórias primas | 2010 | |
| Bases mínimas para a diagnose de falhas de sistemas a eventos discretos. Parte II: algoritmo de busca | 2010 | |
| Implementação de um sistema de aquisição de dados e controle de uma célula a combustível de membrana polimérica | 2010 | |
| Robust diagnosability of discrete event systems subject to intermittent sensor failures | 2010 | |
| Robust diagnosis of discrete-event systems subject to permanent sensor failures | 2010 | |
| Robust codiagnosability of discrete event systems | 2009 | |
| Ajuste de controladores PI e PID para plantas estáveis e instáveis | 2009 | |
| Fault-tolerant weld line detection for automatic inspection of storage tanks based on visual information and alfa-beta filter | 2009 | |
| Ladder diagram implementation of control interpreted Petri nets: a state equation approach | 2009 | |
| Controles Industriais Online: uma conexão entre universidade e indústria | 2008 | |
| Static normalizing pre-compensator: the first step for addressing robustnes in the design of multivariable controllers using the Characteristic Locus Method | 2007 | |
| Integrated fault diagnosis based on Petri net models | 2007 | |
| Optimal design of static normalizing precompensators | 2006 | |
| Um laboratório para um curso de Automação Industrial utilizando redes de Petri | 2006 | |
| Design of normalizing precompensators via alignment of output-input principal directions | 2005 | |
| Rational stabilizing commutative controllers for unstable plant | 2005 | |
| Controladores comutativos estabilizantes para plantas instáveis | 2004 | |
| Uso de algoritmos genéticos no projeto de controladores robustos não-frágeis | 2004 | |
| Robust, fragile or optimal? revisitado. Uma condição necessária e suficiente para a fragilidade de controladores | 2004 | |
| Projeto de pré-compensadores normalizantes via alinhamento das direções principais de entrada e de saída | 2004 | |
| H-infinity optimal design of rotor flux oriented controlled induction motor drives | 2003 | |
| H-infinity design of rotor flux oriented controlled induction motor drives: speed control, stability robustness and noise attenuation | 2003 | |
| Uma biblioteca em Matlab para o ensino de Controles Industriais | 2003 | |
| Controle de temperatura de um forno elétrico a resistência utilizando a função PID de um controlador lógico programável | 2002 | |
| Controladores Robustos H-infinito não frágeis | 2002 | |
| Uma nova medida de fragilidade de controladores baseada no teorema de Kharitonov | 2002 | |
| Stabilizing commutative controllers: parametrization and characterization of degrees of freedom | 2002 | |
| Experimentos para estimação dos parâmetros de motores de corrente contínua | 2001 | |
| Uma nova técnica de ajuste automático de controladores PI e PID industriais | 2000 | |
| Redução direta de modelos por truncamento balanceado | 2000 | |
| Inversão de matrizes polinomiais via espaço de estados | 2000 | |
| O Método do Lugar Característico Aplicado A Plantas Com Autovetores Quase Paralelos | 1998 | |
| Um Modelo de Laboratório de Sistemas de Controle | 1998 | |
| On The Design Of Servomechanisms Via H2 Optimization | 1991 | |
| Controle Ótimo Wiener-Hopf Com Objetivos de Rastreamento e Rejeição de Sinais de Dinâmica Conhecida | 1990 |