Vita
Thorsten Ropertz wurde am 31.12.1986 in Waldbröl geboren. Er studierte von 2007 bis 2012 Informatik an der Technischen Universität Kaiserslautern. Studienschwerpunkt waren die Robotik und Eingebettete Systeme. Seine Bachelorarbeit beschäftigt sich mit der Portierung und Ausführung synchroner Programme auf Grafikprozessoren mit Hilfe von NVIDIAs CUDA. Sein Studium beendete er mit seiner Masterarbeit über die grafische Unterstützung der Verifikation von verhaltensbasierten Steuerungssystemen. Sein Forschungsschwerpunkt liegt in der formalen Analyse und Verifikation von verhaltensbasierten Systemen.
Publications
- Verification of Behaviour Networks Using Finite-State Automata.
KI 2012, (2012)
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) - Quantitative Aspects of Behaviour Network Verification.
Proceedings of the 26th Canadian Conference on Artificial Intelligence, Vol. 7884, (2013) - Verification of Behavior-Based Networks - Using Satisfiability Modulo Theories.
Proceedings for the joint conference of ISR 2014 and ROBOTIK 2014, S. 669 - 674. (2014) - Soft Robot Control with a Behaviour-Based Architecture.
Soft Robotics - Transferring Theory to Application, S. 81 - 91. (2015) - Verification of Behavior-Based Control Systems in their Physical Environment.
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), S. 128 - 137. (2016) - A Behavior-based Architecture for Excavation Tasks.
34th International Symposium on Automation and Robotics in Construction (ISARC), S. 1005 - 1012. (2017) - 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), Vol. 1, S. 513 - 524. (2017) - Behavior-Based Control for Safe and Robust Navigation of an Unimog in Off-Road Environments.
Commercial Vehicle Technology 2018. Proceedings of the 5th Commercial Vehicle Technology Symposium – CVT 2018, S. 63 - 76. (2018) - Cooperation and Communication of Autonomous Tandem Rollers in Street Construction Scenarios.
Commercial Vehicle Technology 2018. Proceedings of the 5th Commercial Vehicle Technology Symposium – CVT 2018, S. 25 - 36. (2018) - Local Behavior-Based Navigation in Rough Off-Road Scenarios based on Vehicle Kinematics.
2018 IEEE International Conference on Robotics and Automation (ICRA), S. 719 - 724. (2018)
DOI: 10.1109/ICRA.2018.8460631 - Behavior-Based Low-Level Control for (semi-) Autonomous Vehicles in Rough Terrain.
Proceedings of ISR 2018, S. 386 - 393. (2018) - Autonomous trenching with hierarchically organized primitives.
Automation in Construction, Vol. 98, S. 214 - 224. (2019) - White Paper. High Quality Road Construction using 5G-AMMCOA. Autonomous Mobile Machine Communication for Off-Road Applications.
, S. 1 - 7. (2019) - Distributed Coordination and Task Assignment of Autonomous Tandem Rollers in Road Construction Scenarios.
36th International Symposium on Automation and Robotics in Construction (ISARC 2019), S. 953 - 960. (2019) - Behavior-Based Obstacle Detection in Off-Road Environments Considering Data Quality.
Informatics in Control, Automation and Robotics, Vol. 495, S. 786 - 809. (2020) - Combining Onthologies and Behavior-Based Control for Aware Navigation in Challenging Off-Road Environments.
Proceedings of the 16th International Conference on Informatics in Control, Automation and Robotics (ICINCO 2019), S. 135 - 146. (2019)
DOI: 10.5220/0007934301350146, ISBN: 9789897583803 - Advanced scene aware navigation for the heavy duty off-road vehicle Unimog.
The 9th International Conference on Advanced Concepts in Mechanical Engineering – ACME 2020. IOP Conference Series, Vol. 997, S. 1 - 18. (2020)
DOI: 10.1088/1757-899x/997/1/012093 - Autonomous Off-Road Navigation using Near-Feature-Based World Knowledge Incorporation on the Example of Forest Path Detection.
Preprint submitted to Robotics and Autonomous Systems, (2020)