Vita
Lisa Kiekbusch studierte von 2002 bis 2008 Technoinformatik an der TU Kaiserslautern. Seit 2009 ist sie zunächst als Stipendiatin und später als wissenschaftliche Mitarbeiterin am Lehrstuhl Robotersysteme tätig. In Fortsetzung ihrer Diplomarbeit zum Thema "Oscillation Detection in Behaviour-Based Robot Architectures" beschäftigt sie sich mit der Analyse und Verifikation verhaltensbasierter Steuerungssysteme.
Veröffentlichungen
Sortiere nach: Autor, Jahr, Titel
- Oscillation Detection in Behaviour-Based Robot Architectures.
(2008-November) - Applications of Visualization Technology in Robotics Software Development.
4th Human Computer Interaction and Visualization (HCIV) Workshop 2009, (2009-March 2) - Oscillation Analysis in Behavior-Based Robot Architectures.
Autonome Mobile Systeme, S. 121 - 128. (2009) - Contact lens fitting with the help of image processing.
(2007) - Using Behaviour Activity Sequences for Motion Generation and Situation Recognition.
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.
(2011) - Verification of Behaviour Networks Using Finite-State Automata.
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.
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.
Proceedings of the 26th Canadian Conference on Artificial Intelligence, Vol. 7884, (2013-May 28-31) - Modellierung und verteilte Simulation eines autonomen Mobilbaggers.
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.
Proceedings of the 13th International Conference on Intelligent Autonomous Systems (IAS-13), (2014-July 15-19) - Soft Robot Control with a Behaviour-Based Architecture.
Soft Robotics - Transferring Theory to Application, S. 81 - 91. (2015) - Formal Verification of Behaviour Networks Including Sensor Failures.
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.
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.
(2017-March)