Robotics Research Lab

Vita

Lisa Kiekbusch studied technical computer science at the University of Kaiserslautern from 2002 to 2008. Since 2009 she is working as a research assistant in the Robotics Research Lab to complete her PhD. In continuation of her diploma thesis titled, "Oscillation Detection in Behaviour-Based Robot Architectures", she concentrates on the analysis and verification of behaviour-based robot control systems.

Publications

Sort by: Author, Year, Title

  • Oscillation Detection in Behaviour-Based Robot Architectures.
    Lisa Wilhelm and Robotics Research Lab, Department of Computer Sciences, University of Kaiserslautern
    (2008-November)
  • Applications of Visualization Technology in Robotics Software Development.
    Max Reichardt, Lisa Wilhelm, Martin Proetzsch and Karsten Berns
    4th Human Computer Interaction and Visualization (HCIV) Workshop 2009, (2009-March 2)
  • Oscillation Analysis in Behavior-Based Robot Architectures.
    Lisa Wilhelm, Martin Proetzsch and Karsten Berns
    Autonome Mobile Systeme, S. 121 - 128. (2009)
  • Contact lens fitting with the help of image processing.
    Lisa Wilhelm and Robotics Research Lab, Department of Computer Sciences, University of Kaiserslautern
    (2007)
  • Using Behaviour Activity Sequences for Motion Generation and Situation Recognition.
    Christopher Armbrust, Lisa Kiekbusch and Karsten Berns
    Proceedings of the 8th International Conference on Informatics in Control, Automation and Robotics (ICINCO 2011), S. 120 - 127. (2011-July 28-31)
  • Tutorial. Control System Development using iB2C.
    Lisa Kiekbusch and Martin Proetzsch
    (2011)
  • Verification of Behaviour Networks Using Finite-State Automata.
    Christopher Armbrust, Lisa Kiekbusch, Thorsten Ropertz and Karsten Berns
    KI 2012, (2012-September 24-27)
    http://www.shaker.de/de/content/catalogue/index.asp?lang=de&ID=8&ISBN=978-3-8440-0798-5
  • Tool-Assisted Verification of Behaviour Networks.
    Christopher Armbrust, Lisa Kiekbusch, Thorsten Ropertz and Karsten Berns
    Proceedings of the 2013 IEEE International Conference on Robotics and Automation (ICRA 2013), S. 1813 - 1820. (2013-May 6-10)
  • Quantitative Aspects of Behaviour Network Verification.
    Christopher Armbrust, Lisa Kiekbusch, Thorsten Ropertz and Karsten Berns
    Proceedings of the 26th Canadian Conference on Artificial Intelligence, Vol. 7884, (2013-May 28-31)
  • Modellierung und verteilte Simulation eines autonomen Mobilbaggers.
    Dr Juhasz, Daniel Schmidt, Lisa Kiekbusch, Prof Schmucker and Prof Berns
    Tagungsband Fachtagung Digitales Engineering zum Planen, Testen und Betreiben Technischer Systeme, S. 123 - 130. (2012-June 26-28)
  • Formal Verification of Behaviour Networks Including Hardware Failures.
    Lisa Kiekbusch, Christopher Armbrust and Karsten Berns
    Proceedings of the 13th International Conference on Intelligent Autonomous Systems (IAS-13), (2014-July 15-19)
  • Soft Robot Control with a Behaviour-Based Architecture.
    Christopher Armbrust, Lisa Kiekbusch, Thorsten Ropertz and Karsten Berns
    Soft Robotics - Transferring Theory to Application, S. 81 - 91. (2015)
  • Formal Verification of Behaviour Networks Including Sensor Failures.
    Lisa Kiekbusch, Christopher Armbrust and Karsten Berns
    Robotics and Autonomous Systems, Vol. 74, Part B, S. 331 - 339. (2015-December)
  • Real-time multi-platform pedestrian detection in a heavy duty driver assistance system.
    Songlin Piao, Lisa Kiekbusch, Daniel Schmidt, Karsten Berns, Daniel Hering, Stefan Wirtz, Nils Hering and Jürgen Weiland
    Commercial Vehicle Technology 2016 – Proceedings of the Commercial Vehicle Technology Symposium (CVT 2016), S. 61 - 70. (2016-March 8-10)
  • Analysis and Verification of Complex Robot Systems using Behaviour-Based Control.
    Lisa Kiekbusch and Department of Computer Science, University of Kaiserslautern
    (2017-March)

 

Zum Seitenanfang