Lilian Kawakami Carvalho

According to our database, Lilian Kawakami Carvalho authored at least 25 papers between 2010 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

A cryptographic system based on automata for Networked Automation Systems abstracted as Discrete-Event Systems.

Marcos V. Moreira, Públio M. Lima, Lilian K. Carvalho, Felipe G. Cabral

Proceedings of the 20th IEEE International Conference on Automation Science and Engineering, 2024

2023

Ensuring confidentiality of cyber-physical systems using event-based cryptography.

Públio M. Lima, Lilian K. Carvalho, Marcos V. Moreira

Inf. Sci., April, 2023

Public bicycle sharing systems control and performance evaluation: A Petri net-based approach.

Braian I. de Freitas, Lilian K. Carvalho, João Carlos Basilio

Inf. Sci., 2023

2022

Security of Cyber-Physical Systems: Design of a Security Supervisor to Thwart Attacks.

Públio M. Lima, Marcos Vinícius Silva Alves, Lilian Kawakami Carvalho, Marcos V. Moreira

IEEE Trans Autom. Sci. Eng., 2022

Diagnosability verification using LTL model checking.

Thiago Monteiro Tuxi, Lilian K. Carvalho, Eduardo V. L. Nunes, Antonio Eduardo Carrilho da Cunha

Discret. Event Dyn. Syst., 2022

2021

Supervisory Control of Networked Discrete Event Systems With Timing Structure.

Marcos Vinícius Silva Alves, Lilian K. Carvalho, João Carlos Basilio

IEEE Trans. Autom. Control., 2021

Robust supervisory control of discrete event systems against intermittent loss of observations.

Marcos Vinícius Silva Alves, Antonio Eduardo Carrilho da Cunha, Lilian Kawakami Carvalho, Marcos Vicente Moreira, João Carlos Basilio

Int. J. Control, 2021

Online fault diagnosis for smart machines embedded in Industry 4.0 manufacturing systems: A labeled Petri net-based approach.

Pedro R. R. Paiva, Braian I. de Freitas, Lilian K. Carvalho, João Carlos Basilio

IFAC J. Syst. Control., 2021

Comparative analysis of related notions of robust diagnosability of Discrete-Event Systems.

Lilian Kawakami Carvalho, Marcos Vicente Moreira, João Carlos Basilio

Annu. Rev. Control., 2021

2018

Supervisory Control-Based Navigation Architecture: A New Framework for Autonomous Robots in Industry 4.0 Environments.

Antonio G. C. Gonzalez, Marcos Vinícius Silva Alves, Gustavo S. Viana, Lilian K. Carvalho, João Carlos Basilio

IEEE Trans. Ind. Informatics, 2018

Codiagnosability of networked discrete event systems subject to communication delays and intermittent loss of observation.

Carlos E. V. Nunes, Marcos V. Moreira, Marcos Vinícius Silva Alves, Lilian K. Carvalho, João Carlos Basilio

Discret. Event Dyn. Syst., 2018

Detection and mitigation of classes of attacks in supervisory control systems.

Lilian Kawakami Carvalho, Yi-Chin Wu, Raymond H. Kwong, Stéphane Lafortune

Autom., 2018

2017

Robust Disjunctive-Codiagnosability of Discrete-Event Systems Against Permanent Loss of Observations.

Jean H. A. Tomola, Felipe Gomes Cabral, Lilian K. Carvalho, Marcos Vicente Moreira

IEEE Trans. Autom. Control., 2017

New Algorithms for Verification of Relative Observability and Computation of Supremal Relatively Observable Sublanguage.

Marcos Vinícius Silva Alves, Lilian K. Carvalho, João Carlos Basilio

IEEE Trans. Autom. Control., 2017

Diagnosability of intermittent sensor faults in discrete event systems.

Lilian K. Carvalho, Marcos Vicente Moreira, João Carlos Basilio

Autom., 2017

Supervisory control of timed networked discrete event systems.

Marcos Vinícius Silva Alves, Lilian K. Carvalho, João Carlos Basilio

Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

2016

Detection and prevention of actuator enablement attacks in supervisory control systems.

Lilian Kawakami Carvalho, Yi-Chin Wu, Raymond H. Kwong, Stéphane Lafortune

Proceedings of the 13th International Workshop on Discrete Event Systems, 2016

A stochastic Petri net model for simulation-based performance analysis of public bicycle sharing systems.

Ingrid Antunes, Lilian K. Carvalho, João Carlos Basilio

Proceedings of the IEEE International Conference on Automation Science and Engineering, 2016

2015

Robust codiagnosability of discrete-event systems against permanent loss of observations.

Jean H. A. Tomola, Marcos Vicente Moreira, João Carlos Basilio, Lilian Kawakami Carvalho

Proceedings of the IEEE International Conference on Automation Science and Engineering, 2015

2014

Robust Supervisory Control against Intermittent Loss of Observations.

Marcos Vinícius Silva Alves, João Carlos Basilio, Antonio Eduardo Carrilho da Cunha, Lilian Kawakami Carvalho, Marcos Vicente Moreira

Proceedings of the 12th International Workshop on Discrete Event Systems, 2014

2013

Robust diagnosis of discrete-event systems against permanent loss of observations.

Lilian K. Carvalho, Marcos Vicente Moreira, João Carlos Basilio, Stéphane Lafortune

Autom., 2013

Diagnosability of intermittent sensor faults in discrete event systems.

Lilian Kawakami Carvalho, João Carlos Basilio, Marcos Vicente Moreira, Leonardo B. Clavijo

Proceedings of the American Control Conference, 2013

2012

Robust diagnosis of discrete event systems against intermittent loss of observations.

Lilian K. Carvalho, João Carlos Basilio, Marcos Vicente Moreira

Autom., 2012

DESLAB: A scientific computing program for analysis and synthesis of discrete-event systems.

Leonardo B. Clavijo, João Carlos Basilio, Lilian Kawakami Carvalho

Proceedings of the 11th International Workshop on Discrete Event Systems, 2012

2010

Robust diagnosability of discrete event systems subject to intermittent sensor failures.

Lilian Kawakami Carvalho, João Carlos Basilio, Marcos Vicente Moreira

Proceedings of the 10th International Workshop on Discrete Event Systems, 2010