Bruno Lacerda

Bruno Lacerda
This author has not yet filled in any details.
[1] Bruno Lacerda, Pedro Lima, "Petri net based multi-robot task coordination from temporal logic specifications", Robotics and Autonomous Systems, Vol. 122, 103289, 2019 - PDF
[2] Bruno Lacerda, Pedro Lima, "On the Notion of Uncontrollable Marking in Supervisory Control of Petri Nets", accepted, IEEE Transactions on Automatic Control , 2014
[3] Bruno Lacerda, "Linear-Time Temporal Logic Control of Discrete Event Models of Cooperative Robots", Journal of Physical Agents, Vol. 2, No. 1, Special Issue on Multi-Robot Systems , 2008
[1] Carlos Azevedo, Bruno Lacerda, Nick Hawes, Pedro Lima, "Long-Run Multi-Robot Planning under Uncertain Action Durations for Persistent Tasks", 2020 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2020), Las Vegas, NV, USA,, 2020
[2] Carlos Azevedo, Bruno Lacerda, Nick Hawes, Pedro Lima, "Long-run multi-robot planning with uncertain task durations (Extended Abstract)", Proc. of Conference on Autonomous Agents and Multi-Agent Systems (AAMAS2020), New Zealand, 2020
[3] Bruno Lacerda, "LTL-Based Decentralized Supervisory Control of Multi-Robot Tasks Modelled as Petri Nets", Proc. of IROS 2011 - IEEE/RSJ International Conference on Intelligent Robots and Systems, San Francisco, CA, USA, 2011
[4] Bruno Lacerda, Pedro Lima, "Designing Petri Net Supervisors for Multi-Agent Systems from LTL Specifications (Extended Abstract)", Proc. of AAMAS 2011 - 10th International Conference on Autonomous Agents and Multiagent Systems, Taipei, Taiwan, 2011
[5] Bruno Lacerda, Pedro Lima, J. Gorostiza, M. A. Salichs, "Petri Net Based Supervisory Control of a Social Robot with LTL Specifications", Proc. of ROBOTICA 2011 - 11th International Conference On Mobile Robots And Competitions, Lisboa, Portugal, 2011
[6] Bruno Lacerda, Pedro Lima, "Designing Petri Net Supervisors from LTL Specifications", Proc. of the 2011 Robotics: Science and Systems Conference, Los Angeles, CA, USA, 2011
[7] Bruno Lacerda, Pedro Lima, "Petri Nets as an Analysis Tool For Data Flow in Wireless Sensor Networks", Proc. of CNRS 2011 - 1st Portuguese Conference on Wireless Sensor Networks, Coimbra, Portugal, 2011
[8] Bruno Lacerda, "LTL Plan Specification for Robotic Tasks Modelled as Finite State Automata", Proc. of Workshop ADAPT - Agent Design: Advancing from Practice to Theory, AAMAS 2009 - the 8th International Conference on Autonomous Agents and Multiagent Systems, Budapest, Hungary, 2009
[1] Bruno Lacerda, "Supervision of Discrete Event Systems Based on Temporal Logic Specifications", Ph.D. Thesis, Instituto Superior Tecnico, Universidade Tecnica de Lisboa, September, 2013 - PDF

In the same group

Rui Abrantes
Carlos Azevedo
Meysam Basiri
Rui Bettencourt
Carlos Bispo
Mariana Campos
Catarina Caramalho
João Carranca
Afonso Certo
Gonçalo Coelho
Maria Inês Conceição
Jéssica Corujeira
Tiago Costa
Luís Custódio
Kaggan İzzet Erunsal
Isabel Ferreira
Pedro U. Lima
Rute Luz
Lotfi Massarweh
André Mateus
Inês Mesquita
António Morais
Miguel Nabais
João Nascimento
Gabriel Nunes
Clara Pais
Margarida Pereira
Enrico Piazza
Valter Piedade
Isabel Ribeiro
Pedro Sarnadas
João Sequeira
Rodrigo Serra
Porfírio Silva
Ricardo Silva
Inês Sousa
Robin Steiger
Tiago Teixeira
André Teixeira
Patrícia Torres
Francisco Vasconcelos
Rodrigo Ventura
Thijs Verbroekken
Go to Top