Lilian Kawakami Carvalho

Available identifiers

zbMath Open carvalho.lilian-kawakamiMaRDI QIDQ1716510

List of research outcomes

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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Lilian Kawakami Carvalho