Marcos Vicente de Brito Moreira

Instituição:

Universidade Federal do Rio de Janeiro

Centro:

Centro de Tecnologia

Unidade:

Escola Politécnica

Departamento:

Departamento de Engenharia Elétrica/Poli

ORCID:

não disponível no Lattes


Formação:
  • École Normale Supérieure de Cachan

    | Pós-Doutorado | 2017 - 2018
  • Universidade Federal do Rio de Janeiro

    Engenharia Elétrica | Doutorado | 2002 - 2006
  • Universidade Federal do Rio de Janeiro

    Engenharia Elétrica | Mestrado | 2000 - 2002
  • Universidade Federal do Rio de Janeiro

    Engenharia Elétrica Eletrotécnica | Graduação | 1994 - 2000
Laboratórios:
Nenhum laboratório cadastrado
Nuvens de Palavras:
Artigos:

(67.50% artigos com DOI)

Titulo DOI Ano
Ensuring confidentiality of cyber-physical systems using event-based cryptography 10.1016/j.ins.2022.11.100 2023
Event-Based Automaton Model for identification of discrete-event systems for fault detection 10.1016/j.conengprac.2023.105474 2023
A Timed Automaton Model with Timing Intervals and Outputs for Fault Diagnosis of the Drilling Process on a CNC Machine 10.1007/s40313-023-01039-9 2023
A protocol for Decentralized Synchronous Diagnosis with Coordination 10.1016/j.conengprac.2023.105732 2023
K-Loss Robust Codiagnosability of Discrete-Event Systems 10.1016/j.automatica.2022.110222 2022
An Efficient Algorithm for the Verification of Codiagnosability of Discrete Event Systems With Dynamic Observations 2022
An Effective Approach for Fault Diagnosis of Discrete-Event Systems Modeled as Safe Labeled Petri Nets 10.1016/j.conengprac.2022.105168 2022
Security of Cyber-Physical Systems: Design of a Security Supervisor to Thwart Attacks 10.1109/TASE.2021.3076697 2021
Comparative analysis of related notions of robust diagnosability of Discrete-Event Systems 10.1016/j.arcontrol.2021.03.007 2021
Distributed synchronous diagnosis of discrete event systems modeled as automata 10.1016/j.conengprac.2021.104892 2021
Reduction of Diagnosers for Discrete-Event Systems 10.1007/s40313-021-00795-w 2021
Synchronous Diagnosis of Discrete-Event Systems 10.1109/tase.2019.2951627 2020
Fault detection of Discrete-Event Systems based on an identified timed model 10.1016/j.conengprac.2020.104638 2020
Discrete event system identification with the aim of fault detection 10.1007/s10626-019-00283-z 2019
Fault diagnosis based on identified discrete-event models 10.1016/j.conengprac.2019.07.019 2019
Robust Supervisory Control of Discrete Event Systems Against Intermittent Loss of Observations 10.1080/00207179.2019.1690691 2019
Security Against Communication Network Attacks of Cyber-Physical Systems 10.1007/s40313-018-0420-9 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
Computation of minimal diagnosis bases of Discrete-Event Systems using verifiers 10.1016/j.automatica.2016.11.026 2017
Robust Disjunctive-Codiagnosability of Discrete-Event Systems Against Permanent Loss of Observations 10.1109/TAC.2016.2638042 2017
Diagnosability of intermittent sensor faults in discrete event systems 10.1016/j.automatica.2017.01.017 2017
Diagnosability of Hybrid Systems 10.1109/tcst.2017.2757456 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 2013
Fair and Square Computation of Inverse Z-Transforms of Rational Functions 2012
Computation of minimal event bases that ensure diagnosability 10.1016/j.automatica.2012.06.042 2012
Robust diagnosis of discrete event systems against intermittent loss of observations 10.1007/s10626-012-0129-z 2012
Polynomial time verification of decentralized diagnosability of discrete event systems 2011
Characteristic locus method robustness improvement through optimal static normalizing pre-compensation 2010
H-infinity design of rotor flux oriented current-controlled induction motor drives: speed control, noise attenuation and stability robustness 2010
Diagnose de falhas em sistemas a eventos discretos modelados por autômatos finitos 2010
A practical model for evaluating the performance of proton exchange membrane fuel cells 2009
Fragility problem revisited: overview and reformulation 2007
Rational Stabilising Commutative Controllers: parameterisation and characterisation of degrees of freedom 2006
State-space parameter identification in a second control laboratory 2004
A robust solution of the generalized polynomial Bezout identity 2004
Controladores Robustos H-infinito Não Frágeis 2004
Eventos:

(0.00% eventos com DOI)

Titulo DOI Ano
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
Publicações:
Minha Rede: