Olaf Stursberg

Olaf Stursberg: Hierarchical and distributed discrete event control of manufacturing processes. ETFA 2012: 1-8

Hao Ding, Gunther Reissig, Dominic Gross, Olaf Stursberg: Mixed-integer programming for optimal path planning of robotic manipulators. CASE 2011: 133-138

Hao Ding, Gunther Reissig, Olaf Stursberg: Increasing efficiency of optimization-based path planning for robotic manipulators. CDC-ECE 2011: 1399-1404

Benjamin Passenberg, Marion Leibold, Olaf Stursberg, Martin Buss: The minimum principle for time-varying hybrid systems with state switching and jumps. CDC-ECE 2011: 6723-6729

Dominic Gross, Olaf Stursberg: Optimized distributed control and network topology design for interconnected systems. CDC-ECE 2011: 8112-8117

Hao Ding, Kurniawan Wijaya, Gunther Reißig, Olaf Stursberg: Optimizing Motion of Robotic Manipulators in Interaction with Human Operators. ICIRA (1) 2011: 520-531

Hao Ding, Gunther Reissig, Kurniawan Wijaya, Dino Bortot, Klaus Bengler, Olaf Stursberg: Human arm motion modeling and long-term prediction for safe and efficient Human-Robot-Interaction. ICRA 2011: 5875-5880

Johannes Dold, Olaf Stursberg: Robuste modellprädiktive Regelung kommunizierender Fahrzeugkolonnen (Robust Predictive Control of Platooning Vehicles Using Communication). Automatisierungstechnik 58(4): 207-216 (2010)

Olaf Stursberg, Tina Paschedag, Matthias Rungger, Hao Ding: Hierarchische Modellierung und Regelung hybrider Systeme auf zwei Ebenen (Hierarchical Modeling and Control of Hybrid Systems with Two Layers). Automatisierungstechnik 58(8): 458-467 (2010)

Hao Ding, Georg Schnattinger, Benjamin Passenberg, Olaf Stursberg: Improving motion of robotic manipulators by an embedded optimizer. CASE 2010: 204-209

Matthias Rungger, Olaf Stursberg: Continuity of the value function for exit time optimal control problems of hybrid systems. CDC 2010: 4210-4215

Benjamin Passenberg, Marion Sobotka, Olaf Stursberg, Martin Buss, Peter E. Caines: An algorithm for discrete state sequence and trajectory optimization for hybrid systems with partitioned state space. CDC 2010: 4223-4229

Benjamin Passenberg, Peter E. Caines, Marion Sobotka, Olaf Stursberg, Martin Buss: The minimum principle for hybrid systems with partitioned state space and unspecified discrete state sequence. CDC 2010: 6666-6673

Matthias Althoff, Olaf Stursberg, Martin Buss: Model-Based Probabilistic Collision Detection in Autonomous Driving. IEEE Transactions on Intelligent Transportation Systems 10(2): 299-310 (2009)

Johannes Dold, Olaf Stursberg: Distributed predictive control of communicating and platooning vehicles. CDC 2009: 561-566

Matthias Rungger, Olaf Stursberg: Function approximation for the deterministic Hamilton-Jacobi-Bellman equation. CDC 2009: 2268-2273

Hao Ding, Mingxiang Zhou, Olaf Stursberg: Optimal path planning in the workspace for articulated robots using mixed integer programming. IROS 2009: 5770-5775

Sebastian Panek, Olaf Stursberg, Sebastian Engell: Produktionssteuerung auf der Grundlage von Echtzeitautomaten (Production Scheduling Using Timed Automata). Automatisierungstechnik 56(4): 171-180 (2008)

Matthias Althoff, Olaf Stursberg, Martin Buss: Sicherheitsbewertung von Fahrstrategien kognitiver Automobile (Safety Assessment of Driving Strategies of Cognitive Cars). Automatisierungstechnik 56(12): 653-661 (2008)

Sebastian Panek, Sebastian Engell, Subanatarajan Subbiah, Olaf Stursberg: Scheduling of multi-product batch plants based upon timed automata models. Computers & Chemical Engineering 32(1-2): 275-291 (2008)

Matthias Rungger, Hao Ding, Olaf Stursberg: Multiscale Anticipatory Behavior by Hierarchical Reinforcement Learning. ABiALS 2008: 301-320

Franziska Adamek, Marion Sobotka, Olaf Stursberg: Stochastic optimal control for hybrid systems with uncertain discrete dynamics. CASE 2008: 23-28

Matthias Althoff, Olaf Stursberg, Martin Buss: Reachability analysis of nonlinear systems with uncertain parameters using conservative linearization. CDC 2008: 4042-4048

Matthias Rungger, Olaf Stursberg, Bernd Spanfelner, Christian Leuxner, Wassiou Sitou: Efficient Planning of Autonomous Robots using Hierarchical Decomposition. ICINCO-RA (1) 2008: 262-267

