Lilian K. Carvalho

Publication Activity (10 Years)

Years Active: 2012-2023
Publications (10 Years): 13

Top Topics

Fault Diagnosis

Supervisory Control

Discrete Event Systems

Top Venues

IEEE Trans. Autom. Control.

Discret. Event Dyn. Syst.

Publications

Públio M. Lima, Lilian K. Carvalho, Marcos V. Moreira
Ensuring confidentiality of cyber-physical systems using event-based cryptography. Inf. Sci. 621 (2023)
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 (2023)
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) (2022)
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 (2021)
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) (2021)
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) (2018)
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) (2018)
Lilian K. Carvalho, Marcos Vicente Moreira, João Carlos Basilio
Diagnosability of intermittent sensor faults in discrete event systems. Autom. 79 (2017)
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) (2017)
Marcos Vinícius Silva Alves, Lilian K. Carvalho, João Carlos Basilio
Supervisory control of timed networked discrete event systems. CDC (2017)
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) (2017)
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)
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)
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) (2013)
Lilian K. Carvalho, João Carlos Basilio, Marcos Vicente Moreira
Robust diagnosis of discrete event systems against intermittent loss of observations. Autom. 48 (9) (2012)