Wissenschaftliche Mitarbeiter

Dr.-Ing. Christopher Armbrust (ehemaliger Mitarbeiter)

Telefon: 0631 205-xxxx
Raum: 48-xxx
Mail: armbrustinformatik.uni-klde

Vita

Christopher Armbrust wurde 1981 in Mainz geboren. Er studierte von 2001 bis 2007 Informatik an der Technischen Universität Kaiserslautern. Studienschwerpunkt war die Robotik. Den Abschluss seines Studiums bildete seine Diplomarbeit mit dem Thema ,,Mobile Robot Navigation Using Dynamic Maps and a Behaviour-Based Anti-Collision System''.

Ab 2007 war Christopher Armbrust Mitglied des Lehrstuhls Robotersysteme - zunächst als Promotionsstudent im Promotionsprogramm des Fachbereichs Informatik und später als wissenschaftlicher Mitarbeiter. Seine Forschungsinteressen beinhalten verhaltensbasierte Kontrollsysteme, autonome mobile Roboter und Roboternavigation.

In seiner Dissertation mit dem Titel „Design and Verification of Behaviour-Based Systems Realising Task Sequences“, die er 2014 einreichte und 2015 verteidigte, beschäftigt er sich mit dem strukturierten Entwurf und der formalen Überprüfung von verhaltensbasierten Systemen, die komplexe Aufgaben ausführen. Darüber hinaus koordinierte Christopher Armbrust die Mitarbeit des Lehrstuhls Robotersysteme im EU-FP7-Projekt ICARUS, das sich mit dem Einsatz von Robotern bei Such- und Rettungsaufgaben beschäftigt.

Christopher Armbrust verließ den Lehrstuhl Robotersysteme im September 2015.

Veröffentlichungen

2015

Lisa Kiekbusch, Christopher Armbrust, Karsten Berns
BibTex read as PDF search
Formal Verification of Behaviour Networks Including Sensor Failures
in Robotics and Autonomous Systems, vol. 74, Part B, pp. 331-339, 2015, December, DOI:10.1016/j.robot.2015.08.002
Christopher Armbrust
BibTex read as PDF search
Design and Verification of Behaviour-Based Systems Realising Task Sequences
Verlag Dr. Hut, München, 2015, ISBN-13: 978-3-8439-2261-6
Christopher Armbrust, Lisa Kiekbusch, Thorsten Ropertz, Karsten Berns
BibTex read as PDF search
Soft Robot Control with a Behaviour-Based Architecture
Soft Robotics - Transferring Theory to Application, Springer-Verlag, pp. 81--91, 2015

2014

Christopher Armbrust
BibTex search
Design and Verification of Behaviour-Based Systems Realising Task Sequences
Robotics Research Lab, Department of Computer Science, University of Kaiserslautern, 2014, November 26, http://www.dr.hut-verlag.de/978-3-8439-2261-6.html
Lisa Kiekbusch, Christopher Armbrust, Karsten Berns
BibTex read as PDF search
Formal Verification of Behaviour Networks Including Hardware Failures
Proceedings of the 13th International Conference on Intelligent Autonomous Systems (IAS-13), 2014, July 15-19, Padova, Italy
Christopher Armbrust, Geert De Cubber, Karsten Berns
BibTex read as PDF search
ICARUS - Control Systems for Search and Rescue Robots
Field and Assistive Robotics - Advances in Systems and Algorithms, Shaker Verlag, pp. 1--16, 2014, Aachen, ISBN-13: 978-3-8440-2753-2

2013

Geert De Cubber, Daniela Doroftei, Yvan Baudoin, Daniel Serrano, Karsten Berns, Christopher Armbrust, Keshav Chintamani, Rui Sabino, Stéphane Ourevitch, Tommaso Flamma
BibTex read as PDF search
Search and Rescue robots developed by the European ICARUS project
Proceedings of the IARP Seventh International Workshop on Robotics for Risky Environments - Extreme Robotics (7th IARP RISE-ER 2013), International Advanced Robotics Programme, 2013, October 1-3, Saint Petersburg, Russia
Shashank Govindaraj, Keshav Chintamani, Jeremi Gancet, Pierre Letier, Boris van Lierde, Yashodhan Nevatia, Geert De Cubber, Daniel Serrano, Miguel Esbri Palomares, Janusz Bedkowski, Christopher Armbrust, Jose Sanchez, Antonio Coelho, Iratxe Orbe
BibTex read as PDF search
The ICARUS Project - Command, Control and Intelligence (C2I)
Proceedings of the 11th IEEE International Symposium on Safety, Security, and Rescue Robotics (SSRR 2013), IEEE RAS, 2013, October 21-26, Linköping, Sweden
Christopher Armbrust, Lisa Kiekbusch, Thorsten Ropertz, Karsten Berns
BibTex read as PDF search
Quantitative Aspects of Behaviour Network Verification
Proceedings of the 26th Canadian Conference on Artificial Intelligence, Springer, vol. 7884, 2013, May 28-31, Regina, Saskatchewan, Canada
Christopher Armbrust, Lisa Kiekbusch, Thorsten Ropertz, Karsten Berns
BibTex read as PDF search
Tool-Assisted Verification of Behaviour Networks
Proceedings of the 2013 IEEE International Conference on Robotics and Automation (ICRA 2013), pp. 1813--1820, 2013, May 6-10, Karlsruhe, Germany
Bernd-Helge Schäfer, Christopher Armbrust, Tobias Föhst, Karsten Berns
BibTex read as PDF search
The Application of Design Schemata in Off-Road Robotics
in Intelligent Transportation Systems Magazine, IEEE, vol. 5, no. 1, pp. 4-27, 2013, Spring

