Wissenschaftliche Mitarbeiter

Prof. Dr. Karsten Berns

Telefon: 0631 205-2613
Raum: 48-360
Mail: bernsinformatik.uni-klde

Vita

Prof. Dr. Karsten Berns hat Informatik mit Schwerpunkt auf künstlicher Intelligenz an der Universität Kaiserslautern (1982-1988) studiert. Über seine Forschungen über "Neuronale Netze für die Steuerung einer sechsbeinigen Laufmaschine" promovierte er an der Universität Karlsruhe im Jahr 1994. Als Leiter der IDS (Interaktive Diagnose- und Servicesysteme)-Abteilung des FZI (Forschungszentrum Informatik), Karlsruhe (bis 2003) untersuchte er adaptive Steuerungskonzepte für verschiedene Arten von Servicerobotern. Seit 2003 ist er ordentlicher Professor an der Technischen Universität Kaiserslautern.

Aktuelle Forschungsaktivitäten sind die Realisierung von zuverlässigen, komplexen, autonomen Robotersystemen. Dabei entwickeln er und sein Lehrstuhl die Roboter-Middleware Finroc, die verhaltensbasierte Steuerungsarchitektur iB2C sowie verschiedene Validierungs- und Verifizierungsmethoden. Die Hauptanwendungen stammen aus der Offroad-Robotik, in der autonome oder semi-autonome Fahrzeuge wie Kleinlaster, Bagger, Mähdrescher, Traktoren und Rettungsroboter in der Entwicklung sind.

Prof. Berns ist häufig Gutachter mehrerer Zeitschriften und Robotik-Konferenzen. Darüber hinaus ist er Mitglied einer Reihe von Redaktionen. Er fungiert auch als Gutachter für zahlreiche nationale und internationale Förderorganisationen. Er ist Mitglied des IEEE, der Gesellschaft für Informatik (GI) und der CLAWAR-Association. Des Weiteren ist er Mitglied des Vorstandes der Deutschen Gesellschaft für Robotik (DGR) und Leiter des Fachausschusses für Robotersysteme der GI. Er war Dekan des Fachbereichs Informatik an der TU Kaiserslautern (2007 bis 2010) und ist Mitglied des wissenschaftlichen Direktoriums Schloss Dagstuhl - Leibniz-Zentrum für Informatik des Dagstuhl-Seminars. Derzeit ist er Sprecher des Zentrums für Nutzfahrzeugtechnologie (ZNT) an der TU Kaiserslautern.

Veröffentlichungen

2017

Thorsten Ropertz, Patrick Wolf, Karsten Berns
BibTex read as PDF search
Quality-Based Behavior-Based Control for Autonomous Robots in Rough Environments
Proceedings of the 14th International Conference on Informatics in Control, Automation and Robotics (ICINCO 2017), SCITEPRESS -- Science and Technology Publications, Lda, vol. 1, pp. 513--524, INSTICC, 2017, July 26--28, Madrid, Spain, ISBN: 978-989-758-263-9; DOI: 10.5220/0006481405130524
Tobias Groll, Steffen Hemer, Thorsten Ropertz, Karsten Berns
BibTex search
A Behavior-based Architecture for Excavation Tasks
34th International Symposium on Automation and Robotics in Construction (ISARC), pp. 1005-1012, International Association for Automation and Robotics in Construction, 2017, June 28-July 1, DOI: https://doi.org/10.22260/ISARC2017/0139

2016

Thorsten Ropertz, Karsten Berns, Xian Li, Klaus Schneider
BibTex search
Verification of Behavior-Based Control Systems in their Physical Environment
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), University of Freiburg, pp. 128-137, 2016, Freiburg, Germany

2015

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

Thorsten Ropertz, Karsten Berns
BibTex read as PDF search
Verification of Behavior-Based Networks - Using Satisfiability Modulo Theories
Proceedings for the joint conference of ISR 2014 and ROBOTIK 2014, VDE VERLAG GMBH, pp. 669--674, 2014

2013

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

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
Thorsten Ropertz
BibTex search
Graphical Support for the Verification of Behaviour Networks
Master's thesis, Robotics Research Lab, Department of Computer Science, University of Kaiserslautern, 2012, Kaiserslautern, Germany, unpublished; supervised by Christopher Armbrust and Lisa Kiekbusch

2011

Thorsten Ropertz
BibTex search
Modelling of Behaviour-Based Systems
thesis of Master's project, 2011, Kaiserslautern, Germany, unpublished; supervised by Christopher Armbrust