Bruno Lacerda
Research Fellow in Intelligent Robotics
School of Computer ScienceUniversity of Birmingham
Edgbaston, Birmingham, B15 2TT
United Kingdom E-mail: ku.ca.mahb.sc@adrecal.b
Research
I am currently part of the Intelligent Robotics Lab working with Dr. Nick Hawes on STRANDS (Spatio-Temporal Representations and Activities for Cognitive Control in Long-Term Scenarios), a 4-year EU FP7 Integrating Project.
My main goal in STRANDS is to develop control approaches that take advantage of the spatio-temporal data obtained from the long term deployment of robot systems.
I am interested on investigating how formal methods can be used in robotics, in particular, how temporal logic can be used to specify and synthesize high-level controllers for robot systems. My research interests include:
- Temporal Logics
- Discrete Event Systems
- Petri Nets
- Supervisory Control
- Planning Under Uncertainty
- Multi-Robot Coordination
Academic Career
My academic degrees were awarded by Instituto Superior Técnico, Lisbon, Portugal. My BSc and MSc degrees were obtained on the Department of Mathematics, and my PhD degree was obtained on the Department of Electrical and Computing Engineering. During my PhD, under the supervision of Prof. Pedro Lima, I was a member of the Intelligent Robot and Systems Group in the Institute for Systems and Robotics.
- PhD in Electrical and Computing Engineering (finished 2013).
- MSc in Mathematics and Applications (finished 2007).
- BSc in Applied Mathematics and Computation (finished 2007).
During my PhD, I was also a visitor in different research labs.
- Cyber-Physical Systems Laboratory, at University of California, Los Angeles, with Prof. Paulo Tabuada (September - December 2011).
- Robotics Lab, at Universidad Carlos III de Madrid, with Prof. Miguel A. Salichs (March - June 2010).
- Mobile Robotics Lab, at Örebro University, with Prof. Alessandro Saffiotti (August - December 2008).
My cv (last updated on March 2013) can be found here.
Publications
My Google Scholar Profile is available here.
Journal Papers
- 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)
Conference Papers
- 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)
Workshop Papers
- 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)