Bruno Lacerda

Position: Ph.D. Student

Group: Intelligent Robots and Systems Group (IRSg)

Personal page: http://omni.isr.ist.utl.pt/~blacerda/

FCT: J5192571I7L2

No projects found

No projects found

[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] Pedro Lima, 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

No publications found for author "cap-bruno"

No publications found for author "cap-bruno"

[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, 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] Pedro Lima, 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
[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] Pedro Lima, 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

No publications found for author "cap-bruno"

No publications found for author "cap-bruno"

No publications found for author "cap-bruno"

No publications found for author "cap-bruno"

No publications found for author "cap-bruno"

Other members in the same group