Olaf Stursberg

144 papers A* 1A 2B 3C 15Journal 42Unranked 81

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	State feedback control for tracking limit cycles of planar periodic systems. Autom. Nils Hanke, Zonglin Liu, Olaf Stursberg
2025	J	`jnl`	Analysis of Synchronization Errors for Differently Parametrized Limit Cycle Oscillators Subject to Bounded Disturbances. SN Comput. Sci. Tabea Trummel, Zonglin Liu, Olaf Stursberg
2025	C	`conf`	Approximation of Planar Periodic Behavior from Data with Stability Guarantees using Switching Affine Systems. ACC Nils Hanke, Zonglin Liu, Olaf Stursberg
2025	J	`jnl`	Contraction Analysis of Filippov Solutions in Multi-Modal Piecewise Smooth Systems. CoRR Zonglin Liu, Kyra Borchhardt, Olaf Stursberg
2025	—	`conf`	Enhancing Resilience of Strong Structural Controllability in Leader-Follower Networks. ICINCO (1) Vincent Schmidtke, Olaf Stursberg
2025	—	`conf`	On the Synthesis of Stable Switching Dynamics to Approximate Limit Cycles of Nonlinear Oscillators. ICINCO (1) Nils Hanke, Zonglin Liu, Olaf Stursberg
2025	J	`jnl`	Synchronization and Control in Bistable Oscillator Networks: Towards Epilepsy Regulation. IEEE Control. Syst. Lett. Zonglin Liu, Yuzhen Qin, Marcel van Gerven, Olaf Stursberg
2025	—	`conf`	Synchronization of Networked Nonlinear Dynamics Using Leader-Follower Topologies with Optimized Diffusive Coupling. ECC Lukas Kräling, Zonglin Liu, Olaf Stursberg
2025	J	`jnl`	Using Seminorms To Analyze Contraction of Switched Systems With Only Non-Contracting Modes. CoRR Edwin Baum, Zonglin Liu, Yuzhen Qin, Olaf Stursberg
2024	—	`conf`	Approximation of Limit Cycles by Using Planar Switching Affine Systems with Guarantees for Uniqueness and Stability. ECC Nils Hanke, Zonglin Liu, Olaf Stursberg
2024	—	`conf`	Approximations of Optimal Control Laws for Constrained Piecewise Affine Systems by Deep Neural Networks. ECC Lukas Markolf, Arne Siewert, Olaf Stursberg
2024	C	`conf`	Computing Bounds for the Synchronization Errors of Nonidentical Nonlinear Oscillators with Time-Varying Diffusive Coupling. ICINCO (1) Tabea Trummel, Zonglin Liu, Olaf Stursberg
2024	J	`jnl`	Distributed State Estimation of Linear Systems With Randomly Switching Communication Graphs. IEEE Control. Syst. Lett. Edwin Baum, Zonglin Liu, Olaf Stursberg
2024	—	`conf`	Maintaining Strong Structural Controllability for Multi-Agent Systems with Varying Number of Agents. CDC Vincent Schmidtke, Rami K. A. Al-Maqdad, Olaf Stursberg
2024	—	`conf`	Predictions and Decision Making for Resilient Intelligent Sustainable Energy Systems. ISGT EUROPE Martin Braun, Christian Gruhl, Christian A. Hans, Philipp Härtel, Christoph Scholz, Bernhard Sick, Malte Siefert, Florian Steinke, Olaf Stursberg, Sebastian Wende-von Berg
2024	J	`jnl`	Predictions and Decision Making for Resilient Intelligent Sustainable Energy Systems. CoRR Martin Braun, Christian Gruhl, Christian A. Hans, Philipp Härtel, Christoph Scholz, Bernhard Sick, Malte Siefert, Florian Steinke, Olaf Stursberg, Sebastian Wende-von Berg
2024	C	`conf`	Tailored Transformations for Constraint Satisfaction in Learning of Parametric Controllers for Nonlinear Systems. CoDIT Lukas Markolf, Olaf Stursberg
2023	J	`jnl`	A Unified Approach to Communication Delay and Communication Frequency in Distributed State Estimation of Linear Systems. IEEE Control. Syst. Lett. Jan Mast, Zonglin Liu, Zhenhua Wang, Olaf Stursberg
2023	—	`conf`	Model Predictive Control of PDEs for Temperature Control in 3D-Printing Processes. ECC Vincent Schmidtke, Marcel Rüger, Olaf Stursberg
2023	J	`jnl`	On Optimal Synchronization of Diffusively Coupled Heterogeneous Van der Pol Oscillators. CoRR Tabea Trummel, Zonglin Liu, Olaf Stursberg
2023	—	`conf`	On the Design of Limit Cycles of Planar Switching Affine Systems. ECC Nils Hanke, Olaf Stursberg
2023	J	`jnl`	On the Design of Limit Cycles of Planar Switching Affine Systems. CoRR Nils Hanke, Olaf Stursberg
2023	J	`jnl`	Receding-Horizon Control of Constrained Switched Systems with Neural Networks as Parametric Function Approximators. SN Comput. Sci. Lukas Markolf, Olaf Stursberg
2023	—	`conf`	Resilience of Time-Varying Communication Graphs for Consensus of Changing Sets of Computing Agents. CDC Vincent Schmidtke, Zonglin Liu, Olaf Stursberg
2023	C	`conf`	Tailored Output Layers of Neural Networks for Satisfaction of State Constraints in Nonlinear Control Systems. ACC Lukas Markolf, Olaf Stursberg
2022	—	`conf`	Distributed Optimization for Mixed-Integer Consensus in Multi-Agent Networks. ECC Zonglin Liu, Olaf Stursberg
2022	—	`conf`	Distributed Solution of Mixed-Integer Programs by ADMM with Closed Duality Gap. CDC Zonglin Liu, Olaf Stursberg
2022	J	`jnl`	Efficient Fault Detection for Discrete-Time PWA Systems. IEEE Control. Syst. Lett. Xinyang Liu, Zonglin Liu, Zhenhua Wang, Olaf Stursberg
2022	J	`jnl`	Uncertain AoI in stochastic optimal control of constrained LTI systems. Autom. Jannik Hahn, Olaf Stursberg
2022	J	`jnl`	Using AoI Forecasts in Communicating and Robust Distributed Model-Predictive Control. IEEE Trans. Control. Netw. Syst. Jannik Hahn, Richard Schöffauer, Gerhard Wunder, Olaf Stursberg
2021	C	`conf`	A Study on Model-based Optimization of Vaccination Strategies against Epidemic Virus Spread. ICINCO Zonglin Liu, Muhammed Omayrat, Olaf Stursberg
2021	J	`jnl`	Constrained stochastic predictive control of linear systems with uncertain communication. Autom. Jannik Hahn, Olaf Stursberg
2021	—	`conf`	Distributed Control of Networked Systems with Nonlinear Dynamics and Coupling Constraints. ECC Zonglin Liu, Olaf Stursberg
2021	—	`conf`	Distributed Solution of MIQP Problems Arising for Networked Systems with Coupling Constraints. ECC Zonglin Liu, Olaf Stursberg
2021	C	`conf`	Learning-based Optimal Control of Constrained Switched Linear Systems using Neural Networks. ICINCO Lukas Markolf, Olaf Stursberg
2021	—	`conf`	Polytopic Input Constraints in Learning-Based Optimal Control Using Neural Networks. ECC Lukas Markolf, Olaf Stursberg
2021	J	`jnl`	Polytopic Input Constraints in Learning-Based Optimal Control Using Neural Networks. CoRR Lukas Markolf, Olaf Stursberg
2021	—	`conf`	Probabilistic VRU Trajectory Forecasting for Model-Predictive Planning A Case Study: Overtaking Cyclists. IV Workshops Jan Schneegans, Jan Eilbrecht, Stefan Zernetsch, Maarten Bieshaar, Konrad Doll, Olaf Stursberg, Bernhard Sick
2021	C	`conf`	Stability Analysis for State Feedback Control Systems Established as Neural Networks with Input Constraints. ICINCO Lukas Markolf, Olaf Stursberg
2021	J	`jnl`	Uncertain AoI in Stochastic Optimal Control of Networked and Constrained LTI Systems. CoRR Jannik Hahn, Olaf Stursberg
2021	J	`jnl`	Using AoI Forecasts in Communicating and Robust Distributed Model-Predictive Control. CoRR Jannik Hahn, Richard Schöffauer, Gerhard Wunder, Olaf Stursberg
2019	—	`conf`	Distributed Model Predictive Control of Wind Farms for Short-Term Grid Support. ISGT Europe Moritz Theißen, Olaf Stursberg
2019	J	`jnl`	Distributed control of networked systems with coupling constraints. Autom. Zonglin Liu, Olaf Stursberg
2019	—	`conf`	Efficient Optimal Control of Hybrid Systems with Conditioned Transitions. ICCA Zonglin Liu, Olaf Stursberg
2019	J	`jnl`	Hierarchical solution of non-convex optimal control problems with application to autonomous driving. Eur. J. Control Jan Eilbrecht, Olaf Stursberg
2019	—	`conf`	Recursive Feasibility and Stability of MPC with Time-Varying and Uncertain State Constraints. ECC Zonglin Liu, Olaf Stursberg
2019	C	`conf`	Reducing Computation Times for Planning of Reference Trajectories in Cooperative Autonomous Driving. IV Jan Eilbrecht, Olaf Stursberg
2019	—	`conf`	Robust Distributed MPC for Disturbed Affine Systems Using Predictions of Time-Varying Communication. ECC Jannik Hahn, Olaf Stursberg
2018	J	`jnl`	Distributed MPC with Prediction of Time-Varying Communication Delay. CoRR Jannik Hahn, Richard Schöffauer, Gerhard Wunder, Olaf Stursberg
2018	—	`conf`	Optimal Trajectory Planning of Hybrid Systems by Efficient MIQP Encoding. CDC Zonglin Liu, Olaf Stursberg
2018	J	`jnl`	Optimierungsbasierte Regelung und Steuerung Hybrid-Dynamischer Systeme. Autom. Zonglin Liu, Olaf Stursberg
2018	—	`conf`	Optimization-Based Maneuver Automata for Cooperative Trajectory Planning of Autonomous Vehicles. ECC Jan Eilbrecht, Olaf Stursberg
2018	—	`conf`	Optimizing Online Control of Constrained Systems with Switched Dynamics. ECC Zonglin Liu, Olaf Stursberg
2017	B	`conf`	Cooperative driving using a hierarchy of mixed-integer programming and tracking control. Intelligent Vehicles Symposium Jan Eilbrecht, Olaf Stursberg
2017	J	`jnl`	Decentralized Optimal Control of Distributed Interdependent Automata With Priority Structure. IEEE Trans Autom. Sci. Eng. Olaf Stursberg, Christian Hillmann
2017	—	`conf`	Ensuring drivability of planned motions using formal methods. ITSC Bastian Schürmann, Daniel Hess, Jan Eilbrecht, Olaf Stursberg, Frank Köster, Matthias Althoff
2017	—	`conf`	Model-predictive planning for autonomous vehicles anticipating intentions of vulnerable road users by artificial neural networks. SSCI Jan Eilbrecht, Maarten Bieshaar, Stefan Zernetsch, Konrad Doll, Bernhard Sick, Olaf Stursberg
2016	J	`jnl`	A Cooperative Distributed MPC Algorithm With Event-Based Communication and Parallel Optimization. IEEE Trans. Control. Netw. Syst. Dominic Gross, Olaf Stursberg
2016	—	`conf`	A relaxed lyapunov condition for input-to-state stability of discrete-time nonlinear systems. CDC Dominic Groß, Olaf Stursberg
2016	—	`conf`	Constraint robust model predictive control for jump Markov linear systems with additive disturbances. ECC Jens Tonne, Olaf Stursberg
2016	B	`conf`	Cooperation of autonomous vehicles using a hierarchy of auction-based and model-predictive control. Intelligent Vehicles Symposium Hannes Rewald, Olaf Stursberg
2016	—	`conf`	Fast optimizing control for non-convex state constraints using homotopy properties. CDC Damian Kontny, Olaf Stursberg
2016	—	`conf`	Hierarchical distributed control of a class of interconnected jump Semi-Markov linear systems. ECC Martin Jilg, Olaf Stursberg
2016	—	`conf`	Probabilistic control of switched linear systems with chance constraints. ECC Leonhard Asselborn, Olaf Stursberg
2015	C	`conf`	Constrained model predictive control of high dimensional Jump Markov linear systems. ACC Jens Tonne, Martin Jilg, Olaf Stursberg
2015	—	`conf`	Decentralized control of distributed discrete event systems with linear dependency structure. CASE Christian Hillmann, Olaf Stursberg
2015	C	`conf`	Design of distributed ℋ∞-optimized controllers considering stochastic communication link failures. ACC Martin Jilg, Jens Tonne, Olaf Stursberg
2015	—	`conf`	Robust Control of Uncertain Switched Linear Systems based on Stochastic Reachability. ADHS Leonhard Asselborn, Olaf Stursberg
2014	J	`jnl`	A Globally Convergent, Locally Optimal Min-H Algorithm for Hybrid Optimal Control. SIAM J. Control. Optim. Benjamin Passenberg, Marion Leibold, Olaf Stursberg, Martin Buss
2014	—	`conf`	On the computation of local quadratic performance indices for hierarchically interconnected systems. ECC Martin Jilg, Olaf Stursberg
2013	—	`conf`	Control of Uncertain Nonlinear Systems Using Ellipsoidal Reachability Calculus. NOLCOS Leonhard Asselborn, Dominic Gross, Olaf Stursberg
2013	—	`conf`	Design of distributed controllers and communication topologies considering link failures. ECC Dominic Gross, Martin Jilg, Olaf Stursberg
2013	J	`jnl`	Event-Based Communication in Distributed Model Predictive Control. Autom. Dominic Groß, Martin Jilg, Olaf Stursberg
2013	—	`conf`	On the convergence rate of a Jacobi algorithm for Cooperative Distributed MPC. CDC Dominic Gross, Olaf Stursberg
2013	J	`jnl`	Optimal Control for Hybrid Systems With Partitioned State Space. IEEE Trans. Autom. Control. Benjamin Passenberg, Peter E. Caines, Marion Leibold, Olaf Stursberg, Martin Buss
2013	—	`conf`	Optimized distributed control and topology design for hierarchically interconnected systems. ECC Martin Jilg, Olaf Stursberg
2012	—	`conf`	Control of Uncertain Hybrid Nonlinear Systems Using Particle Filters. ADHS Leonhard Asselborn, Martin Jilg, Olaf Stursberg
2012	C	`conf`	Hierarchical and distributed discrete event control of manufacturing processes. ETFA Olaf Stursberg
2012	C	`conf`	On-the-fly model abstraction for controller synthesis. ACC Matthias Rungger, Olaf Stursberg
2011	A*	`conf`	Human arm motion modeling and long-term prediction for safe and efficient Human-Robot-Interaction. ICRA Hao Ding, Gunther Reissig, Kurniawan Wijaya, Dino Bortot, Klaus Bengler, Olaf Stursberg
2011	—	`conf`	Increasing efficiency of optimization-based path planning for robotic manipulators. CDC/ECC Hao Ding, Gunther Reissig, Olaf Stursberg
2011	—	`conf`	Mixed-integer programming for optimal path planning of robotic manipulators. CASE Hao Ding, Gunther Reissig, Dominic Gross, Olaf Stursberg
2011	—	`conf`	Optimized distributed control and network topology design for interconnected systems. CDC/ECC Dominic Gross, Olaf Stursberg
2011	—	`conf`	Optimizing Motion of Robotic Manipulators in Interaction with Human Operators. ICIRA (1) Hao Ding, Kurniawan Wijaya, Gunther Reißig, Olaf Stursberg
2011	—	`conf`	The minimum principle for time-varying hybrid systems with state switching and jumps. CDC/ECC Benjamin Passenberg, Marion Leibold, Olaf Stursberg, Martin Buss
2010	—	`conf`	An algorithm for discrete state sequence and trajectory optimization for hybrid systems with partitioned state space. CDC Benjamin Passenberg, Marion Sobotka, Olaf Stursberg, Martin Buss, Peter E. Caines
2010	—	`conf`	Continuity of the value function for exit time optimal control problems of hybrid systems. CDC Matthias Rungger, Olaf Stursberg
2010	J	`jnl`	Hierarchische Modellierung und Regelung hybrider Systeme auf zwei Ebenen (Hierarchical Modeling and Control of Hybrid Systems with Two Layers). Autom. Olaf Stursberg, Tina Paschedag, Matthias Rungger, Hao Ding
2010	—	`conf`	Improving motion of robotic manipulators by an embedded optimizer. CASE Hao Ding, Georg Schnattinger, Benjamin Passenberg, Olaf Stursberg
2010	J	`jnl`	Robuste modellprädiktive Regelung kommunizierender Fahrzeugkolonnen (Robust Predictive Control of Platooning Vehicles Using Communication). Autom. Johannes Dold, Olaf Stursberg
2010	—	`conf`	Solution of a multi-agent transport problem by hybrid optimization. WODES Herbert Mangesius, Marion Sobotka, Olaf Stursberg
2010	—	`conf`	The minimum principle for hybrid systems with partitioned state space and unspecified discrete state sequence. CDC Benjamin Passenberg, Peter E. Caines, Marion Sobotka, Olaf Stursberg, Martin Buss
2009	—	`conf`	A communication-based distributed model predictive control scheme with time-varying consistency constraints. ECC Johannes Dold, Olaf Stursberg
2009	—	`conf`	Cognitive safety control for human-machine interaction. ECC Hao Ding, Sebastian Kain, Frank Schiller, Olaf Stursberg
2009	—	`conf`	Combined time and fuel optimal driving of trucks based on a hybrid model. ECC Benjamin Passenberg, Peter Kock, Olaf Stursberg
2009	—	`conf`	Distributed predictive control of communicating and platooning vehicles. CDC Johannes Dold, Olaf Stursberg
2009	—	`conf`	Function approximation for the deterministic Hamilton-Jacobi-Bellman equation. CDC Matthias Rungger, Olaf Stursberg
2009	—	`conf`	Graph Search for Optimizing the Discrete Location Sequence in Hybrid Optimal Control. ADHS Benjamin Passenberg, Olaf Stursberg
2009	—	`conf`	Hierarchical hybrid modeling and control of flexible manufacturing systems. ECC Tina Paschedag, Matthias Rungger, Hao Ding, Olaf Stursberg
2009	J	`jnl`	Model-Based Probabilistic Collision Detection in Autonomous Driving. IEEE Trans. Intell. Transp. Syst. Matthias Althoff, Olaf Stursberg, Martin Buss
2009	—	`conf`	Optimal Control for Deterministic Hybrid Systems using Dynamic Programming. ADHS Matthias Rungger, Olaf Stursberg
2009	A	`conf`	Optimal path planning in the workspace for articulated robots using mixed integer programming. IROS Hao Ding, Mingxiang Zhou, Olaf Stursberg
2009	—	`conf`	Optimizing Hybrid Control Trajectories by Model abstraction and Refinement. ADHS Tina Paschedag, Michael Fall, Olaf Stursberg
2009	—	`conf`	Safety assessment for stochastic linear systems using enclosing hulls of probability density functions. ECC Matthias Althoff, Olaf Stursberg, Martin Buss
2008	—	`conf`	Efficient Planning of Autonomous Robots using Hierarchical Decomposition. ICINCO-RA (1) Matthias Rungger, Olaf Stursberg, Bernd Spanfelner, Christian Leuxner, Wassiou Sitou
2008	—	`conf`	Multiscale Anticipatory Behavior by Hierarchical Reinforcement Learning. ABiALS Matthias Rungger, Hao Ding, Olaf Stursberg
2008	J	`jnl`	Produktionssteuerung auf der Grundlage von Echtzeitautomaten (Production Scheduling Using Timed Automata). Autom. Sebastian Panek, Olaf Stursberg, Sebastian Engell
2008	—	`conf`	Reachability analysis of nonlinear systems with uncertain parameters using conservative linearization. CDC Matthias Althoff, Olaf Stursberg, Martin Buss
2008	J	`jnl`	Scheduling of multi-product batch plants based upon timed automata models. Comput. Chem. Eng. Sebastian Panek, Sebastian Engell, Subanatarajan Subbiah, Olaf Stursberg
2008	J	`jnl`	Sicherheitsbewertung von Fahrstrategien kognitiver Automobile (Safety Assessment of Driving Strategies of Cognitive Cars). Autom. Matthias Althoff, Olaf Stursberg, Martin Buss
2008	—	`conf`	Stochastic optimal control for hybrid systems with uncertain discrete dynamics. CASE Franziska Adamek, Marion Sobotka, Olaf Stursberg
2008	—	`conf`	The Role of Implicit Context Information in Guiding Visual-Spatial Attention. ICVW Andrea Schankin, Olaf Stursberg, Anna Schubö
2007	C	`conf`	Comparison of Event-Triggered and Cycle-Driven Models for Verifying SFC Programs. ACC Sven Lohmann, Olaf Stursberg, Sebastian Engell
2007	B	`conf`	Controller Architecture for Safe Cognitive Technical Systems. SAFECOMP Sebastian Kain, Hao Ding, Frank Schiller, Olaf Stursberg
2007	C	`conf`	Hybrid Nonlinear Model-Predictive Control of a Supermarket Refrigeration System. CCA Christian Sonntag, Arvind Devanathan, Sebastian Engell, Olaf Stursberg
2007	—	`conf`	Reachability analysis of linear systems with uncertain parameters and inputs. CDC Matthias Althoff, Olaf Stursberg, Martin Buss
2007	C	`conf`	Safety Assessment of Autonomous Cars using Verification Techniques. ACC Matthias Althoff, Olaf Stursberg, Martin Buss
2007	—	`conf`	Scheduling of multi-product batch plants using reachability analysis of timed automata models. ICINCO-ICSO Subanatarajan Subbiah, Sebastian Panek, Sebastian Engell, Olaf Stursberg
2007	J	`jnl`	Theorie der Automatisierungstechnik. Autom. Frank Allgöwer, Georg Bretthauer, Ulrich Konigorski, Olaf Stursberg
2006	J	`jnl`	Algorithmic and Abstraction-Based Design of Discrete Controllers for Hybrid Automata (Algorithmischer und abstraktionsbasierter Entwurf diskreter Steuerungen für hybride Automaten). Autom. Olaf Stursberg, Thanh Ha Tran
2006	—	`conf`	Dynamic Optimization of an Industrial evaporator using Graph Search with Embedded nonlinear Programming. ADHS Christian Sonntag, Olaf Stursberg, Sebastian Engell
2005	—	`conf`	Analysis of Logic Controllers by Transformation of SFC into Timed Automata. CDC/ECC Olaf Stursberg, Sven Lohmann
2005	—	`conf`	Hybrid Control Techniques for the Design of Industrial Controllers. CDC/ECC Sebastian Engell, Olaf Stursberg
2005	J	`jnl`	Hybrid Control of Networked Embedded Systems. Eur. J. Control 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
2005	J	`jnl`	Verification of Embedded Supervisory Controllers Considering Hybrid Plant Dynamics. Int. J. Softw. Eng. Knowl. Eng. Sebastian Engell, Sven Lohmann, Olaf Stursberg
2004	—	`conf`	A graph search algorithm for optimal control of hybrid systems. CDC Olaf Stursberg
2004	—	`conf`	Verification of PLC Programs Given as Sequential Function Charts. SoftSpez Final Report Nanette Bauer, Sebastian Engell, Ralf Huuck, Sven Lohmann, Ben Lukoschus, Manuel Remelhe, Olaf Stursberg
2003	J	`jnl`	Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems. Int. J. Found. Comput. Sci. Edmund M. Clarke, Ansgar Fehnker, Zhi Han, Bruce H. Krogh, Joël Ouaknine, Olaf Stursberg, Michael Theobald
2003	—	`conf`	Efficient Representation and Computation of Reachable Sets for Hybrid Systems. HSCC Olaf Stursberg, Bruce H. Krogh
2003	—	`conf`	Empirical Complexity Analysis of a MILP-Approach for Optimization of Hybrid Systems. ADHS Jochen Till, Sebastian Engell, Sebastian Panek, Olaf Stursberg
2003	—	`conf`	On Systematic Simulation of Open Continuous Systems. HSCC James Kapinski, Bruce H. Krogh, Oded Maler, Olaf Stursberg
2003	—	`conf`	Optimization of Timed Automata Models Using Mixed-Integer Programming. FORMATS Sebastian Panek, Olaf Stursberg, Sebastian Engell
2003	—	`conf`	Specification-Guided Analysis of Hybrid Systems Using a Hierarchy of Validation Methods. ADHS Olaf Stursberg, Ansgar Fehnker, Zhi Han, Bruce H. Krogh
2003	A	`conf`	Verification of Hybrid Systems Based on Counterexample-Guided Abstraction Refinement. TACAS Edmund M. Clarke, Ansgar Fehnker, Zhi Han, Bruce H. Krogh, Olaf Stursberg, Michael Theobald
2002	—	`conf`	Control of Switched Hybrid Systems Based on Disjunctive Formulations. HSCC Olaf Stursberg, Sebastian Panek
2001	J	`jnl`	An Experimental Batch Plant as a Test Case for the Verification of Hybrid Systems. Eur. J. Control Stefan Kowalewski, Olaf Stursberg, Nanette Bauer
2001	J	`jnl`	An Open Software Architecture for the Verification of Industrial Controllers. J. Univers. Comput. Sci. Heinz Treseler, Olaf Stursberg, Paul Wai Hing Chung, Shuang-Hua Yang
2001	—	`conf`	An assessment of the current status of algorithmic approaches to the verification of hybrid systems. CDC B. Izaias Silva, Olaf Stursberg, Bruce H. Krogh, Sebastian Engell
2000	J	`jnl`	Continuous-discrete interactions in chemical processing plants. Proc. IEEE Sebastian Engell, Stefan Kowalewski, Christian Schulz, Olaf Stursberg
1999	—	`conf`	Approximating switched continuous systems by rectangular automata. ECC Olaf Stursberg, Stefan Kowalewski
1999	—	`conf`	Reachability Analysis of a Class of Switched Continuous Systems by Integrating Rectangular Approximation and Rectangular Analysis. HSCC Jörg Preußig, Olaf Stursberg, Stefan Kowalewski
1999	J	`jnl`	Verification of logic controllers for continuous plants using timed condition/event-system models. Autom. Stefan Kowalewski, Sebastian Engell, Jörg Preußig, Olaf Stursberg
1997	—	`conf`	A Case Study in Tool-Aided Analysis of Discretely Controlled Continuous Systems: The Two Tanks Problem. Hybrid Systems Stefan Kowalewski, Olaf Stursberg, Martin Fritz, Holger Graf, Ingo Hoffmann, Jörg Preußig, Manuel Remelhe, Silke Simon, Heinz Treseler
1996	—	`conf`	Comparing Timed and Hybrid Automata as Approximations of Continuous Systems. Hybrid Systems Olaf Stursberg, Stefan Kowalewski, Ingo Hoffmann, Jörg Preußig