Andrea Schankin, Olaf Stursberg, Anna Schubö: The Role of Implicit Context Information in Guiding Visual-Spatial Attention. ICVW 2008: 93-106

Frank Allgöwer, Georg Bretthauer, Ulrich Konigorski, Olaf Stursberg: Theorie der Automatisierungstechnik. Automatisierungstechnik 55(5): 256-259 (2007)

Subanatarajan Subbiah, Sebastian Panek, Sebastian Engell, Olaf Stursberg: Scheduling of multi-product batch plants using reachability analysis of timed automata models. ICINCO-ICSO 2007: 141-148

Sebastian Kain, Hao Ding, Frank Schiller, Olaf Stursberg: Controller Architecture for Safe Cognitive Technical Systems. SAFECOMP 2007: 518-531

Olaf Stursberg, Thanh Ha Tran: Algorithmic and Abstraction-Based Design of Discrete Controllers for Hybrid Automata (Algorithmischer und abstraktionsbasierter Entwurf diskreter Steuerungen für hybride Automaten). Automatisierungstechnik 54(9): 450-458 (2006)

Andrea Balluchi, Luca Benvenuti, Sebastian Engell, Tobias Geyer, Karl Henrik Johansson, Françoise Lamnabhi-Lagarrigue, John Lygeros, Manfred Morari, Georgios Papafotiou, Alberto L. Sangiovanni-Vincentelli, Fortunato Santucci, Olaf Stursberg: Hybrid Control of Networked Embedded Systems. Eur. J. Control 11(4-5): 478-508 (2005)

Sebastian Engell, Sven Lohmann, Olaf Stursberg: Verification of Embedded Supervisory Controllers Considering Hybrid Plant Dynamics. International Journal of Software Engineering and Knowledge Engineering 15(2): 307-312 (2005)

Nanette Bauer, Sebastian Engell, Ralf Huuck, Sven Lohmann, Ben Lukoschus, Manuel Remelhe, Olaf Stursberg: Verification of PLC Programs Given as Sequential Function Charts. SoftSpez Final Report 2004: 517-540

Edmund M. Clarke, Ansgar Fehnker, Zhi Han, Bruce H. Krogh, Joël Ouaknine, Olaf Stursberg, Michael Theobald: Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems. Int. J. Found. Comput. Sci. 14(4): 583-604 (2003)

Sebastian Panek, Olaf Stursberg, Sebastian Engell: Optimization of Timed Automata Models Using Mixed-Integer Programming. FORMATS 2003: 73-87

James Kapinski, Bruce H. Krogh, Oded Maler, Olaf Stursberg: On Systematic Simulation of Open Continuous Systems. HSCC 2003: 283-297

Olaf Stursberg, Bruce H. Krogh: Efficient Representation and Computation of Reachable Sets for Hybrid Systems. HSCC 2003: 482-497

Edmund M. Clarke, Ansgar Fehnker, Zhi Han, Bruce H. Krogh, Olaf Stursberg, Michael Theobald: Verification of Hybrid Systems Based on Counterexample-Guided Abstraction Refinement. TACAS 2003: 192-207

Olaf Stursberg, Sebastian Panek: Control of Switched Hybrid Systems Based on Disjunctive Formulations. HSCC 2002: 421-435

Stefan Kowalewski, Olaf Stursberg, Nanette Bauer: An Experimental Batch Plant as a Test Case for the Verification of Hybrid Systems. Eur. J. Control 7(4): 366-381 (2001)

Heinz Treseler, Olaf Stursberg, Paul W. H. Chung, Shuang-Hua Yang: An Open Software Architecture for the Verification of Industrial Controllers. J. UCS 7(1): 37-53 (2001)

Stefan Kowalewski, Sebastian Engell, Jörg Preußig, Olaf Stursberg: Verification of logic controllers for continuous plants using timed condition/event-system models. Automatica 35(3): 505-518 (1999)

Jörg Preußig, Olaf Stursberg, Stefan Kowalewski: Reachability Analysis of a Class of Switched Continuous Systems by Integrating Rectangular Approximation and Rectangular Analysis. HSCC 1999: 209-222

Stefan Kowalewski, Olaf Stursberg, Martin Fritz, Holger Graf, Ingo Hoffmann, Jörg Preußig, Manuel Remelhe, Silke Simon, Heinz Treseler: A Case Study in Tool-Aided Analysis of Discretely Controlled Continuous Systems: The Two Tanks Problem. Hybrid Systems 1997: 163-185

Olaf Stursberg, Stefan Kowalewski, Ingo Hoffmann, Jörg Preußig: Comparing Timed and Hybrid Automata as Approximations of Continuous Systems. Hybrid Systems 1996: 361-377