default search action

combined dblp search
author search
venue search
publication search

ask others

Lilian Kawakami Carvalho

Lilian K. Carvalho

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2023
[j16]
- view
  authority control:
- export record
  dblp key:
  - journals/isci/LimaCM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/isci/LimaCM23
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)
[j15]
- view
  authority control:
- export record
  dblp key:
  - journals/isci/FreitasCB23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/isci/FreitasCB23
Braian I. de Freitas, Lilian K. Carvalho, João Carlos Basilio:
Public bicycle sharing systems control and performance evaluation: A Petri net-based approach. Inf. Sci. 632: 19-50 (2023)
2022
[j14]
- view
  authority control:
- export record
  dblp key:
  - journals/deds/TuxiCNC22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/deds/TuxiCNC22
Thiago Monteiro Tuxi, Lilian K. Carvalho, Eduardo V. L. Nunes, Antonio Eduardo Carrilho da Cunha:
Diagnosability verification using LTL model checking. Discret. Event Dyn. Syst. 32(3): 399-433 (2022)
[j13]
- view
  authority control:
- export record
  dblp key:
  - journals/tase/LimaACM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tase/LimaACM22
Públio M. Lima, Marcos Vinícius Silva Alves, Lilian Kawakami Carvalho, Marcos V. Moreira:
Security of Cyber-Physical Systems: Design of a Security Supervisor to Thwart Attacks. IEEE Trans Autom. Sci. Eng. 19(3): 2030-2041 (2022)
2021
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/arc/CarvalhoMB21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/arc/CarvalhoMB21
Lilian Kawakami Carvalho, Marcos Vicente Moreira, João Carlos Basilio:
Comparative analysis of related notions of robust diagnosability of Discrete-Event Systems. Annu. Rev. Control. 51: 23-36 (2021)
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/ifacjsc/PaivaFCB21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ifacjsc/PaivaFCB21
Pedro R. R. Paiva, Braian I. de Freitas, Lilian K. Carvalho, João Carlos Basilio:
Online fault diagnosis for smart machines embedded in Industry 4.0 manufacturing systems: A labeled Petri net-based approach. IFAC J. Syst. Control. 16: 100146 (2021)
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/ijcon/AlvesCCMB21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijcon/AlvesCCMB21
Marcos Vinícius Silva Alves, Antonio Eduardo Carrilho da Cunha, Lilian Kawakami Carvalho, Marcos Vicente Moreira, João Carlos Basilio:
Robust supervisory control of discrete event systems against intermittent loss of observations. Int. J. Control 94(7): 2008-2020 (2021)
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/tac/AlvesCB21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tac/AlvesCB21
Marcos Vinícius Silva Alves, Lilian K. Carvalho, João Carlos Basilio:
Supervisory Control of Networked Discrete Event Systems With Timing Structure. IEEE Trans. Autom. Control. 66(5): 2206-2218 (2021)
2018
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/automatica/CarvalhoWKL18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/automatica/CarvalhoWKL18
Lilian Kawakami Carvalho, Yi-Chin Wu, Raymond H. Kwong, Stéphane Lafortune:
Detection and mitigation of classes of attacks in supervisory control systems. Autom. 97: 121-133 (2018)
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/deds/NunesMACB18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/deds/NunesMACB18
Carlos E. V. Nunes, Marcos V. Moreira, Marcos Vinícius Silva Alves, Lilian K. Carvalho, João Carlos Basilio:
Codiagnosability of networked discrete event systems subject to communication delays and intermittent loss of observation. Discret. Event Dyn. Syst. 28(2): 215-246 (2018)
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/tii/GonzalezAVCB18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tii/GonzalezAVCB18
Antonio G. C. Gonzalez, Marcos Vinícius Silva Alves, Gustavo S. Viana, Lilian K. Carvalho, João Carlos Basilio:
Supervisory Control-Based Navigation Architecture: A New Framework for Autonomous Robots in Industry 4.0 Environments. IEEE Trans. Ind. Informatics 14(4): 1732-1743 (2018)
2017
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/automatica/CarvalhoMB17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/automatica/CarvalhoMB17
Lilian K. Carvalho, Marcos Vicente Moreira, João Carlos Basilio:
Diagnosability of intermittent sensor faults in discrete event systems. Autom. 79: 315-325 (2017)
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/tac/TomolaCCM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tac/TomolaCCM17
Jean H. A. Tomola, Felipe Gomes Cabral, Lilian K. Carvalho, Marcos Vicente Moreira:
Robust Disjunctive-Codiagnosability of Discrete-Event Systems Against Permanent Loss of Observations. IEEE Trans. Autom. Control. 62(11): 5808-5815 (2017)
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/tac/AlvesCB17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tac/AlvesCB17
Marcos Vinícius Silva Alves, Lilian K. Carvalho, João Carlos Basilio:
New Algorithms for Verification of Relative Observability and Computation of Supremal Relatively Observable Sublanguage. IEEE Trans. Autom. Control. 62(11): 5902-5908 (2017)
2013
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/automatica/CarvalhoMBL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/automatica/CarvalhoMBL13
Lilian K. Carvalho, Marcos Vicente Moreira, João Carlos Basilio, Stéphane Lafortune:
Robust diagnosis of discrete-event systems against permanent loss of observations. Autom. 49(1): 223-231 (2013)
2012
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/automatica/CarvalhoBM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/automatica/CarvalhoBM12
Lilian K. Carvalho, João Carlos Basilio, Marcos Vicente Moreira:
Robust diagnosis of discrete event systems against intermittent loss of observations. Autom. 48(9): 2068-2078 (2012)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/case/MoreiraLCC24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/case/MoreiraLCC24
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
2017
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/AlvesCB17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/AlvesCB17
Marcos Vinícius Silva Alves, Lilian K. Carvalho, João Carlos Basilio:
Supervisory control of timed networked discrete event systems. CDC 2017: 4859-4865
2016
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/IEEEcca/AlvesCB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/IEEEcca/AlvesCB16
Marcos Vinícius Silva Alves, Lilian K. Carvalho, João Carlos Basilio:
New algorithms for verification of relative observability and computation of supremal relatively observable sublanguage. CCA 2016: 526-531
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/case/AntunesCB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/case/AntunesCB16
Ingrid Antunes, Lilian K. Carvalho, João Carlos Basilio:
A stochastic Petri net model for simulation-based performance analysis of public bicycle sharing systems. CASE 2016: 433-439
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/wodes/CarvalhoWKL16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wodes/CarvalhoWKL16
Lilian Kawakami Carvalho, Yi-Chin Wu, Raymond H. Kwong, Stéphane Lafortune:
Detection and prevention of actuator enablement attacks in supervisory control systems. WODES 2016: 298-305
2015
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/case/TomolaMBC15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/case/TomolaMBC15
Jean H. A. Tomola, Marcos Vicente Moreira, João Carlos Basilio, Lilian Kawakami Carvalho:
Robust codiagnosability of discrete-event systems against permanent loss of observations. CASE 2015: 813-818
2014
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/wodes/AlvesBCCM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wodes/AlvesBCCM14
Marcos Vinícius Silva Alves, João Carlos Basilio, Antonio Eduardo Carrilho da Cunha, Lilian Kawakami Carvalho, Marcos Vicente Moreira:
Robust Supervisory Control against Intermittent Loss of Observations. WODES 2014: 294-299
2013
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/amcc/CarvalhoBMC13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amcc/CarvalhoBMC13
Lilian Kawakami Carvalho, João Carlos Basilio, Marcos Vicente Moreira, Leonardo B. Clavijo:
Diagnosability of intermittent sensor faults in discrete event systems. ACC 2013: 929-934
2012
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/wodes/ClavijoBC12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wodes/ClavijoBC12
Leonardo B. Clavijo, João Carlos Basilio, Lilian Kawakami Carvalho:
DESLAB: A scientific computing program for analysis and synthesis of discrete-event systems. WODES 2012: 349-355
2010
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/wodes/CarvalhoBM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wodes/CarvalhoBM10
Lilian Kawakami Carvalho, João Carlos Basilio, Marcos Vicente Moreira:
Robust diagnosability of discrete event systems subject to intermittent sensor failures. WODES 2010: 84-89

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2018
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1807-04889
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1807-04889
Lilian Kawakami Carvalho, Yi-Chin Wu, Raymond H. Kwong, Stéphane Lafortune:
Detection and Mitigation of Classes of Attacks in Supervisory Control Systems. CoRR abs/1807.04889 (2018)

Coauthor Index

see FAQ

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.