default search action
Marcos V. Moreira
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c18]Marcos V. Moreira, Públio M. Lima, Lilian K. Carvalho, Felipe G. Cabral:
A cryptographic system based on automata for Networked Automation Systems abstracted as Discrete-Event Systems. CASE 2024: 1462-1468 - [c17]Patrícia C. Mayer, Felipe G. Cabral, Públio M. M. Lima, Marcos V. Moreira, Audine Subias, Yannick Pencolé:
Property-Based Transparency: a New Utility Definition. CASE 2024: 2825-2831 - 2023
- [j22]Públio M. Lima, Lilian K. Carvalho, Marcos V. Moreira
:
Ensuring confidentiality of cyber-physical systems using event-based cryptography. Inf. Sci. 621: 119-135 (2023) - 2022
- [j21]Vinicius de Souza Lima Oliveira, Felipe Gomes Cabral, Marcos Vicente Moreira
K-loss robust codiagnosability of Discrete-Event Systems. Autom. 140: 110222 (2022) - [j20]Públio M. Lima
Security of Cyber-Physical Systems: Design of a Security Supervisor to Thwart Attacks. IEEE Trans Autom. Sci. Eng. 19(3): 2030-2041 (2022) - 2021
- [j19]Lilian Kawakami Carvalho, Marcos Vicente Moreira
Comparative analysis of related notions of robust diagnosability of Discrete-Event Systems. Annu. Rev. Control. 51: 23-36 (2021) - [j18]Marcos Vinícius Silva Alves
Robust supervisory control of discrete event systems against intermittent loss of observations. Int. J. Control 94(7): 2008-2020 (2021) - 2020
- [j17]Felipe Gomes Cabral
Synchronous Diagnosis of Discrete-Event Systems. IEEE Trans Autom. Sci. Eng. 17(2): 921-932 (2020)
2010 – 2019
- 2019
- [j16]Marcos V. Moreira
Discrete event system identification with the aim of fault detection. Discret. Event Dyn. Syst. 29(2): 191-209 (2019) - [j15]Gustavo S. Viana
Codiagnosability Analysis of Discrete-Event Systems Modeled by Weighted Automata. IEEE Trans. Autom. Control. 64(10): 4361-4368 (2019) - [j14]Oumar Diene
Diagnosability of Hybrid Systems. IEEE Trans. Control. Syst. Technol. 27(1): 386-393 (2019) - 2018
- [j13]Carlos E. V. Nunes, Marcos V. Moreira
Codiagnosability of networked discrete event systems subject to communication delays and intermittent loss of observation. Discret. Event Dyn. Syst. 28(2): 215-246 (2018) - 2017
- [j12]Leonardo P. M. Santoro, Marcos Vicente Moreira
Computation of minimal diagnosis bases of Discrete-Event Systems using verifiers. Autom. 77: 93-102 (2017) - [j11]Lilian K. Carvalho
Diagnosability of intermittent sensor faults in discrete event systems. Autom. 79: 315-325 (2017) - [j10]Jean H. A. Tomola, Felipe Gomes Cabral
Robust Disjunctive-Codiagnosability of Discrete-Event Systems Against Permanent Loss of Observations. IEEE Trans. Autom. Control. 62(11): 5808-5815 (2017) - [c16]Felipe G. Cabral
Conditional Synchronized Diagnoser for Modular Discrete-event Systems. ICINCO (2) 2017: 88-97 - 2016
- [j9]Marcos Vicente Moreira
"Polynomial Time Verification of Decentralized Diagnosability of Discrete Event Systems" Versus "Decentralized Failure Diagnosis of Discrete Event Systems": A Critical Appraisal. IEEE Trans. Autom. Control. 61(1): 178-181 (2016) - [c15]Carlos E. V. Nunes, Marcos Vicente Moreira
Network codiagnosability of Discrete-Event Systems subject to event communication delays. WODES 2016: 217-223 - 2015
- [j8]Felipe Gomes Cabral
A Petri Net Diagnoser for Discrete Event Systems Modeled by Finite State Automata. IEEE Trans. Autom. Control. 60(1): 59-71 (2015) - [c14]Oumar Diene
Computational methods for diagnosability verification of hybrid systems. CCA 2015: 382-387 - [c13]Gustavo S. Viana
Computation of the maximum time for failure diagnosis of discrete-event systems. ACC 2015: 396-401 - [c12]Jean H. A. Tomola, Marcos Vicente Moreira
Robust codiagnosability of discrete-event systems against permanent loss of observations. CASE 2015: 813-818 - [c11]Felipe Gomes Cabral
Online fault diagnosis of modular discrete-event systems. CDC 2015: 4450-4455 - 2014
- [j7]Marcos Vicente Moreira
Bridging the Gap Between Design and Implementation of Discrete-Event Controllers. IEEE Trans Autom. Sci. Eng. 11(1): 48-65 (2014) - [c10]Oumar Diene
Analysis and verification of the diagnosability of Hybrid Systems. CDC 2014: 1-6 - [c9]Marcos Vinícius Silva Alves, João Carlos Basilio
Robust Supervisory Control against Intermittent Loss of Observations. WODES 2014: 294-299 - [c8]Leonardo P. M. Santoro, Marcos Vicente Moreira
Computation of Minimal Diagnosis Bases of Discrete-Event Systems Using Verifiers: Method of the Ambiguous Cyclic Paths. WODES 2014: 440-445 - 2013
- [j6]Lilian K. Carvalho
Robust diagnosis of discrete-event systems against permanent loss of observations. Autom. 49(1): 223-231 (2013) - [c7]Lilian Kawakami Carvalho
Diagnosability of intermittent sensor faults in discrete event systems. ACC 2013: 929-934 - 2012
- [j5]Lilian K. Carvalho
Robust diagnosis of discrete event systems against intermittent loss of observations. Autom. 48(9): 2068-2078 (2012) - [j4]João Carlos Basilio
Computation of minimal event bases that ensure diagnosability. Discret. Event Dyn. Syst. 22(3): 249-292 (2012) - [j3]Marcos Vicente Moreira
Fair and Square Computation of Inverse $ {\cal Z}$-Transforms of Rational Functions. IEEE Trans. Educ. 55(2): 285-290 (2012) - [c6]Marcos Vicente Moreira
Petri net diagnoser for DES modeled by finite state automata. CDC 2012: 6742-6748 - 2011
- [j2]Marcos Vicente Moreira
Polynomial Time Verification of Decentralized Diagnosability of Discrete Event Systems. IEEE Trans. Autom. Control. 56(7): 1679-1684 (2011) - 2010
- [c5]Marcos V. Moreira
Polynomial time verification of decentralized diagnosability of discrete event systems. ACC 2010: 3353-3358 - [c4]Lilian Kawakami Carvalho
Robust diagnosability of discrete event systems subject to intermittent sensor failures. WODES 2010: 84-89 - [c3]Saulo Telles Souza Lima, João Carlos Basilio
Robust diagnosis of discrete-event systems subject to permanent sensor failures. WODES 2010: 90-97
2000 – 2009
- 2005
- [c2]Marcos V. Moreira
Design of normalizing precompensators via alignment of output-input principal directions. CDC/ECC 2005: 2170-2175 - [c1]Marcos V. Moreira
Rational stabilizing commutative controllers for unstable plant. CDC/ECC 2005: 7864-7869 - 2004
- [j1]João Carlos Basilio
State-space parameter identification in a second control laboratory. IEEE Trans. Educ. 47(2): 204-210 (2004)
Coauthor Index
aka: Lilian K. Carvalho
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-08 20:31 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: