Lilian Kawakami Carvalho

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Ensuring confidentiality of cyber-physical systems using event-based cryptography Information Sciences	2024-04-18	Paper
Diagnosability verification using LTL model checking Discrete Event Dynamic Systems	2022-10-12	Paper
Robust decentralized diagnosability of networked discrete event systems against DoS and deception attacks Nonlinear Analysis. Hybrid Systems	2022-04-08	Paper
Robust supervisory control of discrete event systems against intermittent loss of observations International Journal of Control	2021-12-22	Paper
Supervisory Control of Networked Discrete Event Systems With Timing Structure IEEE Transactions on Automatic Control	2021-05-28	Paper
Detection and mitigation of classes of attacks in supervisory control systems Automatica	2019-02-05	Paper
Codiagnosability of networked discrete event systems subject to communication delays and intermittent loss of observation Discrete Event Dynamic Systems	2018-10-08	Paper
New Algorithms for Verification of Relative Observability and Computation of Supremal Relatively Observable Sublanguage IEEE Transactions on Automatic Control	2018-06-27	Paper
Robust Disjunctive-Codiagnosability of Discrete-Event Systems Against Permanent Loss of Observations IEEE Transactions on Automatic Control	2018-06-27	Paper
Diagnosability of intermittent sensor faults in discrete event systems Automatica	2017-10-11	Paper
Robust diagnosis of discrete-event systems against permanent loss of observations Automatica	2013-03-04	Paper
Robust diagnosis of discrete event systems against intermittent loss of observations Automatica	2013-03-01	Paper

Research outcomes over time

This page was built for person: Lilian Kawakami Carvalho