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:
(100.00% artigos com DOI)
| Titulo | DOI | Ano |
|---|---|---|
| Public bicycle sharing systems control and performance evaluation: A Petri net-based approach | 10.1016/j.ins.2023.02.087 | 2023 |
| Ensuring confidentiality of cyber-physical systems using event-based cryptography | 10.1016/j.ins.2022.11.100 | 2023 |
| Diagnosability verification using LTL model checking | 10.1007/s10626-022-00360-w | 2022 |
| Robust decentralized diagnosability of networked discrete event systems against DoS and deception attacks | 10.1016/j.nahs.2022.101162 | 2022 |
| Online fault diagnosis for smart machines embedded in Industry 4.0 manufacturing systems: A labeled Petri net-based approach | 10.1016/j.ifacsc.2021.100146 | 2021 |
| Robust supervisory control of discrete event systems against intermittent loss of observations | 10.1080/00207179.2019.1690691 | 2021 |
| Supervisory Control of Networked Discrete Event Systems With Timing Structure | 10.1109/tac.2020.3007384 | 2021 |
| Comparative analysis of related notions of robust diagnosability of Discrete-Event Systems | 10.1016/j.arcontrol.2021.03.007 | 2021 |
| Security of Cyber-Physical Systems: Design of a Security Supervisor to Thwart Attacks | 10.1109/tase.2021.3076697 | 2021 |
| Security Against Communication Network Attacks of Cyber-Physical Systems | 10.1007/s40313-018-0420-9 | 2019 |
| Codiagnosability of networked discrete event systems subject to communication delays and intermittent loss of observation | 10.1007/s10626-017-0265-6 | 2018 |
| Detection and mitigation of classes of attacks in supervisory control systems | 10.1016/j.automatica.2018.07.017 | 2018 |
| Supervisory Control-Based Navigation Architecture: A New Framework for Autonomous Robots in Industry 4.0 Environments | 10.1109/TII.2017.2788079 | 2018 |
| Diagnosability of intermittent sensor faults in discrete event systems | 10.1016/j.automatica.2017.01.017 | 2017 |
| Robust Disjunctive-Codiagnosability of Discrete-Event Systems Against Permanent Loss of Observations | 10.1109/tac.2016.2638042 | 2017 |
| New Algorithms for Verification of Relative Observability and Computation of Supremal Relatively Observable Sublanguage | 10.1109/TAC.2016.2644640 | 2017 |
| Robust diagnosis of discrete-event systems against permanent loss of observations | 10.1016/j.automatica.2012.09.017 | 2013 |
| Robust diagnosis of discrete event systems against intermittent loss of observations | 10.1016/j.automatica.2012.06.042 | 2012 |
| Diagnose de Falhas em Sistemas a Eventos Discretos Modelados por Autômatos Finitos | 10.1590/S0103-17592010000500006 | 2010 |
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 |