Lilian Kawakami Carvalho
Instituição:
Universidade Federal do Rio de Janeiro
Centro:
Centro de Tecnologia
Unidade:
Escola Politécnica
Departamento:
Departamento de Engenharia Controle e Automação/Poli
Formação:
-
University of Michigan
| Pós-Doutorado | 2014 - 2015
-
Universidade Federal do Rio de Janeiro
Engenharia Elétrica | Doutorado | 2006 - 2011
-
Universidade Federal do Rio de Janeiro
Engenharia Elétrica | Mestrado | 2003 - 2005
-
Universidade Federal do Rio de Janeiro
Engenharia Eletrônica e de Computação | Graduação | 1997 - 2003
Laboratórios:
Nuvens de Palavras:
Artigos:
Nenhum artigo cadastrado
Eventos:
(20.00% eventos com DOI)
| Titulo | DOI | Ano |
|---|---|---|
| Synthesis of an Obfuscation Policy that Guarantees Utility Satisfying a New Privacy Criterion | 2023 | |
| Síntese de uma Nova Política de Ofuscação que Garanta Diferentes Níveis de Privacidade e Utilidade | 2022 | |
| Controle Supervisório de Sistemas a Eventos Discretos com Múltiplos Canais de Comunicação | 2022 | |
| Uso da cifra de fluxo ChaCha20 em redes de automação | 2022 | |
| Event-based cryptography for automation networks of cyber-physical systems using the stream cipher ChaCha20 | 2022 | |
| Networked Automation Systems: a new cryptographic scheme | 10.20906/sbai2021/216041 | 2021 |
| Confidentiality of cyber-physical systems using event-based cryptography | 2020 | |
| Is LTL model-checking effective for Diagnosability Verification? | 2020 | |
| Uma nova abordagem do mapeamento de sensores para obtenção de modelos de sistemas eventos discretos sujeitos a falhas | 10.48011/asba.v2i1.1283 | 2020 |
| Sincronização de sistemas a eventos discretos modelados por rede Petri usando lugares comuns | 10.17648/sbai-2019-111447 | 2019 |
| Decentralized Diagnosis of Networked Discrete Event Systems Subject to Denial of Service Attacks | 10.17648/sbai-2019-111512 | 2019 |
| A Supervisory Control-Based Navigation Architecture for Multiple Autonomous Robots in Industry 4.0 Environments | 10.17648/sbai-2019-111525 | 2019 |
| A model-checking based approach: Diagnosability Verification | 10.17648/sbai-2019-111591 | 2019 |
| Detectable and Undetectable Network Attack Security of Cyber-physical Systems | 2018 | |
| Diagnosticabilidade de sistemas híbridos empregando análise de alcançabilidade | 2018 | |
| Implementation of a security module for cyber-physical systems | 2018 | |
| Security Against Network Attacks in Supervisory Control Systems | 2017 | |
| Diagnosability and online diagnosis of discrete-event systems modeled by acyclic labeled Petri nets | 2017 | |
| Diagnose online de sistemas a evento discretos modelados por redes de Petri acíclicas | 2017 | |
| Controle supervisório de sistemas a eventos discretos em rede temporizados | 2017 | |
| Supervisory Control of Timed Networked Discrete Event Systems | 2017 | |
| Detection and prevention of actuator enablement attacks in supervisory control systems | 10.1109/WODES.2016.7497863 | 2016 |
| A stochastic Petri Net Model for Simulation-based Performance Analysis of Public Bicycle Sharing Systems | 2016 | |
| New algorithms for verification of relative observability and computation of supremal relatively observable sublanguage | 10.1109/CCA.2016.7587883 | 2016 |
| Codiagnosticabilidade em rede de sistemas a eventos discretos sujeita a atrasos e perdas de observação de eventos | 2016 | |
| Robust Codiagnosability of Discrete-Event Systems Against Permanent Loss of Observations | 2015 | |
| Algoritmos para verificação da observabilidade relativa e cálculo da sublinguagem observável relativa suprema | 2015 | |
| Robust Supervisory Control Against Intermittent Loss of Observations | 2014 | |
| Controle supervisório robusto de SED sujeitos a perdas intermitentes de observação | 2014 | |
| Diagnosability of intermittent sensor faults in discrete event systems | 2013 | |
| DESLAB: A scientific computing program for analysis and synthesis of discrete-event systems | 2012 | |
| Falhas intermitentes na operação de sensores em sistemas a eventos discretos: modelagem e análise da diagnosticabilidade | 2012 | |
| DESLAB: uma ferramenta para o desenvolvimento de algoritmos para análise e projeto de sistemas a eventos discretos | 2012 | |
| Generalized Robust Diagnosability of Discrete Event Systems | 2011 | |
| Diagnose de falhas de sistemas a eventos discretos sujeitos a perdas intermitentes de sensores | 2010 | |
| Um novo algoritmo para verificação da diagnosticabilidade descentralizada de sistemas a eventos discretos | 2010 | |
| Robust diagnosability of discrete event systems subject to intermittent sensor failures | 2010 | |
| Controle Realimentado Estabilizante de um Robô Móvel via Modo Deslizante | 2008 | |
| Output feedback adaptive impedance force control applied to bilateral teleoperation | 2008 | |
| Implementação e Avaliação de Desempenho de Controle em Tempo Real por Equação de Riccati Dependente do Estado | 2006 |