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

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

Approximating switched continuous systems by rectangular automata. - Olaf Stursberg; Stefan Kowalewski (ECC, 1999)

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

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

Continuous-discrete interactions in chemical processing plants. - Sebastian Engell; Stefan Kowalewski; Christian Schulz 001; Olaf Stursberg (Proc. IEEE, 2000)

An assessment of the current status of algorithmic approaches to the verification of hybrid systems. - B. Izaias Silva; Olaf Stursberg; Bruce H. Krogh; Sebastian Engell (CDC, 2001)

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

An Open Software Architecture for the Verification of Industrial Controllers. - Heinz Treseler; Olaf Stursberg; Paul Wai Hing Chung; Shuang-Hua Yang (J. Univers. Comput. Sci., 2001)

Control of Switched Hybrid Systems Based on Disjunctive Formulations. - Olaf Stursberg; Sebastian Panek (HSCC, 2002)

Specification-Guided Analysis of Hybrid Systems Using a Hierarchy of Validation Methods. - Olaf Stursberg; Ansgar Fehnker; Zhi Han; Bruce H. Krogh (ADHS, 2003)

Empirical Complexity Analysis of a MILP-Approach for Optimization of Hybrid Systems. - Jochen Till; Sebastian Engell; Sebastian Panek; Olaf Stursberg (ADHS, 2003)

Optimization of Timed Automata Models Using Mixed-Integer Programming. - Sebastian Panek; Olaf Stursberg; Sebastian Engell (FORMATS, 2003)

On Systematic Simulation of Open Continuous Systems. - James Kapinski; Bruce H. Krogh; Oded Maler; Olaf Stursberg (HSCC, 2003)

Efficient Representation and Computation of Reachable Sets for Hybrid Systems. - Olaf Stursberg; Bruce H. Krogh (HSCC, 2003)

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

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

A graph search algorithm for optimal control of hybrid systems. - Olaf Stursberg (CDC, 2004)

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

Hybrid Control Techniques for the Design of Industrial Controllers. - Sebastian Engell; Olaf Stursberg (CDC/ECC, 2005)

Analysis of Logic Controllers by Transformation of SFC into Timed Automata. - Olaf Stursberg; Sven Lohmann (CDC/ECC, 2005)

Hybrid Control of Networked Embedded Systems. - 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 (Eur. J. Control, 2005)

Verification of Embedded Supervisory Controllers Considering Hybrid Plant Dynamics. - Sebastian Engell; Sven Lohmann; Olaf Stursberg (Int. J. Softw. Eng. Knowl. Eng., 2005)

Dynamic Optimization of an Industrial evaporator using Graph Search with Embedded nonlinear Programming. - Christian Sonntag; Olaf Stursberg; Sebastian Engell (ADHS, 2006)

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

Hybrid Nonlinear Model-Predictive Control of a Supermarket Refrigeration System. - Christian Sonntag; Arvind Devanathan; Sebastian Engell; Olaf Stursberg (CCA, 2007)

Safety Assessment of Autonomous Cars using Verification Techniques. - Matthias Althoff; Olaf Stursberg; Martin Buss (ACC, 2007)

Comparison of Event-Triggered and Cycle-Driven Models for Verifying SFC Programs. - Sven Lohmann; Olaf Stursberg; Sebastian Engell (ACC, 2007)

Reachability analysis of linear systems with uncertain parameters and inputs. - Matthias Althoff; Olaf Stursberg; Martin Buss (CDC, 2007)

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

Controller Architecture for Safe Cognitive Technical Systems. - Sebastian Kain; Hao Ding 001; Frank Schiller; Olaf Stursberg (SAFECOMP, 2007)

Theorie der Automatisierungstechnik. - Frank Allgöwer; Georg Bretthauer; Ulrich Konigorski; Olaf Stursberg (Autom., 2007)

Multiscale Anticipatory Behavior by Hierarchical Reinforcement Learning. - Matthias Rungger; Hao Ding 001; Olaf Stursberg (ABiALS, 2008)

Stochastic optimal control for hybrid systems with uncertain discrete dynamics. - Franziska Adamek; Marion Sobotka; Olaf Stursberg (CASE, 2008)

