| Fault diagnosis of CNC machine-tools for drilling Titanium alloy |
|
2022 |
| Distributed Identification of Discrete-Event Systems with the Aim of Fault Detection |
|
2022 |
| Event-based cryptography for automation networks of cyber-physical systems using the stream cipher ChaCha20 |
|
2022 |
| Diagnóstico de falhas do processo de furação em uma máquina CNC |
|
2022 |
| Identificação Distribuída de Sistemas de Eventos Discretos com o Objetivo de Detecção de Falhas |
|
2022 |
| Uso da cifra de fluxo ChaCha20 em redes de automação |
|
2022 |
| Diagnose de falhas para uma classe de redes de Petri |
|
2021 |
| Networked Automation Systems: a new cryptographic scheme |
|
2021 |
| Optimal selection of subsystems for synchronous diagnosis |
|
2021 |
| K-Loss Robust Diagnosability of Discrete-Event Systems |
|
2020 |
| A hierarchical approach for discrete-event model identification incorporating expert knowledge |
|
2020 |
| CONFIDENTIALITY OF CYBER-PHYSICAL SYSTEMS USING EVENT-BASED CRYPTOGRAPHY |
|
2020 |
| A timed model for discrete event system identification and fault detection |
|
2020 |
| Diagnosticabilidade Síncrona Distribuída de Sistemas a Eventos Discretos Sujeita a Atrasos de Comunicação de Eventos |
|
2020 |
| Redução de Diagnosticadores de Sistemas a Eventos Discretos |
|
2020 |
| A New Algorithm for the Verification of Codiagnosability of Discrete Event Systems With Dynamic Observations |
|
2019 |
| Enhanced discrete event model for system identification with the aim of fault detection |
|
2018 |
| Distributed Synchronous Diagnosability of Discrete-Event Systems |
|
2018 |
| Detectable and Undetectable Network Attack Security of Cyber-physical Systems |
|
2018 |
| A COMPARISON AMONG DIFFERENT NOTIONS OF ROBUST DIAGNOSABILITY AGAINST SENSOR FAILURES |
|
2018 |
| IMPLEMENTATION OF A SECURITY MODULE FOR CYBER-PHYSICAL SYSTEMS |
|
2018 |
| Security Against Network Attacks in Supervisory Control Systems |
|
2017 |
| Synchronous Decentralized Diagnosis of Discrete-Event Systems |
|
2017 |
| Conditional synchronized diagnoser for modular discrete-event systems |
|
2017 |
| Network Codiagnosability of Discrete-Event Systems Subject to Event Communication Delays |
|
2016 |
| Codiagnosticabilidade em rede de sistemas a eventos discretos sujeita a atrasos e perdas de observação de eventos |
|
2016 |
| Diagnóstico de falhas em sistemas de distribuição de energia elétrica |
|
2016 |
| Algorithms for the verification of synchronous diagnosability and computation of the delay bound for diagnosis of modular Discrete Event Systems |
|
2016 |
| Computation of the maximum time for failure diagnosis of discrete-event systems |
|
2015 |
| CODIAGNOSTICABILIDADE ROBUSTA A ATRASOS NA COMUNICAÇÃO DA OCORRÊNCIA DE EVENTOS EM SISTEMAS A EVENTOS DISCRETOS |
|
2015 |
| ALGORITMOS PARA VERIFICAÇÃO DA OBSERVABILIDADE RELATIVA E CÁLCULO DA SUBLINGUAGEM OBSERVÁVEL RELATIVA SUPREMA |
|
2015 |
| Diagnosticabilidade de falhas em sistemas a eventos discretos modulares |
|
2015 |
| Computational Methods for Diagnosability Verification of Hybrid Systems |
|
2015 |
| Robust Codiagnosability of Discrete-Event Systems against Permanent Loss of Observations |
|
2015 |
| Online fault diagnosis of modular discrete-event systems |
|
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 |
| Failure diagnosis of time-weighted discrete-event systems |
|
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 |
| Diagnosability of Hybrid Systems: Analysis and Verification cast in DES framework |
|
2014 |
| Analysis and Verification of the Diagnosability of Hybrid Systems |
|
2014 |
| Diagnosability of intermittent sensor faults in discrete event systems |
|
2013 |
| Implementação de uma rede de Petri para diagnose online de falhas em controladores lógicos programáveis |
|
2013 |
| Diagnosticador rede de Petri para um SED modelado por um autômato finito |
|
2012 |
| Control Interpreted Petri net obtention from a labeled Petri net with conflict resolution for PLC implementation |
|
2012 |
| Falhas intermitentes na operação de sensores em sistemas a eventos discretos: modelagem e análise da diagnosticabilidade |
|
2012 |
| Petri net diagnoser for DES modeled by finite state automaton |
|
2012 |
| Generalized robust diagnosability of discrete event systems |
|
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 |
| Implementação de um sistema de aquisição de dados e controle de uma célula a combustível de membrana polimérica |
|
2010 |
| Desenvolvimento de uma arquitetura de navegação deliberativa para robôs móveis utilizando a teoria de controle supervisório |
|
2010 |
| Robust diagnosability of discrete event systems subject to intermittent sensor failure |
|
2010 |
| Robust diagnosability of discrete event systems subject to permanent sensor failure |
|
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 sistemas de automação descritos por Redes de Petri Interpretadas para Controle |
|
2009 |
| Ladder diagram implementation of Control Interpreted Petri Nets: a state equation approach |
|
2009 |
| A steady-state model for a proton exchange membrane fuel cell |
|
2008 |
| Um laboratório virtual para o ensino de automação industrial |
|
2008 |
| Static normalizing pre-compensator: the first step for addressing robustness in the design of multivariable controllers using the Characteristic Locus Method |
|
2007 |
| Optimal design of static normalizing precompensators |
|
2006 |
| Design of normalizing precompensators via alignment of output-input principal directions |
|
2005 |
| Rational stabilizing commutative controllers for unstable plant |
|
2005 |
| Projeto de pré-compensadores normalizantes via alinhamento das direções principais de entrada e de saída |
|
2004 |
| Controladores Comutativos Estabilizantes para Plantas Instáveis |
|
2004 |
| "Robust, fragile, or optimal" Revisitado: Uma Condição Necessária e Suficiente para a Fragilidade de Controladores |
|
2004 |
| Uso de Algoritmos Genéticos no Projeto de Controladores Robustos H-infinito Não-Frágeis |
|
2004 |
| Controladores Robustos H-infinito Não Frágeis |
|
2002 |
| Uma nova medida de fragilidade de controladores baseada no teorema de Kharitonov |
|
2002 |
| Experimentos para estimação dos parâmetros de motores de corrente contínua |
|
2001 |
