Bruno Lacerda
Former Collaborator
This author has not yet filled in any details.
Journal Papers
[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
Conference Papers
[4] 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
[5] 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
[6] 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
[7] 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
[8] 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
[9] 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
[10] 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
PhD Theses
[11] 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
[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 with uncertain task durations (Extended Abstract), Proc. of Conference on Autonomous Agents and Multi-Agent Systems (AAMAS2020), New Zealand, 2020
[2] 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
[3] 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
[4] 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
[5] 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
[6] 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
[7] 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
Carlos Azevedo
Meysam Basiri
Carlos Bispo
Oscar Lima
José Corujeira
Luís Custódio
Monica Ekal
Kagan Erunsal
Isabel Ferreira
João Gonçalves
Pedro Lima
Rute Luz
Lotfi Massarweh
André Mateus
João Pereira
Enrico Piazza
Lakshmi Prasad
Eloy Retamino
Isabel Ribeiro
Tomás Ribeiro
José Rosa
João Sequeira
Porfírio Silva
Tiago Veiga
Rodrigo Ventura
Alicja Wasik