Reachability analysis of nonlinear systems with uncertain parameters using conservative linearization. - Matthias Althoff; Olaf Stursberg; Martin Buss (CDC, 2008)

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

The Role of Implicit Context Information in Guiding Visual-Spatial Attention. - Andrea Schankin; Olaf Stursberg; Anna Schubö (ICVW, 2008)

Sicherheitsbewertung von Fahrstrategien kognitiver Automobile (Safety Assessment of Driving Strategies of Cognitive Cars). - Matthias Althoff; Olaf Stursberg; Martin Buss (Autom., 2008)

Produktionssteuerung auf der Grundlage von Echtzeitautomaten (Production Scheduling Using Timed Automata). - Sebastian Panek; Olaf Stursberg; Sebastian Engell (Autom., 2008)

Scheduling of multi-product batch plants based upon timed automata models. - Sebastian Panek; Sebastian Engell; Subanatarajan Subbiah; Olaf Stursberg (Comput. Chem. Eng., 2008)

Optimizing Hybrid Control Trajectories by Model abstraction and Refinement. - Tina Paschedag; Michael Fall; Olaf Stursberg (ADHS, 2009)

Graph Search for Optimizing the Discrete Location Sequence in Hybrid Optimal Control. - Benjamin Passenberg; Olaf Stursberg (ADHS, 2009)

Optimal Control for Deterministic Hybrid Systems using Dynamic Programming. - Matthias Rungger; Olaf Stursberg (ADHS, 2009)

Distributed predictive control of communicating and platooning vehicles. - Johannes Dold; Olaf Stursberg (CDC, 2009)

Function approximation for the deterministic Hamilton-Jacobi-Bellman equation. - Matthias Rungger; Olaf Stursberg (CDC, 2009)

Safety assessment for stochastic linear systems using enclosing hulls of probability density functions. - Matthias Althoff; Olaf Stursberg; Martin Buss (ECC, 2009)

Cognitive safety control for human-machine interaction. - Hao Ding 001; Sebastian Kain; Frank Schiller; Olaf Stursberg (ECC, 2009)

A communication-based distributed model predictive control scheme with time-varying consistency constraints. - Johannes Dold; Olaf Stursberg (ECC, 2009)

Hierarchical hybrid modeling and control of flexible manufacturing systems. - Tina Paschedag; Matthias Rungger; Hao Ding 001; Olaf Stursberg (ECC, 2009)

Combined time and fuel optimal driving of trucks based on a hybrid model. - Benjamin Passenberg; Peter Kock; Olaf Stursberg (ECC, 2009)

Optimal path planning in the workspace for articulated robots using mixed integer programming. - Hao Ding 001; Mingxiang Zhou; Olaf Stursberg (IROS, 2009)

Model-Based Probabilistic Collision Detection in Autonomous Driving. - Matthias Althoff; Olaf Stursberg; Martin Buss (IEEE Trans. Intell. Transp. Syst., 2009)

Improving motion of robotic manipulators by an embedded optimizer. - Hao Ding 001; Georg Schnattinger; Benjamin Passenberg; Olaf Stursberg (CASE, 2010)

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

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

Continuity of the value function for exit time optimal control problems of hybrid systems. - Matthias Rungger; Olaf Stursberg (CDC, 2010)

Solution of a multi-agent transport problem by hybrid optimization. - Herbert Mangesius; Marion Sobotka; Olaf Stursberg (WODES, 2010)

Robuste modellprädiktive Regelung kommunizierender Fahrzeugkolonnen (Robust Predictive Control of Platooning Vehicles Using Communication). - Johannes Dold; Olaf Stursberg (Autom., 2010)

Hierarchische Modellierung und Regelung hybrider Systeme auf zwei Ebenen (Hierarchical Modeling and Control of Hybrid Systems with Two Layers). - Olaf Stursberg; Tina Paschedag; Matthias Rungger; Hao Ding 001 (Autom., 2010)

Mixed-integer programming for optimal path planning of robotic manipulators. - Hao Ding 001; Gunther Reissig; Dominic Gross; Olaf Stursberg (CASE, 2011)

Increasing efficiency of optimization-based path planning for robotic manipulators. - Hao Ding 001; Gunther Reissig; Olaf Stursberg (CDC/ECC, 2011)

