Lilian K. Carvalho

16 papers C 1Journal 12Unranked 3
YearRankTypeTitle / Venue / Authors
2024 — conf
A cryptographic system based on automata for Networked Automation Systems abstracted as Discrete-Event Systems.
CASE
Marcos V. Moreira, Públio M. Lima, Lilian K. Carvalho, Felipe G. Cabral
2023 J jnl
Ensuring confidentiality of cyber-physical systems using event-based cryptography.
Inf. Sci.
Públio M. Lima, Lilian K. Carvalho, Marcos V. Moreira
2023 J jnl
Public bicycle sharing systems control and performance evaluation: A Petri net-based approach.
Inf. Sci.
Braian I. de Freitas, Lilian K. Carvalho, João Carlos Basilio
2022 J jnl
Diagnosability verification using LTL model checking.
Discret. Event Dyn. Syst.
Thiago Monteiro Tuxi, Lilian K. Carvalho, Eduardo V. L. Nunes, Antonio Eduardo Carrilho da Cunha
2021 J jnl
Online fault diagnosis for smart machines embedded in Industry 4.0 manufacturing systems: A labeled Petri net-based approach.
IFAC J. Syst. Control.
Pedro R. R. Paiva, Braian I. de Freitas, Lilian K. Carvalho, João Carlos Basilio
2021 J jnl
Supervisory Control of Networked Discrete Event Systems With Timing Structure.
IEEE Trans. Autom. Control.
Marcos Vinícius Silva Alves, Lilian K. Carvalho, João Carlos Basilio
2018 J jnl
Codiagnosability of networked discrete event systems subject to communication delays and intermittent loss of observation.
Discret. Event Dyn. Syst.
Carlos E. V. Nunes, Marcos V. Moreira, Marcos Vinícius Silva Alves, Lilian K. Carvalho, João Carlos Basilio
2018 J jnl
Supervisory Control-Based Navigation Architecture: A New Framework for Autonomous Robots in Industry 4.0 Environments.
IEEE Trans. Ind. Informatics
Antonio G. C. Gonzalez, Marcos Vinícius Silva Alves, Gustavo S. Viana, Lilian K. Carvalho, João Carlos Basilio
2017 J jnl
Diagnosability of intermittent sensor faults in discrete event systems.
Autom.
Lilian K. Carvalho, Marcos Vicente Moreira, João Carlos Basilio
2017 J jnl
New Algorithms for Verification of Relative Observability and Computation of Supremal Relatively Observable Sublanguage.
IEEE Trans. Autom. Control.
Marcos Vinícius Silva Alves, Lilian K. Carvalho, João Carlos Basilio
2017 J jnl
Robust Disjunctive-Codiagnosability of Discrete-Event Systems Against Permanent Loss of Observations.
IEEE Trans. Autom. Control.
Jean H. A. Tomola, Felipe Gomes Cabral, Lilian K. Carvalho, Marcos Vicente Moreira
2017 — conf
Supervisory control of timed networked discrete event systems.
CDC
Marcos Vinícius Silva Alves, Lilian K. Carvalho, João Carlos Basilio
2016 — conf
A stochastic Petri net model for simulation-based performance analysis of public bicycle sharing systems.
CASE
Ingrid Antunes, Lilian K. Carvalho, João Carlos Basilio
2016 C conf
New algorithms for verification of relative observability and computation of supremal relatively observable sublanguage.
CCA
Marcos Vinícius Silva Alves, Lilian K. Carvalho, João Carlos Basilio
2013 J jnl
Robust diagnosis of discrete-event systems against permanent loss of observations.
Autom.
Lilian K. Carvalho, Marcos Vicente Moreira, João Carlos Basilio, Stéphane Lafortune
2012 J jnl
Robust diagnosis of discrete event systems against intermittent loss of observations.
Autom.
Lilian K. Carvalho, João Carlos Basilio, Marcos Vicente Moreira