André B. Leal

17 papers A* 1A 2C 3Journal 6Unranked 5
YearRankTypeTitle / Venue / Authors
2025 — conf
Robust Recovery and Control of Cyber-physical Discrete Event Systems under Actuator Attacks.
CDC
Samuel Oliveira, Mostafa Tavakkoli Anbarani, Gregory Beal, Ilya Kovalenko, Marcelo Teixeira, André B. Leal, Rômulo Meira-Góes
2025 J jnl
Robust Recovery and Control of Cyber-physical Discrete Event Systems under Actuator Attacks.
CoRR
Samuel Oliveira, Mostafa Tavakkoli Anbarani, Gregory Beal, Ilya Kovalenko, Marcelo Teixeira, André B. Leal, Rômulo Meira-Góes
2023 J jnl
A classification of cybersecurity strategies in the context of Discrete Event Systems.
Annu. Rev. Control.
Samuel Oliveira, André B. Leal, Marcelo Teixeira, Yuri K. Lopes
2023 A conf
Multi-Instance Task in Swarm Robotics: Sorting Groups of Robots or Objects into Clusters with Minimalist Controllers.
IROS
Adilson Krischanski, Yuri K. Lopes, André B. Leal, Ricardo F. Martins, Roberto Silvio Ubertino Rosso
2023 — conf
Security of Cyber-Physical Systems Against Actuator Attacks through Cryptography.
ICIT
Samuel Oliveira, André B. Leal, Marcelo Teixeira, Yuri K. Lopes
2022 J jnl
Combining Online Diagnosis and Prognosis for Safe Controllability.
IEEE Trans. Autom. Control.
Ana T. Y. Watanabe, André B. Leal, José E. R. Cury, Max Hering de Queiroz
2021 J jnl
Fault prognosis of discrete event systems: An overview.
Annu. Rev. Control.
Ana T. Y. Watanabe, Renan Sebem, André B. Leal, Marcelo da Silva Hounsell
2020 C conf
Fault Handling in Discrete Event Systems Applied to IEC 61499.
ETFA
Herbert A. S. Leitão, Roberto Silvio Ubertino Rosso, André B. Leal, Alois Zoitl
2020 A* conf
Supervisory Control of Robot Swarms Using Public Events.
ICRA
Yuri Kaszubowski Lopes, Stefan M. Trenkwalder, André B. Leal, Tony J. Dodd, Roderich Groß
2019 — conf
Formal Design and Implementation of Supervisory Controller for a Didactic Manufacturing Cell.
ICIT
L. D. James, Carlos Alberto Teixeira, André B. Leal
2017 J jnl
A Method for PLC Implementation of Supervisory Control of Discrete Event Systems.
IEEE Trans. Control. Syst. Technol.
Agnelo Denis Vieira, Eduardo Alves Portela Santos, Max Hering de Queiroz, André B. Leal, Amaro Duarte de Paula Neto, José Eduardo Ribeiro Cury
2017 A conf
Probabilistic Supervisory Control Theory (pSCT) Applied to Swarm Robotics.
AAMAS
Yuri Kaszubowski Lopes, Stefan M. Trenkwalder, André B. Leal, Tony J. Dodd, Roderich Groß
2017 C conf
Safe dynamic reconfiguration through supervisory control in IEC 61499 compliant systems.
INDIN
Leandro Israel Pinto, André B. Leal, Roberto Silvio Ubertino Rosso
2016 J jnl
Supervisory control theory applied to swarm robotics.
Swarm Intell.
Yuri K. Lopes, Stefan M. Trenkwalder, André B. Leal, Tony J. Dodd, Roderich Groß
2014 — conf
Application of Supervisory Control Theory to Swarms of e-puck and Kilobot Robots.
ANTS Conference
Yuri K. Lopes, André B. Leal, Tony J. Dodd, Roderich Groß
2009 C conf
Implementation of Supervisory Control Systems based on State Machines.
ETFA
Moacyr Possan, André B. Leal
2004 — conf
On the existence of optimal solutions for the modular supervisory control of hybrid systems.
CDC
André B. Leal, José E. R. Cury