Optimized distributed control and network topology design for interconnected systems. - Dominic Gross; Olaf Stursberg (CDC/ECC, 2011)

The minimum principle for time-varying hybrid systems with state switching and jumps. - Benjamin Passenberg; Marion Leibold; Olaf Stursberg; Martin Buss (CDC/ECC, 2011)

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

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

Control of Uncertain Hybrid Nonlinear Systems Using Particle Filters. - Leonhard Asselborn; Martin Jilg; Olaf Stursberg (ADHS, 2012)

On-the-fly model abstraction for controller synthesis. - Matthias Rungger; Olaf Stursberg (ACC, 2012)

Hierarchical and distributed discrete event control of manufacturing processes. - Olaf Stursberg (ETFA, 2012)

On the convergence rate of a Jacobi algorithm for Cooperative Distributed MPC. - Dominic Gross; Olaf Stursberg (CDC, 2013)

Design of distributed controllers and communication topologies considering link failures. - Dominic Gross; Martin Jilg; Olaf Stursberg (ECC, 2013)

Optimized distributed control and topology design for hierarchically interconnected systems. - Martin Jilg; Olaf Stursberg (ECC, 2013)

Control of Uncertain Nonlinear Systems Using Ellipsoidal Reachability Calculus. - Leonhard Asselborn; Dominic Gross; Olaf Stursberg (NOLCOS, 2013)

Event-Based Communication in Distributed Model Predictive Control. - Dominic Groß; Martin Jilg; Olaf Stursberg (Autom., 2013)

Optimal Control for Hybrid Systems With Partitioned State Space. - Benjamin Passenberg; Peter E. Caines; Marion Leibold; Olaf Stursberg; Martin Buss (IEEE Trans. Autom. Control., 2013)

On the computation of local quadratic performance indices for hierarchically interconnected systems. - Martin Jilg; Olaf Stursberg (ECC, 2014)

A Globally Convergent, Locally Optimal Min-H Algorithm for Hybrid Optimal Control. - Benjamin Passenberg; Marion Leibold; Olaf Stursberg; Martin Buss (SIAM J. Control. Optim., 2014)

Robust Control of Uncertain Switched Linear Systems based on Stochastic Reachability. - Leonhard Asselborn; Olaf Stursberg (ADHS, 2015)

Design of distributed ℋ∞-optimized controllers considering stochastic communication link failures. - Martin Jilg; Jens Tonne; Olaf Stursberg (ACC, 2015)

Constrained model predictive control of high dimensional Jump Markov linear systems. - Jens Tonne; Martin Jilg; Olaf Stursberg (ACC, 2015)

Decentralized control of distributed discrete event systems with linear dependency structure. - Christian Hillmann; Olaf Stursberg (CASE, 2015)

A relaxed lyapunov condition for input-to-state stability of discrete-time nonlinear systems. - Dominic Groß; Olaf Stursberg (CDC, 2016)

Fast optimizing control for non-convex state constraints using homotopy properties. - Damian Kontny; Olaf Stursberg (CDC, 2016)

Probabilistic control of switched linear systems with chance constraints. - Leonhard Asselborn; Olaf Stursberg (ECC, 2016)

Hierarchical distributed control of a class of interconnected jump Semi-Markov linear systems. - Martin Jilg; Olaf Stursberg (ECC, 2016)

Constraint robust model predictive control for jump Markov linear systems with additive disturbances. - Jens Tonne; Olaf Stursberg (ECC, 2016)

Cooperation of autonomous vehicles using a hierarchy of auction-based and model-predictive control. - Hannes Rewald; Olaf Stursberg (Intelligent Vehicles Symposium, 2016)

A Cooperative Distributed MPC Algorithm With Event-Based Communication and Parallel Optimization. - Dominic Gross; Olaf Stursberg (IEEE Trans. Control. Netw. Syst., 2016)

Ensuring drivability of planned motions using formal methods. - Bastian Schürmann; Daniel Hess; Jan Eilbrecht; Olaf Stursberg; Frank Köster; Matthias Althoff (ITSC, 2017)

Cooperative driving using a hierarchy of mixed-integer programming and tracking control. - Jan Eilbrecht; Olaf Stursberg (Intelligent Vehicles Symposium, 2017)

