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
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)