Hello and welcome to my home page!

Currently, I am a PhD student at the Institute for Systems and Robotics - Instituto Superior Técnico, working on the use of temporal logics to specify and synthesize controllers for robot systems. My research interests include:

• Temporal logics
• Petri nets
• Discrete event systems

I previously attended both the BSc in Applied Mathematics and Computation and the MSc in Mathematics and Applications programs at Instituto Superior Técnico, having finished in 2007.

• LTL-Based Decentralized Supervisory Control of Multi-Robot Tasks Modelled as Petri Nets. Bruno Lacerda and Pedro U. Lima. In Proceedings of IROS '11 - The 2011 IEEE/RSJ International Conference on Intelligent Robots and Systems, San Francisco, CA, USA, 2011. (bib) (link)
  
  
• Designing Petri Net Supervisors from LTL Specifications. Bruno Lacerda and Pedro U. Lima. In Proceedings of the 2011 Robotics: Science and Systems Conference, Los Angeles, CA, USA, 2011. (bib) (link) (video)
  
  
• Designing Petri Net Supervisors for Multi-Agent Systems from LTL Specifications (Extended Abstract). Bruno Lacerda and Pedro U. Lima. In Proceedings of AAMAS '11 - The 10th International Conference on Autonomous Agents and Multiagent Systems, Taipei, Taiwan, 2011. (bib) (link)
  
  
• Petri Net Based Supervisory Control of a Social Robot with LTL Specifications. Bruno Lacerda, Pedro U. Lima, Javi Gorostiza and Miguel A. Salichs. In Proceedings of ROBOTICA '11 - The 11th International Conference On Mobile Robots And Competitions, Lisbon, Portugal, 2011. (bib) (pdf) (video)
  
  
• Petri Nets as an Analysis Tool for Data Flow in Wireless Sensor Networks. Bruno Lacerda and Pedro U. Lima. In Proceedings of CNRS '11 - The 1st Portuguese Conference on Wireless Sensor Networks, Coimbra, Portugal, 2011. (bib) (pdf)
  
  
• LTL Plan Specification for Robotic Tasks Modelled as Finite State Automata. Bruno Lacerda and Pedro U. Lima. In Proceedings of Workshop ADAPT - Agent Design: Advancing from Practice to Theory, Workshop at AAMAS '09 - The 8th International Conference on Autonomous Agents and Multiagent Systems, Budapest, Hungary, 2009. (bib) (pdf)
  
  
• Linear-Time Temporal Logic Control of Discrete Event Models of Cooperative Robots. Bruno Lacerda and Pedro U. Lima. Journal of Physical Agents, Vol. 2, No. 1, 2008. (bib) (link)
  
  
• Linear-Time Temporal Logic Control of Discrete Event Systems. Bruno Lacerda. Master Thesis, Instituto Superior Técnico, 2007. (bib) (link)