2012

Christopher Armbrust, Lisa Kiekbusch, Thorsten Ropertz, Karsten Berns
BibTex read as PDF search
Verification of Behaviour Networks Using Finite-State Automata
KI 2012: Advances in Artificial Intelligence, Springer, 2012, September 24-27, Saarbrücken, Germany, http://www.shaker.de/de/content/catalogue/index.asp?lang=de&ID=8&ISBN=978-3-8440-0798-5
Christopher Armbrust, Daniel Schmidt, Karsten Berns
BibTex read as PDF search
Generating Behaviour Networks from Finite-State Machines
Proceedings of the 7th German Conference on Robotics (ROBOTIK 2012), 2012, May 22--25

2011

Christopher Armbrust, Syed Atif Mehdi, Max Reichardt, Jan Koch, Karsten Berns
BibTex read as PDF search
Using an Autonomous Robot to Maintain Privacy in Assistive Environments
in Security and Communications Networks: Special Issue on Privacy and Security in Pervasive e-Health and Assistive Environments, vol. 4, no. 11, pp. 1275-1293, 2011, November
Christopher Armbrust, Lisa Kiekbusch, Karsten Berns
BibTex read as PDF search
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), SciTePress - Science and Technology Publications, pp. 120-127, Institute for Systems and Technologies of Information, Control and Communication (INSTICC), 2011, July 28-31, Noordwijkerhout, The Netherlands
Karsten Berns, Klaus-Dieter Kuhnert, Christopher Armbrust
BibTex read as PDF search
Off-road Robotics - An Overview
in KI - Künstliche Intelligenz, Springer Berlin / Heidelberg, vol. 25, no. 2, pp. 109-116, 2011, May, http://dx.doi.org/10.1007/s13218-011-0100-4
Karsten Berns, Christopher Armbrust
BibTex search
Off-road Robotics
Springer, vol. 25, no. 2, 2011, May
Christopher Armbrust, Martin Proetzsch, Karsten Berns
BibTex read as PDF search
Behaviour-Based Off-Road Robot Navigation
in KI - Künstliche Intelligenz, Springer Berlin / Heidelberg, vol. 25, no. 2, pp. 155-160, 2011, May, this publication is available at http://dx.doi.org/10.1007/s13218-011-0090-2

2010

Christopher Armbrust, Martin Proetzsch, Bernd-Helge Schäfer, Karsten Berns
BibTex read as PDF search
A Behaviour-based Integration of Fully Autonomous, Semi-autonomous and Tele-operated Control Modes for an Off-road Robot
Proceedings of the 2nd IFAC Symposium on Telematics Applications, IFAC, 2010, October 5-8, Politehnica University, Timisoara, Romania, invited paper
Christopher Armbrust, Tim Braun, Tobias Föhst, Martin Proetzsch, Alexander Renner, Bernd-Helge Schäfer, Karsten Berns
BibTex read as PDF search
RAVON – The Robust Autonomous Vehicle for Off-road Navigation
Using robots in hazardous environments: Landmine detection, de-mining and other applications, Woodhead Publishing Limited, 2010, ISBN-10: 1 84569 786 3; ISBN-13: 978 1 84569 786 0

2009

Christopher Armbrust, Bernd-Helge Schäfer, Karsten Berns
BibTex read as PDF search
Using Passages to Support Off-road Robot Navigation
Proceedings of the 6th International Conference on Informatics in Control, Automation and Robotics (ICINCO 2009), pp. 189-194, Institute for Systems and Technologies of Information, Control and Communication (INSTICC), 2009, July 2-5, Milan, Italy
Syed Atif Mehdi, Christopher Armbrust, Jan Koch, Karsten Berns
BibTex read as PDF search
Methodology for Robot Mapping and Navigation in Assisted Living Environments
PETRA '09: Proceedings of the 2nd International Conference on PErvasive Technologies Related to Assistive Environments, ACM, New York, NY, USA, 2009, June 9-13, Corfu, Greece, ISBN-13: 978-1-60558-409-6
Christopher Armbrust, Tim Braun, Tobias Föhst, Martin Proetzsch, Alexander Renner, Bernd-Helge Schäfer, Karsten Berns
BibTex read as PDF search
RAVON –- The Robust Autonomous Vehicle for Off-road Navigation
Proceedings of the IARP International Workshop on Robotics for Risky Interventions and Environmental Surveillance 2009 (RISE 2009), IARP, 2009, January 12--14, Brussels, Belgium

2008

Jan Koch, Christopher Armbrust, Karsten Berns
BibTex read as PDF search
Small Service Robots for Assisted Living Environments
VDI/VDE Fachtagung Robotik, 2008, June 11-12, Munich, Germany

2007

Christopher Armbrust, Jan Koch, Ulf Stocker, Karsten Berns
BibTex read as PDF search
Mobile Robot Navigation Support in Living Environments
20. Fachgespräch Autonome Mobile Systeme (AMS), Springer-Verlag, pp. 341--346, 2007, October, Kaiserslautern, Germany
Christopher Armbrust
BibTex search
Mobile Robot Navigation Using Dynamic Maps and a Behaviour-Based Anti-Collision System
Diploma thesis, Robotics Research Lab, Department of Computer Sciences, University of Kaiserslautern, 2007, September 30, unpublished
Christopher Armbrust
BibTex search
A Behaviour-Based Drive and Anti-Collision System for an Autonomous Mobile Robot
Project thesis, University of Kaiserslautern, 2007, March 14, unpublished