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 under Uncertain Action Durations for Persistent Tasks, 2020 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2020), Las Vegas, NV, USA,, 2020
[5] 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
[6] 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
[7] 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
[8] 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
[9] 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
[10] 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
[11] 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
[12] 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 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