Prati
Marcos Vicente de Brito Moreira
Naslov
Citirano
Citirano
Godina
Polynomial time verification of decentralized diagnosability of discrete event systems
MV Moreira, TC Jesus, JC Basilio
IEEE Transactions on Automatic Control 56 (7), 1679-1684, 2011
1982011
Robust diagnosis of discrete event systems against intermittent loss of observations
LK Carvalho, JC Basilio, MV Moreira
Automatica 48 (9), 2068-2078, 2012
1352012
A practical model for evaluating the performance of proton exchange membrane fuel cells
MV Moreira, GE Da Silva
Renewable energy 34 (7), 1734-1741, 2009
1262009
Robust diagnosis of discrete-event systems against permanent loss of observations
LK Carvalho, MV Moreira, JC Basilio, S Lafortune
Automatica 49 (1), 223-231, 2013
1012013
A Petri net diagnoser for discrete event systems modeled by finite state automata
FG Cabral, MV Moreira, O Diene, JC Basilio
IEEE Transactions on Automatic Control 60 (1), 59-71, 2014
852014
Security against communication network attacks of cyber-physical systems
PM Lima, MVS Alves, LK Carvalho, MV Moreira
Journal of Control, Automation and Electrical Systems 30, 125-135, 2019
822019
Detectable and undetectable network attack security of cyber-physical systems
PM Lima, LK Carvalho, MV Moreira
IFAC-PapersOnLine 51 (7), 179-185, 2018
762018
Security against network attacks in supervisory control systems
PM Lima, MVS Alves, LK Carvalho, MV Moreira
IFAC-PapersOnLine 50 (1), 12333-12338, 2017
732017
Computation of minimal event bases that ensure diagnosability
JC Basilio, STS Lima, S Lafortune, MV Moreira
Discrete Event Dynamic Systems 22 (3), 249-292, 2012
692012
State-space parameter identification in a second control laboratory
JC Basilio, MV Moreira
IEEE Transactions on Education 47 (2), 204-210, 2004
542004
Diagnosability of intermittent sensor faults in discrete event systems
LK Carvalho, MV Moreira, JC Basilio
Automatica 79, 315-325, 2017
532017
Codiagnosability of networked discrete event systems subject to communication delays and intermittent loss of observation
CEV Nunes, MV Moreira, MVS Alves, LK Carvalho, JC Basilio
Discrete Event Dynamic Systems 28, 215-246, 2018
522018
Bridging the gap between design and implementation of discrete-event controllers
MV Moreira, JC Basilio
IEEE Transactions on Automation Science and Engineering 11 (1), 48-65, 2013
452013
Generalized robust diagnosability of discrete event systems
LK Carvalho, MV Moreira, JC Basilio
IFAC Proceedings Volumes 44 (1), 8737-8742, 2011
452011
Robust supervisory control against intermittent loss of observations
MVS Alves, JC Basilio, AEC da Cunha, LK Carvalho, MV Moreira
IFAC Proceedings Volumes 47 (2), 294-299, 2014
442014
Security of cyber-physical systems: Design of a security supervisor to thwart attacks
PM Lima, MVS Alves, LK Carvalho, MV Moreira
IEEE Transactions on Automation Science and Engineering 19 (3), 2030-2041, 2021
422021
Computation of minimal diagnosis bases of discrete-event systems using verifiers
LPM Santoro, MV Moreira, JC Basilio
Automatica 77, 93-102, 2017
382017
Fault diagnosis based on identified discrete-event models
MV Moreira, JJ Lesage
Control Engineering Practice 91, 104101, 2019
372019
Robust disjunctive-codiagnosability of discrete-event systems against permanent loss of observations
JHA Tomola, FG Cabral, LK Carvalho, MV Moreira
IEEE Transactions on Automatic Control 62 (11), 5808-5815, 2016
352016
Synchronous diagnosis of discrete-event systems
FG Cabral, MV Moreira
IEEE Transactions on Automation Science and Engineering 17 (2), 921-932, 2019
342019
Sustav trenutno ne može provesti ovu radnju. Pokušajte ponovo kasnije.
Članci 1–20