Robust diagnosability of discrete event systems subject to intermittent sensor failures. - Lilian Kawakami Carvalho; João Carlos Basilio; Marcos Vicente Moreira (WODES, 2010)

DESLAB: A scientific computing program for analysis and synthesis of discrete-event systems. - Leonardo B. Clavijo; João Carlos Basilio; Lilian Kawakami Carvalho (WODES, 2012)

Robust diagnosis of discrete event systems against intermittent loss of observations. - Lilian K. Carvalho; João Carlos Basilio; Marcos Vicente Moreira (Autom., 2012)

Diagnosability of intermittent sensor faults in discrete event systems. - Lilian Kawakami Carvalho; João Carlos Basilio; Marcos Vicente Moreira; Leonardo B. Clavijo (ACC, 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)

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 (WODES, 2014)

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 (CASE, 2015)

A stochastic Petri net model for simulation-based performance analysis of public bicycle sharing systems. - Ingrid Antunes; Lilian K. Carvalho; João Carlos Basilio (CASE, 2016)

Detection and prevention of actuator enablement attacks in supervisory control systems. - Lilian Kawakami Carvalho; Yi-Chin Wu; Raymond H. Kwong; Stéphane Lafortune (WODES, 2016)

Supervisory control of timed networked discrete event systems. - Marcos Vinícius Silva Alves; Lilian K. Carvalho; João Carlos Basilio (CDC, 2017)

Diagnosability of intermittent sensor faults in discrete event systems. - Lilian K. Carvalho; Marcos Vicente Moreira; João Carlos Basilio (Autom., 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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

Ensuring confidentiality of cyber-physical systems using event-based cryptography. - Públio M. Lima; Lilian K. Carvalho; Marcos V. Moreira (Inf. Sci., 2023)

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 (CASE, 2024)