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:
Nenhum artigo cadastrado
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 |