Model-predictive planning for autonomous vehicles anticipating intentions of vulnerable road users by artificial neural networks. - Jan Eilbrecht; Maarten Bieshaar; Stefan Zernetsch; Konrad Doll; Bernhard Sick; Olaf Stursberg (SSCI, 2017)

Decentralized Optimal Control of Distributed Interdependent Automata With Priority Structure. - Olaf Stursberg; Christian Hillmann (IEEE Trans Autom. Sci. Eng., 2017)

Optimal Trajectory Planning of Hybrid Systems by Efficient MIQP Encoding. - Zonglin Liu; Olaf Stursberg (CDC, 2018)

Optimization-Based Maneuver Automata for Cooperative Trajectory Planning of Autonomous Vehicles. - Jan Eilbrecht; Olaf Stursberg (ECC, 2018)

Optimizing Online Control of Constrained Systems with Switched Dynamics. - Zonglin Liu; Olaf Stursberg (ECC, 2018)

Optimierungsbasierte Regelung und Steuerung Hybrid-Dynamischer Systeme. - Zonglin Liu; Olaf Stursberg (Autom., 2018)

Distributed MPC with Prediction of Time-Varying Communication Delay. - Jannik Hahn; Richard Schöffauer; Gerhard Wunder; Olaf Stursberg (CoRR, 2018)

Robust Distributed MPC for Disturbed Affine Systems Using Predictions of Time-Varying Communication. - Jannik Hahn; Olaf Stursberg (ECC, 2019)

Recursive Feasibility and Stability of MPC with Time-Varying and Uncertain State Constraints. - Zonglin Liu; Olaf Stursberg (ECC, 2019)

Efficient Optimal Control of Hybrid Systems with Conditioned Transitions. - Zonglin Liu; Olaf Stursberg (ICCA, 2019)

Distributed Model Predictive Control of Wind Farms for Short-Term Grid Support. - Moritz Theißen; Olaf Stursberg (ISGT Europe, 2019)

Reducing Computation Times for Planning of Reference Trajectories in Cooperative Autonomous Driving. - Jan Eilbrecht; Olaf Stursberg (IV, 2019)

Distributed control of networked systems with coupling constraints. - Zonglin Liu; Olaf Stursberg (Autom., 2019)

Hierarchical solution of non-convex optimal control problems with application to autonomous driving. - Jan Eilbrecht; Olaf Stursberg (Eur. J. Control, 2019)

Distributed Control of Networked Systems with Nonlinear Dynamics and Coupling Constraints. - Zonglin Liu; Olaf Stursberg (ECC, 2021)

Distributed Solution of MIQP Problems Arising for Networked Systems with Coupling Constraints. - Zonglin Liu; Olaf Stursberg (ECC, 2021)

Polytopic Input Constraints in Learning-Based Optimal Control Using Neural Networks. - Lukas Markolf; Olaf Stursberg (ECC, 2021)

A Study on Model-based Optimization of Vaccination Strategies against Epidemic Virus Spread. - Zonglin Liu; Muhammed Omayrat; Olaf Stursberg (ICINCO, 2021)

Learning-based Optimal Control of Constrained Switched Linear Systems using Neural Networks. - Lukas Markolf; Olaf Stursberg (ICINCO, 2021)

Stability Analysis for State Feedback Control Systems Established as Neural Networks with Input Constraints. - Lukas Markolf; Olaf Stursberg (ICINCO, 2021)

Probabilistic VRU Trajectory Forecasting for Model-Predictive Planning A Case Study: Overtaking Cyclists. - Jan Schneegans; Jan Eilbrecht; Stefan Zernetsch; Maarten Bieshaar; Konrad Doll; Olaf Stursberg; Bernhard Sick (IV Workshops, 2021)

Constrained stochastic predictive control of linear systems with uncertain communication. - Jannik Hahn; Olaf Stursberg (Autom., 2021)

Uncertain AoI in Stochastic Optimal Control of Networked and Constrained LTI Systems. - Jannik Hahn; Olaf Stursberg (CoRR, 2021)

Distributed Solution of Mixed-Integer Programs by ADMM with Closed Duality Gap. - Zonglin Liu; Olaf Stursberg (CDC, 2022)

Distributed Optimization for Mixed-Integer Consensus in Multi-Agent Networks. - Zonglin Liu; Olaf Stursberg (ECC, 2022)

Uncertain AoI in stochastic optimal control of constrained LTI systems. - Jannik Hahn; Olaf Stursberg (Autom., 2022)

Efficient Fault Detection for Discrete-Time PWA Systems. - Xinyang Liu; Zonglin Liu; Zhenhua Wang 004; Olaf Stursberg (IEEE Control. Syst. Lett., 2022)

Using AoI Forecasts in Communicating and Robust Distributed Model-Predictive Control. - Jannik Hahn; Richard Schöffauer; Gerhard Wunder; Olaf Stursberg (IEEE Trans. Control. Netw. Syst., 2022)

Tailored Output Layers of Neural Networks for Satisfaction of State Constraints in Nonlinear Control Systems. - Lukas Markolf; Olaf Stursberg (ACC, 2023)

Resilience of Time-Varying Communication Graphs for Consensus of Changing Sets of Computing Agents. - Vincent Schmidtke; Zonglin Liu; Olaf Stursberg (CDC, 2023)

On the Design of Limit Cycles of Planar Switching Affine Systems. - Nils Hanke; Olaf Stursberg (ECC, 2023)

Model Predictive Control of PDEs for Temperature Control in 3D-Printing Processes. - Vincent Schmidtke; Marcel Rüger; Olaf Stursberg (ECC, 2023)

On Optimal Synchronization of Diffusively Coupled Heterogeneous Van der Pol Oscillators. - Tabea Trummel; Zonglin Liu; Olaf Stursberg (CoRR, 2023)

A Unified Approach to Communication Delay and Communication Frequency in Distributed State Estimation of Linear Systems. - Jan Mast; Zonglin Liu; Zhenhua Wang 004; Olaf Stursberg (IEEE Control. Syst. Lett., 2023)

Receding-Horizon Control of Constrained Switched Systems with Neural Networks as Parametric Function Approximators. - Lukas Markolf; Olaf Stursberg (SN Comput. Sci., 2023)

Maintaining Strong Structural Controllability for Multi-Agent Systems with Varying Number of Agents. - Vincent Schmidtke; Rami K. A. Al-Maqdad; Olaf Stursberg (CDC, 2024)

Tailored Transformations for Constraint Satisfaction in Learning of Parametric Controllers for Nonlinear Systems. - Lukas Markolf; Olaf Stursberg (CoDIT, 2024)

Approximation of Limit Cycles by Using Planar Switching Affine Systems with Guarantees for Uniqueness and Stability. - Nils Hanke; Zonglin Liu; Olaf Stursberg (ECC, 2024)

Approximations of Optimal Control Laws for Constrained Piecewise Affine Systems by Deep Neural Networks. - Lukas Markolf; Arne Siewert; Olaf Stursberg (ECC, 2024)

Computing Bounds for the Synchronization Errors of Nonidentical Nonlinear Oscillators with Time-Varying Diffusive Coupling. - Tabea Trummel; Zonglin Liu; Olaf Stursberg (ICINCO (1), 2024)

Predictions and Decision Making for Resilient Intelligent Sustainable Energy Systems. - Martin Braun 002; Christian Gruhl; Christian A. Hans; Philipp Härtel; Christoph Scholz 001; Bernhard Sick; Malte Siefert; Florian Steinke; Olaf Stursberg; Sebastian Wende-von Berg (ISGT EUROPE, 2024)

Distributed State Estimation of Linear Systems With Randomly Switching Communication Graphs. - Edwin Baum; Zonglin Liu; Olaf Stursberg (IEEE Control. Syst. Lett., 2024)

Approximation of Planar Periodic Behavior from Data with Stability Guarantees using Switching Affine Systems. - Nils Hanke; Zonglin Liu; Olaf Stursberg (ACC, 2025)

Synchronization and Control in Bistable Oscillator Networks: Towards Epilepsy Regulation. - Zonglin Liu; Yuzhen Qin; Marcel van Gerven; Olaf Stursberg (IEEE Control. Syst. Lett., 2025)