Publikationen Prof. Stursberg

J. Mast, Z. Liu, Z. Wang, and O. Stursberg, “A Unified Approach to Communication Delay and Communication Frequency in Distributed State Estimation of Linear Systems,” IEEE Control Systems Letters, vol. 7, pp. 2755–2760, 2023.
P. Flues and O. Stursberg, “Distributed MPC of Uncertain Multi-Agent Systems Considering Formations and Obstacles,” Proc. of the 22nd IFAC World Congress, vol. 56, no. 2, pp. 10155–10161, 2023.
J. Hahn and O. Stursberg, “Reference Tracking for Constrained Uncertain Linear Systems by Stochastic MPC,” Proc. of the 22nd IFAC World Congress, vol. 56, no. 2, pp. 10421–10427, 2023.
T. Trummel, Z. Liu, and O. Stursberg, “On Optimal Synchronization of Diffusively Coupled Heterogeneous Van Der Pol Oscillators,” Proc. of the 22nd IFAC World Congress, pp. 9475–9480, 2023.
L. Markolf and O. Stursberg, “Tailored Output Layers of Neural Networks for Satisfaction of State Constraints in Nonlinear Control Systems,” Proceedings of the 2023 Annual American Control Conference (ACC), pp. 1881–1888, 2023.
L. Markolf and O. Stursberg, “DNN-Approximations of Control Laws for Nonlinear Systems with Polytopic Constraints,” Proc. of the 22nd IFAC World Congress, pp. 1516–1521, 2023.
L. Markolf and O. Stursberg, “Receding‑Horizon Control of Constrained Switched Systems with Neural Networks as Parametric Function Approximators,” SN Computer Science, vol. 4, p. 62, 2023.
Z. Liu, M. Omayrat, and O. Stursberg, “Model-Based Optimization of Vaccination Strategies in Different Phases of Pandemic Virus Spread,” Proc. of the 18th Int. Conf. on Informatics in Control, Automation and Robotics, vol. 1006, pp. 185–208, 2023.
N. Hanke and O. Stursberg, “On the Design of Limit Cycles of Planar Switching Affine Systems,” Proc. of the 2023 European Control Conference, pp. 2251–2256, 2023.
V. Schmidtke, M. Rüger, and O. Stursberg, “Model Predictive Control of PDEs for Temperature Control in 3D-Printing Processes,” Proc. of the 2023 European Control Conference, pp. 496–501, 2023.
V. Schmidtke, Z. Liu, and O. Stursberg, “Resilience of Time-Varying Communication Graphs for Consensus of Changing Sets of Computing Agents,” 62nd IEEE Conference on Decision and Control , pp. 3474–3479, 2023.
Z. Liu and O. Stursberg, “Distributed Optimization for Mixed-Integer Consensus in Multi-Agent Networks,” 2022 European Control Conference, pp. 2196–2202, 2022.
Z. Liu and O. Stursberg, “Distributed Solution of Mixed-Integer Programs by ADMM with Closed Duality Gap,” 61st IEEE Conference on Decision and Control (CDC), pp. 279–286, 2022.
J. Hahn and O. Stursberg, “On Stability of Network Control Systems with Switching Transmission Probabilities,” IFAC-PapersOnline, vol. 55(13), pp. 276–281, 2022.
J. Hahn, R. Schoeffauer, G. Wunder, and O. Stursberg, “Using AoI Forecasts in Communicating and Robust Distributed Model-Predictive Control,” IEEE Transactions on Control of Network Systems, vol. 9, no. 2, pp. 742–752, 2022.
J. Hahn and O. Stursberg, “Uncertain AoI in stochastic optimal control of constrained LTI systems,” at-Automatisierungstechnik, vol. 70(4), pp. 343–354, 2022.
X. Liu, Z. Liu, Z. Wang, and O. Stursberg, “Efficient Fault Detection for Discrete-Time PWA Systems,” IEEE Control Systems Letters, no. 6, pp. 3361–3366, 2022.
P. Flues and O. Stursberg, “Control of Jump Markov Uncertain Linear Systems With General Probability Distributions., doi: 10.3389/fcteg.2022.806543,” Frontiers in Control Engineering, vol. 3, p. Article 806543, 2022.
J. Schneegans, J. Eilbrecht, S. Zernetsch, M. Bieshaar, K. Doll, O. Stursberg, and B. Sick, “Probabilistic VRU Trajectory Forecasting for Model-Predictive Planning - a Case Study: Overtaking Cyclists,” Proc. IEEE Intelligent Vehicles Symposium, pp. 272–279, 2021.
J. Hahn and O. Stursberg, “Constrained Stochastic Predictive Control of Linear Systems with Uncertain Communication,” at - Automatisierungstechnik, no. 69(9), pp. 771–781, 2021.
M. Theißen and O. Stursberg, “Predictive Control using LPV Techniques for Fast Discrete Time Nonlinear Systems with Changing Setpoints,” Proc. of the 3rd IFAC Conf. on Modeling, Identification and Control of Nonlinear Systems, pp. 288–293, 2021.
Z. Liu and O. Stursberg, “On the Use of MPC Techniques to Decide on Intervention Policies against COVID-19,” Proc. of the 3rd IFAC Conf. on Modeling, Identification and Control of Nonlinear Systems, vol. 54, no. 14, pp. 502–507, 2021.
L. Markolf and O. Stursberg, “Learning-Based Optimal Control of Constrained Switched Linear Systems Using Neural Networks,” Proc. of the 18th International Conference on Informatics in Control, Automation and Robotics, pp. 90–98, 2021.
Z. Liu, M. Omayrat, and O. Stursberg, “A Study on Model-based Optimization of Vaccination Strategies Against Epidemic Virus Spread,” Proc. of the 18th Int. Conf. on Informatics in Control, Automation and Robotics, pp. 630–637, 2021.
L. Markolf and O. Stursberg, “Stability Analysis for State Feedback Control Systems Established as Neural Networks with Input Constraints,” Proc. of the 18th Int. Conf. on Informatics in Control, Automation and Robotics, pp. 146–155, 2021.
Z. Liu and O. Stursberg, “Distributed Solution of MIQP Problems Arising for Networked Systems with Coupling Constraints,” Proc. European Control Conference, pp. 2420–2425, 2021.
L. Markolf and O. Stursberg, “Polytopic Input Constraints in Learning-Based Optimal Control Using Neural Networks,” Proc. European Control Conference, pp. 1018–1023, 2021.
Z. Liu and O. Stursberg, “Efficient Solution of Distributed MIP in Control of Networked Systems,” Proc. in Applied Mathematics and Mechanics (PAMM), vol. 20(1,Section 20), pp. 1–2, 2021.
J. Eilbrecht and O. Stursberg, “Set-based Scheduling for Highway Entry of Autonomous Vehicles.,” IFAC-PapersOnline, vol. 53(2), pp. 15605–15612, 2020.
A. Werckenthin, J. Huber, T. Arnold, S. Koziarek, M. Plath, J. A. Plath, O. Stursberg, H. Herzel, and M. Stengl, “Neither PER, nor TIM1, nor CRY2 alone are Essential Components of the Molecular Circadian Clockwork in the Madeira Cockroach.,” PLOS ONE, vol. 15, no. 8, pp. 1–26, 2020.
P. Flues and O. Stursberg, “Online Control of Affine Systems in Stochastically Modeled Contexts.,” IFAC-PapersOnline, vol. 53(2), pp. 3416–3422, 2020.
L. Markolf, J. Eilbrecht, and O. Stursberg, “Trajectory Planning for Autonomous Vehicles combining Nonlinear Optimal Control and Supervised Learning.,” IFAC-PapersOnline, vol. 53(2), pp. 15817–15823, 2020.
J. Eilbrecht and O. Stursberg, “Challenges of Trajectory Planning with Integrator Models on Curved Roads.,” IFAC-PapersOnline, vol. 53(2), pp. 15797–15804, 2020.
J. Hahn and O. Stursberg, “Balanced Stochastic Optimal Control of Uncertain Linear Systems with Constraints.,” IFAC-PapersOnline, vol. 53(2), pp. 7254–7260, 2020.
Z. Liu and O. Stursberg, “Robust Point-to-Set Control of Hybrid Systems with Uncertainties Using Constraint Tightening.,” IFAC-PapersOnline, vol. 53(2), pp. 6888–6894, 2020.
Z. Liu and O. Stursberg, “Efficient Solution of Distributed MILP in Control of Networked Systems.,” Proc. of the IFAC World Congress, pp. 6805–6811, 2020.
J. Eilbrecht and O. Stursberg, “Hierarchical Solution of Non-Convex Optimal Control Problems with Application to Autonomous Driving,” European Journal of Control, vol. 50, pp. 188–197, 2019.
Z. Liu and O. Stursberg, “Recursive Feasibility and Stability of MPC with Time-Varying and Uncertain State Constraints,” in 2019 18th European Control Conference (ECC), IEEE, Ed. 2019, pp. 1766–1771.
J. Eilbrecht, D. Heß, F. Köster, and O. Stursberg, “Sichere Trajektorienplanung für autonome Fahrzeuge unter Verwendung steuerbarer und erreichbarer Mengen.” 2019.
M. Theissen and O. Stursberg, “Distributed Model Predictive Control of Wind Farms for Short-Term Grid Support,” in 2019 IEEE PES Innovative Smart Grid Technologies Europe (ISGT-Europe), IEEE, Ed. 2019, pp. 1–5.
J. Eilbrecht and O. Stursberg, “Reducing Computation Times for Planning of Reference Trajectories in Cooperative Autonomous Driving,” in 2019 IEEE Intelligent Vehicles Symposium (IV), IEEE, Ed. 2019, pp. 146–152.
J. Hahn and O. Stursberg, “Robust Distributed MPC for Disturbed Affine Systems Using Predictions of Time-Varying Communication,” in 2019 18th European Control Conference (ECC), IEEE, Ed. 2019, pp. 56–62.
Z. Liu and O. Stursberg, “Distributed control of networked systems with coupling constraints,” Automatisierungstechnik, vol. 67, no. 12, pp. 1007–1018, 2019.
Z. Liu and O. Stursberg, “Efficient Optimal Control of Hybrid Systems with Conditioned Transitions,” in 2019 IEEE 15th International Conference on Control and Automation (ICCA), IEEE, Ed. 2019, pp. 223–230.
J. Eilbrecht and O. Stursberg, “Optimization-Based Maneuver Automata for Cooperative Trajectory Planning of Autonomous Vehicles.,” European Control Conference, pp. 82–88, 2018.
Z. Liu and O. Stursberg, “Optimierungsbasierte Regelung und Steuerung Hybrid-Dynamischer Systeme.,” Automatisierungstechnik, vol. 66, no. 11, pp. 928–938, 2018.
Z. Liu and O. Stursberg, “Optimizing Online Control of Constrained Systems with Switched Dynamics.,” Proc. European Control Conference, pp. 82–88, 2018.
Z. Liu and O. Stursberg, “Optimal Trajectory Planning of Hybrid Systems by Efficient MIQP Encoding,” in 2018 IEEE Conference on Decision and Control (CDC), IEEE, Ed. Red Hook, NY: Curran Associates, 2018, pp. 1548–1553.
J. Hahn, R. Schoeffauer, G. Wunder, and O. Stursberg, “Distributed MPC with Prediction of Time-Varying Communication Delay,” IFAC-PapersOnline, vol. 51, no. 23, pp. 224–229, 2018.
B. Schurmann, D. Hes, J. Eilbrecht, O. Stursberg, F. Koster, and M. Althoff, “Ensuring Drivability of Planned Motions Using Formal Methods,” in 2017 IEEE 20th International Conference on Intelligent Transportation Systems (ITSC), Institute of Electrical and Electronics Engineers, Ed. Piscataway, NJ: IEEE, 2017, pp. 1–8.
J. Tonne and O. Stursberg, “Fast Robust Model Predictive Control for Nonlinear Jump Markov Systems,” IFAC-PapersOnline, vol. 50, no. 1, pp. 9342–9348, 2017.
D. Kontny and O. Stursberg, “Online Adaption of Motion Paths to Time-Varying Constraints using Homotopies,” IFAC-PapersOnline, vol. 50, no. 1, pp. 3331–3337, 2017.
J. Eilbrecht, M. Bieshaar, S. Zernetsch, K. Doll, B. Sick, and O. Stursberg, “Model-predictive Planning for Autonomous Vehicles Anticipating Intentions of Vulnerable Road Users by Artificial Neural Networks,” in 2017 IEEE Symposium Series on Computational Intelligence (SSCI), Institute of Electrical and Electronics Engineers, Ed. Piscataway, NJ: IEEE, 2017, pp. 1–8.
A. El-Guindy, K. Schaab, B. Schurmann, O. Stursberg, and M. Althoff, “Formal LPV control for transient stability of power systems,” in 2017 IEEE Power & Energy Society General Meeting, Institute of Electrical and Electronics Engineers, Ed. Piscataway, NJ: IEEE, 2017, pp. 1–5.
K. Schaab, J. Hahn, M. Wolkov, and O. Stursberg, “Robust Control for Voltage and Transient Stability of Power Grids Relying on Wind Power,” Control Engineering Practice, vol. 60, pp. 7–17, 2017.
J. Eilbrecht and O. Stursberg, “Auction-based Cooperation of Autonomous Vehicles using Mixed-Integer Planning,” in AAET Symposium, ITS Nord e.V., Ed. Braunschweig: AAET Symposium, 2017, pp. 267–287.
J. Eilbrecht and O. Stursberg, “Cooperative Driving Using a Hierarchy of Mixed-Integer Programming and Tracking Control,” in 2017 IEEE Intelligent Vehicles Symposium (IV), Institute of Electrical and Electronics Engineers, Ed. Piscataway, NJ: IEEE, 2017, pp. 673–678.
O. Stursberg and C. Hillmann, “Decentralized Optimal Control of Distributed Interdependent Automata With Priority Structure,” IEEE Transactions on Automation Science and Engineering, vol. 14, no. 2, pp. 785–796, 2017.
J. Eilbrecht, M. Jilg, and O. Stursberg, “Distributed H 2 -Optimized Output Feedback Controller Design Using the ADMM,” IFAC-PapersOnline, vol. 50, no. 1, pp. 10389–10394, 2017.
H. Rewald and O. Stursberg, “Cooperation of Autonomous Vehicles Using a Hierarchy of Auction-based and Model-Predictive Control,” in 2016 IEEE Intelligent Vehicles Symposium (IV), vol. 2016, Institute of Electrical and Electronics Engineers, Ed. Piscataway, NJ: IEEE, 2016, pp. 1078–1084.
L. Asselborn and O. Stursberg, “Control of Discrete-Time Piecewise Affine Probabilistic Systems using Reachability Analysis,” in 2016 IEEE Conference on Computer Aided Control System Design (CACSD), vol. 2016, Institute of Electrical and Electronics Engineers, Ed. Piscataway, NJ: IEEE, 2016, pp. 661–666.
D. Groß and O. Stursberg, “A Relaxed Lyapunov Condition for Input-to-State Stability of Discrete-Time Nonlinear Systems,” in 2016 IEEE 55th Conference on Decision and Control (CDC), vol. 2016, Institute of Electrical and Electronics Engineers, Ed. Piscataway, NJ: IEEE, 2016, pp. 1340–1345.
L. Asselborn and O. Stursberg, “Probabilistic Control of Switched Linear Systems with Chance Constraints,” in 2016 European Control Conference (ECC), vol. 2016, Institute of Electrical and Electronics Engineers, Ed. Piscataway, NJ: IEEE, 2016, pp. 2041–2047.
D. Groß and O. Stursberg, “A Cooperative Distributed MPC Algorithm With Event-Based Communication and Parallel Optimization,” IEEE Trans. on Control of Networked Systems-Tagungsband, vol. 3, no. 3, pp. 275–285, 2016.
J. Tonne and O. Stursberg, “Constraint Robust Model Predictive Control for Jump Markov Linear Systems with Additive Disturbances,” Proc. European Control Conf., vol. 2016, pp. 1315–1321, 2016.
M. Theißen, K. Schaab, and O. Stursberg, “Voltage Stability of Power Grids with PV Plants using Robust LPV-Control,” IFAC-PapersOnline, vol. 49, no. 27, pp. 54–59, 2016.
D. Kontny and O. Stursberg, “Fast Optimizing Control for Non-Convex State Constraints using Homotopy Properties,” in 2016 IEEE 55th Conference on Decision and Control (CDC), vol. 2016, Institute of Electrical and Electronics Engineers, Ed. Red Hook, NY: Curran Associates, 2016, pp. 4894–4900.
D. Kontny and O. Stursberg, “Fast Control using Homotopy Properties for Obstacle-Avoidance of Systems with Input Constraints,” in 2016 IEEE Conference on Computer Aided Control System Design (CACSD), vol. 2016, Institute of Electrical and Electronics Engineers, Ed. Piscataway, NJ: IEEE, 2016, pp. 654–660.
M. Jilg and O. Stursberg, “Hierarchical Distributed Control of a Class of Interconnected Jump Semi-Markov Linear Systems,” in 2016 European Control Conference (ECC), vol. 2016, Institute of Electrical and Electronics Engineers, Ed. Piscataway, NJ: IEEE, 2016, pp. 236–242.
J. Tonne and O. Stursberg, “Constrained Model Predictive Control of Processes with Uncertain Structure Modeled by Jump Markov Linear Systems,” in Variable-Structure Approaches, A. Rauh and L. Senkel, Eds. Cham: Springer International Publishing, 2016, pp. 335–361.
K. Schaab and O. Stursberg, “Robust Decentralized LPV Control for Transient Stability of Power Systems,” 9th IFAC Symp. on Control of Power and Energy Systems-Tagungsband, vol. 48, no. 30, pp. 566–571, 2015.
J. Tonne, M. Jilg, and O. Stursberg, “Constrained Model Predictive Control of High Dimensional Jump Markov Linear Systems,” in 2015 American Control Conference (ACC), vol. 2015, Institute of Electrical and Electronics Engineers, Ed. Piscataway, NJ: IEEE, 2015, pp. 2993–2998.
L. Asselborn and O. Stursberg, “Probabilistic Control of Uncertain Linear Systems Using Stochastic Reachability,” 8th IFAC Symposium on Robust Control Design-Tagungsband, vol. 48, no. 14, pp. 167–172, 2015.
M. Jilg, J. Tonne, and O. Stursberg, “Design of Distributed H2-Optimized Controllers Considering Stochastic Communication Link Failures,” in 2015 American Control Conference (ACC), vol. 2015, Institute of Electrical and Electronics Engineers, Ed. Piscataway, NJ: IEEE, 2015, pp. 3540–3545.
K. Schaab and O. Stursberg, “Decentralized Robust Control of Power Grids Using LPV-Models of DAE-Systems,” 1st IFAC Workshop on Linear Parameter Varying Systems-Tagungsband, vol. 48, no. 26, pp. 218–223, 2015.
L. Asselborn and O. Stursberg, “Robust Control of Uncertain Switched Linear Systems Based on Stochastic Reachability,” 5th IFAC Conf. on Analysis and Design of Hybrid Systems-Tagungsband, vol. 48, no. 27, pp. 310–316, 2015.
C. Hillmann and O. Stursberg, “Decentralized Control of Distributed Discrete Event Systems With Linear Dependency Structure,” in 2015 IEEE International Conference on Automation Science and Engineering (CASE), vol. 2015, Institute of Electrical and Electronics Engineers, Ed. Piscataway, NJ: IEEE, 2015, pp. 551–557.
L. Grüne, F. Allgoewer, R. Findeisen, J. Fischer, D. Groß, U. D. Hanebeck, B. Kern, M. A. Müller, J. Pannek, M. Reble, O. Stursberg, P. Varutti, and K. Worthmann, “Distributed and Networked Model Predictive Control,” in Control Theory of Digitally Networked Dynamic Systems, J. Lunze, Ed. Cham: Springer, 2014, pp. 111–167.
M. Jilg and O. Stursberg, “On the Computation of Local Quadratic Performance Indices for Hierarchically Interconnected Systems,” in 2014 European Control Conference (ECC 2014), Institute of Electrical and Electronics Engineers, Ed. Piscataway, NJ: IEEE, 2014, pp. 1574–1581.
B. Passenberg, M. Leibold, O. Stursberg, and M. Buss, “A Globally Convergent, Locally Optimal Min-H Algorithm for Hybrid Optimal Control,” SIAM Journal on Control and Optimization, vol. 52, no. 1, pp. 718–746, 2014.
D. Groß and O. Stursberg, “Distributed Predictive Control of Communicating and Constrained Systems,” ZAMM, vol. 94, no. 4, pp. 303–316, 2014.
D. Groß and O. Stursberg, “Distributed Predictive Control of Communicating Decentralized Systems,” in Control Theory of Digitally Networked Dynamic Systems, J. Lunze, Ed. Springer, 2014, pp. 139–156.
C. Hillmann and O. Stursberg, “Algebraic Synthesis for Online Adaptation of Dependable Discrete Control Systems,” 4th IFAC Workshop on Dependable Control of Discrete Systems, ID: 11, vol. 46, no. 22, pp. 61–66, 2013.
B. Passenberg, P. E. Caines, M. Leibold, O. Stursberg, and M. Buss, “Optimal Control for Hybrid Systems with Partitioned State Space,” IEEE Transactions on Automatic Control, vol. 28, no. 8, pp. 2131–2136, 2013.
M. Jilg and O. Stursberg, “Optimized Distributed Control and Topology Design for Hierarchically Interconnected Systems,” in 2013 European Control Conference (ECC), Institute of Electrical and Electronics Engineers, Ed. Piscataway, NJ: IEEE, 2013, pp. 4340–4346.
M. Jilg and O. Stursberg, “Hierarchical Distributed Control for Interconnected Systems,” In 13th IFAC Symposium on Large Scale Complex Systems, vol. 46, no. 13, pp. 419–425, 2013.
D. Groß, M. Jilg, and O. Stursberg, “Design of Distributed Controllers and Communication Topologies Considering Link Failures,” in European Control Conference (ECC), Institute of Electrical and Electronics Engineers, Ed. Piscataway, NJ: IEEE, 2013, pp. 3288–3294.
L. Asselborn, D. Groß, and O. Stursberg, “Control of Uncertain Nonlinear Systems using Ellipsoidal Reachability Calculus,” In 9th IFAC Symposium on Nonlinear Control Systems, vol. 46, no. 23, pp. 50–55, 2013.
D. Groß and O. Stursberg, “On the Convergence Rate of a Jacobi Algorithm for Cooperative Distributed MPC,” in 52nd IEEE Conference on Decision and Control, Institute of Electrical and Electronics Engineers, Ed. Piscataway, NJ: IEEE, 2013, pp. 1508–1513.
D. Groß and O. Stursberg, “Distributed Predictive Control for a Class of Hybrid Systems with Event-Based Communication,” 4th IFAC Workshop on Distributed Estimation and Control in Networked Systems, vol. 46, no. 27, pp. 383–388, 2013.
J. Tonne, J. Clobes, M. Alsmann, A. Ademaj, M. Mischka, W. Morgenroth, H.-H. Becker, and O. Stursberg, “Model-based Optimization of Furnace Temperature Profiles with regard to Economic and Ecologic Aspects in Hot Stamping of 22MnB5,” in Proceedings / 4th International Conference Hot Sheet Metal Forming of High Performance Steel, M. Oldenburg and K. Steinhoff, Eds. Auerbach: Verlag Wissenschaftliche Scripten, 2013, pp. 177–184.
D. Groß, M. Jilg, and O. Stursberg, “Event-Based Communication in Distributed Model Predictive Control,” Automatisierungstechnik, vol. 61, no. 7, pp. 457–466, 2013.
O. Stursberg, “Hierarchical and Distributed Discrete Event Control of Manufacturing Processes,” in 17th IEEE Conf. on Emerging Technologies and Factory Automation, vol. 2012, Curran Associates, Ed. Krakow, Poland: IEEE, 2012, pp. 1–8.
H. Ding, K. Wijaya, G. Reißig, and O. Stursberg, “Online Computation of Safety-Relevant Regions for Human Robot Interaction,” in 43rd Int. Symposium on Robotics, ., Ed. 2012, p. .
L. Asselborn, M. Jilg, and O. Stursberg, “Control of Uncertain Hybrid Nonlinear Systems Using Particle Filters,” IFAC Proceedings Volumes, vol. 45, no. 9, pp. 436–441, 2012.
M. Rungger and O. Stursberg, “On-the-fly Model Abstraction for Controller Synthesis,” 2012 American Control Conference (ACC 2012), pp. 2645–2650, 2012.
H. Ding, K. Wijaya, G. Reißig, and O. Stursberg, “Optimizing Motion of Robotic Manipulators in Interaction with Human Operators,” Intelligent Robotics and Applications, Pt I, vol. 7101, pp. 520–531, 2011.
B. Passenberg, M. Leibold, O. Stursberg, and M. Buss, “The Minimum Principle for Time-Varying Hybrid Systems with State Switching and Jumps,” in 50th IEEE Conference on Decision and Control and European Control Conference, IEEE, Ed. Orlando, FL, USA: IEEE, 2011, pp. 6723–6729.
M. Rungger and O. Stursberg, “A Numerical Method for Hybrid Optimal Control Based on Dynamic Programming,” Nonlinear Analysis: Hybrid Systems, vol. 5, pp. 254–274, 2011.
H. Mangesius, M. Sobotka, and O. Stursberg, “Consensus Based Decoupling in Hybrid Optimization of Cooperative Transportation Planning,” in 18th IFAC World Congress, ., Ed. Amsterdam: Elsevier, 2011, pp. 9543–9548.
B. Passenberg, M. Kröninger, G. Schnattinger, M. Sobotka, O. Stursberg, and M. Buss, “Initialization Concepts for Optimal Control of Hybrid Systems,” in 18th IFAC Proceedings Volumes, ., Ed. Amsterdam: Elsevier, 2011, pp. 10274–10280.
M. Rungger and O. Stursberg, “Comparing Approximations of the Value Function for Exit Time Optimal Control,” in 18th IFAC World Congress, ., Ed. Amsterdam: Elsevier, 2011, pp. 8607–8613.
M. Althoff, B. H. Krogh, and O. Stursberg, “Analyzing Reachability of Linear Dynamic Systems with Parametric Uncertainties,” in Modeling, Design, and Simulation of Systems with Uncertainties, Mathematical Engineering, vol. 2011, ., Ed. Berlin Heidelberg: Springer, 2011, pp. 69–94.
H. Ding, G. Reißig, and O. Stursberg, “Increasing Efficiency of Optimization-based Path Planning for Robotic Manipulators,” in 50th IEEE Conference on Decision and Control and European Control Conference, IEEE, Ed. Orlando, FL, USA: IEEE, 2011, pp. 1399–1404.
D. Groß and O. Stursberg, “Robust Distributed Predictive Control of Communicating and Constrained Systems,” in 18th IFAC World Congress, ., Ed. Amsterdam: Elsevier Ltd., 2011, pp. 8926–8932.
H. Ding, G. Reißig, K. Wijaya, D. Bortot, K. Bengler, and O. Stursberg, “Human Arm Motion Modeling and Long-Term Prediction for Safe and Efficient Human-Robot-Interaction,” in IEEE International Conference on Robotics and Automation (ICRA), 2011, IEEE, Ed. Shanghai, China: IEEE, 2011, pp. 5875–5880.
D. Groß and O. Stursberg, “Optimized Distributed Control and Network Topology Design for Interconnected Systems,” in 50th IEEE Conference on Decision and Control and European Control Conference, IEEE, Ed. Orlando, FL, USA: IEEE, 2011, pp. 8112–8117.
H. Ding, G. Reißig, D. Groß, and O. Stursberg, “Mixed-integer programming for optimal path planning of robotic manipulators,” in Automation Science and Engineering (CASE), 2011 IEEE Conference on, In 7th IEEE Conf. on Automation Science and Engineering, Ed. 2011, pp. 133–138.
M. Rungger and O. Stursberg, “Continuity of the Value Function for Exit Time Optimal Control Problems of Hybrid Systems,” 49th IEEE Conference on Decision and Control (CDC), pp. 4210–4215, 2010.
D. Bortot, H. Ding, F. Günzkofer, D. Stengel, K. Bengler, F. Schiller, and O. Stursberg, “Effizienzsteigerung durch die Bewegungsanalyse und -modellierung der Mensch-Roboter-Kooperation,” Zeitschrift für Arbeitswissenschaft, vol. 2010, no. 64(2), pp. 65–75, 2010.
H. Mangesius, M. Sobotka, and O. Stursberg, “Solution of a Multi-Agent Transport Problem by Hybrid Optimization,” in 10th Int. Workshop on Discrete Event Systems, ., Ed. IFAC Proceedings Volumes, 2010, pp. 432–437.
D. Stengel, F. Schiller, D. Bortot, K. Bengler, H. Ding, O. Stursberg, B. Ostermann, M. Huelke, F. Som, and U. Strunz, “An Approach for Safe and Efficient Human-Robot-Collaboration,” in The 6th International Conference on Safety of Industrial Automated Systems (SIAS 2010), ., Ed. Tampere, Finland, 2010, p. .
O. Stursberg, T. Paschedag, M. Rungger, and H. Ding, “Hierarchische Modellierung und Regelung hybrider Systeme auf zwei Ebenen,” at - Automatisierungstechnik, vol. 58, no. 8, p. 478, 2010.
B. Passenberg, M. Sobotka, O. Stursberg, M. Buss, and P. E. Caines, “An Algorithm for Discrete State Sequence and Trajectory Optimization for Hybrid Systems with Partitioned State Space,” in 49th IEEE Conference on Decision and Control, vol. 2010, IEEE, Ed. Atlanta, GA, USA: IEEE, 2010, pp. 4223–4229.
H. Ding, G. Schnattinger, B. Passenberg, and O. Stursberg, “Improving Motion of Robotic Manipulators by an Embedded Optimizer,” in Automation Science and Engineering (CASE), 2010 IEEE Conference on, IEEE, Ed. Toronto, ON, Canada: IEEE, 2010, pp. 204–209.
B. Passenberg, P. E. Caines, M. Sobotka, O. Stursberg, and M. Buss, “The Minimum Principle for Hybrid Systems with Partitioned State Space and Unspecified Discrete State Sequence,” in 49th IEEE Conference on Decision and Control, IEEE, Ed. Atlanta, GA, USA: IEEE, 2010, pp. 6666–6673.
M. Althoff, O. Stursberg, and M. Buss, “Computing Reachable Sets of Hybrid Systems Using a Combination of Zonotopes and Polytopes,” Nonlinear Analysis: Hybrid Systems, vol. 4, pp. 233–249, 2010.
J. Dold and O. Stursberg, “Robuste modellprädiktive Regelung kommunizierender Fahrzeugkolonnen,” at - Automatisierungstechnik, vol. 58, no. 4, pp. 207–216, 2010.
H. Ding, S. Kain, F. Schiller, and O. Stursberg, “Increasing Reliability of Intelligent Manufacturing Systems by Adaptive Optimization and Safety Supervision,” IFAC Proceedings Volumes, vol. 42, no. 8, pp. 1533–1538, 2009.
M. Rungger, H. Ding, and O. Stursberg, “Multiscale Anticipatory Behavior by Hierarchical Reinforcement Learning,” Anticipatory Behavior in Adaptive Learning Systems, vol. 5499, pp. 301–320, 2009.
J. Dold and O. Stursberg, “Distributed Predictive Control of Communicating and Platooning Vehicles,” in Decision and Control, 2009 held jointly with the 2009 28th Chinese Control Conference. CDC/CCC 2009. Proceedings of the 48th IEEE Conference on, 48th IEEE Conf. on Decision and Control, Ed. Red Hook, New York: Curran Associates, 2009, pp. 561–566.
J. Dold and O. Stursberg, “A Communication-based Distributed Model Predictive Control Scheme with Time-varying Consistency Constraints,” in Control Conference (ECC) 2009, IEEE, Ed. Piscataway, New Jersey: IEEE, 2009, pp. 2343–2348.
M. Rungger and O. Stursberg, “Optimal Control for Deterministic Hybrid Systems using Dynamic Programming,” IFAC Proceedings Volumes, vol. 42, no. 17, pp. 316–321, 2009.
B. Passenberg and O. Stursberg, “Graph Search for Optimizing the Discrete Location Sequence in Hybrid Optimal Control,” IFAC Proceedings Volumes, vol. 42, no. 17, pp. 304–309, 2009.
B. Passenberg, P. Kock, and O. Stursberg, “Combined Time and Fuel Optimal Driving of Trucks Based on a Hybrid Model,” in Control Conference (ECC) 2009, IEEE, Ed. Piscataway, New Jersey: IEEE, 2009, pp. 4955–4960.
T. Paschedag, M. Rungger, H. Ding, and O. Stursberg, “Hierarchical Hybrid Modeling and Control of Flexible Manufacturing Systems,” in Control Conference (ECC) 2009, IEEE, Ed. Piscataway, New Jersey: IEEE, 2009, pp. 4931–4936.
H. Ding, S. Kain, F. Schiller, and O. Stursberg, “Cognitive Safety Control for Human-machine Interaction,” in Control Conference (ECC) 2009, IEEE, Ed. Piscataway, New Jersey: IEEE, 2009, pp. 5021–5026.
T. Paschedag, M. Fall, and O. Stursberg, “Optimizing Hybrid Control Trajectories by Model abstraction and Refinement,” IFAC Proceedings Volumes, vol. 42, no. 17, pp. 298–303, 2009.
M. Rungger and O. Stursberg, “Function Approximation for the Deterministic Hamilton-Jacobi-Bellman Equation,” in Decision and Control, 2009 held jointly with the 2009 28th Chinese Control Conference. CDC/CCC 2009. Proceedings of the 48th IEEE Conference on, IEEE, Ed. Shanghai, China: IEEE, 2009, pp. 2268–2273.
H. Ding, M. Zhou, and O. Stursberg, “Optimal Motion Planning for Robotic Manipulators with Dynamic Obstacles using Mixed-Integer Linear Programming,” Med: 2009 17th Mediterranean Conference on Control & Automation, Vols 1-3, pp. 934–939, 2009.
M. Althoff, O. Stursberg, and M. Buss, “Model-Based Probabilistic Collision Detection in Autonomous Driving,” IEEE Transactions on Intelligent Transportation Systems, vol. 10, pp. 299–310, 2009.
M. Althoff, O. Stursberg, and M. Buss, “Safety Assessment of Driving Behavior in Multi-Lane Traffic for Autonomous Vehicles,” in Intelligent Vehicles Symposium, 2009 IEEE, IEEE, Ed. Xi’an, China: IEEE, 2009, pp. 893–900.
H. Ding, M. Zhou, and O. Stursberg, “Optimal Path Planning in the Workspace for Articulated Robots using Mixed Integer Programming,” in 2009 IEEE/RSJ International Conference on Intelligent Robots and Systems, IEEE, Ed. St. Louis, MO, USA: IEEE, 2009, pp. 5770–5775.
A. Schankin, O. Stursberg, and A. Schuboe, “The Role of Implicit Context Information in Guiding Visual Spatial Attention.,” Cognitive Vision, vol. 5329 of LNCS, pp. 93–106. Springer, 2008.
C. Sonntag, W. Su, O. Stursberg, and S. Engell, “Optimal Control of an Industrial-Scale Evaporation System with Hybrid Systems,” Control Engineering Practice, vol. 16(8), pp. 976–990, 2008.
M. F. Zaeh, M. Beetz, K. Shea, G. Reinhart, O. Stursberg, M. Ostgathe, C. Lau, C. Ertelt, D. Pangercic, T. Ruehr, H. Ding, and T. Paschedag, “An Integrated Approach to Realize the Cognitive Machine Shop.,” 1st Annual Workshop Cognition for Technical Systems, p. n/a, 2008.
M. Althoff, O. Stursberg, and M. Buss, “Reachability analysis of nonlinear systems with uncertain parameters using conservative linearization,” in 47th IEEE Conference on Decision and Control, 2008. CDC 2008., IEEE, Ed. 2008, pp. 4042–4048.
M. Althoff, O. Stursberg, and M. Buss, “Stochastic Reachable Sets of Interacting Traffic Participants.,” Intelligent Vehicles Symposium, 2008 IEEE, pp. 1086–1092, 2008.
S. Panek, O. Stursberg, and S. Engell, “Produktionssteuerung auf der Grundlage von Echtzeitautomaten (Production Scheduling Using Timed Automata).,” at - Automatisierungstechnik, vol. 56(4), pp. 171–180, 2008.
F. Adamek, M. Sobotka, and O. Stursberg, “Stochastic Optimal Control for Hybrid Systems with Uncertain Dynamics.,” IEEE International Conference on Automation Science and Engineering, 2008. CASE 2008., pp. 23–28, 2008.
M. Althoff, O. Stursberg, and M. Buss, “Verification of Uncertain Embedded Systems by Computing Reachable Sets based on Zonotopes.,” 17th IFAC World Congress of Automatic Control, pp. 5125–5130, 2008.
M. Althoff, O. Stursberg, and M. Buss, “Online-Analyse von Fahrstrategien kognitiver autonomer Fahrzeuge.,” Automatisierungs-, Assistenzsysteme und eingebettete Systeme f¨ur Transportmittel, pp. 314–330, 2008.
M. Althoff, O. Stursberg, and M. Buss, “Erreichbarkeitsanalyse von Verkehrsteilnehmern zur Verbesserung von Fahrerassistenzsystemen.,” 3. Fachtagung Aktive Sicherheit durch Fahrerassistenz, p. n/a, 2008.
M. Althoff, O. Stursberg, and M. Buss, “Sicherheitsbewertung von Fahrstrategien kognitiver Automobile.,” at - Automatisierungstechnik, vol. 56(12), pp. 653–661, 2008.
H. Ding, S. Kain, F. Schiller, and O. Stursberg, “A Control Architecture for Safe Cognitive Systems.,” 10. Fachtagung Entwurf komplexer Automatisierungsysteme, pp. 299–308, 2008.
H. Ding, S. Kain, F. Schiller, and O. Stursberg, “Realization of a Cognitive Safety Controller for Manufacturing Systems with Human Operators.,” 1st Annual Workshop Cognition for Technical Systems, p. n/a, 2008.
S. Kain, H. Ding, F. Schiller, and O. Stursberg, “Application of Intelligent Safety Controllers in Cognitive Technical Systems.,” Polish J. of Environmental Studies, vol. 17(2A), pp. 33–38, 2008.
S. Panek, S. Engell, S. Subbiah, and O. Stursberg, “Scheduling of Multi-Product Batch Plants based upon Timed Automata Models.,” Computers and Chemical Engineering, vol. 32(1–2), pp. 275–291, 2008.
S. Panek, O. Stursberg, and S. Engell, “Scheduling based on Reachability Analysis of Timed Automata.,” Logistic Optimization of Chemical Production Processes, vol. Wiley-VCH, pp. 215–235, 2008.
M. Althoff, O. Stursberg, and M. Buss, “Safety Assessment of Driving Strategies of Cognitive Cars,” Automatisierungstechnik, vol. 56, pp. 653–661, 2008.
M. Rungger, H. Ding, T. Paschedag, and O. Stursberg, “Hierarchical Hybrid Modeling and Control of Cognitive Manufacturing Systems.,” 1st Annual Workshop Cognition for Technical Systems, p. n/a, 2008.
M. Rank, O. Stursberg, and A. W T., “A Rate-dependent Linear Modelling Approach for Upper Limb Tremor Attenuation.,” 6th IASTED International Conference on Biomedical Engineering, pp. 246–251, 2008.
M. Rungger, O. Stursberg, B. Spanfelner, C. Leuxner, and W. Sitou, “Efficient Planning of Autonomous Robots using Hierarchical Composition.,” 5th Int. Conf. on Informatics in Control, Automation, Robotics, pp. 262–267, 2008.
C. Sonntag, A. Devanathan, S. Engell, and O. Stursberg, “Hybrid Nonlinear Model-Predictive Control of a Supermarket Refrigeration System,” in Control Applications, 2007. CCA 2007. IEEE International Conference on, IEEE, Ed. 2007, pp. 1432–1437.
S. Lohmann, O. Stursberg, and S. Engell, “Comparison of Event-Triggered and Cycle-Driven Models for Verifying SFC Programs,” in American Control Conference, 2007. ACC  ’07, IEEE, Ed. 2007, pp. 3606–3611.
M. Althoff, O. Stursberg, and M. Buss, “Reachability analysis of linear systems with uncertain parameters and inputs,” in 46th IEEE Conference on Decision and Control 2007, 46th IEEE Conference on Decision and Control 2007, Ed. 2007, pp. 726–732.
M. Althoff, O. Stursberg, and M. Buss, “Safety Assessment of Autonomous Cars using Verification Techniques,” in American Control Conference, 2007. ACC  ’07, 2007. ACC  ’07 American Control Conference, Ed. 2007, pp. 4154–4159.
M. Althoff, O. Stursberg, and M. Buss, “Online Verification of Cognitive Car Decisions,” in Intelligent Vehicles Symposium, 2007 IEEE, IEEE, Ed. 2007, pp. 728–733.
H. Ding, M. Rungger, and O. Stursberg, “Intelligent Planning of Manufacturing Systems with Hybrid Dynamics.,” IFAC Conf. on Manufacturing Modeling, Management, and Control, pp. 181–186, 2007.
H. Ding, C. Sonntag, S. Engell, and O. Stursberg, “Hybrid Supervisory Control of a Solar Air Conditioning Plant.,” European Control Conference, pp. 5516–5521, 2007.
S. Kain, H. Ding, F. Schiller, and O. Stursberg, “Controller Architecture for Safe Cognitive Technical Systems.,” 26th Int. Conf. on Computer Safety, Reliability and Security, vol. 4680 of LNCS, pp. 518–531. Springer, 2007.
S. Lohmann, L. A. Dinh-Thi, T. H. Tran, O. Stursberg, and S. Engell, “Iterative Verfeinerung und Formalisierung von Spezifikationen im Kontext des systematischen Steuerungsentwurfs.,” GMA-Kongress, vol. 1980 of VDI-Ber., pp. 3–12, 2007.
S. Lohmann, L. A. Dinh-Thi, T. H. Tran, O. Stursberg, and S. Engell, “Iterative Specification Refinement in Deriving Logic Controllers.,” 17th Europ. Symp. on Computer-Aided Process Engineering, pp. 919–924, 2007.
C. Sonntag, A. Devanathan, S. Engell, and O. Stursberg, “Nichtlineare modellprädiktive Regelung eines Supermarkt-Kühlsystems mit hybrider Dynamik.,” GMA-Kongress, vol. 1980 of VDI-Ber., pp. 497–508, 2007.
S. Subbiah, S. Panek, S. Engell, and O. Stursberg, “Scheduling of Multiproduct Batch Plants using Reachability Analysis of Timed Automata Models.,” 4th Int. Conf. on Informatics in Control, Automation, and Robotics, pp. 141–148, 2007.
T. H. Tran, O. Stursberg, and S. Engell, “Controller Reconfiguration of Hybrid Systems with Uncertain Linear Dynamics.,” 1st IFAC Workshop on Dependable Control of Discrete Systems, pp. 247–252, 2007.
S. Panek, S. Engell, and O. Stursberg, “Scheduling and Planning with Timed Automata.,” 16th Europ. Symp. on Computer-Aided Process Engineering, pp. 1973–1978, 2006.
S. Panek, O. Stursberg, and S. Engell, “Efficient Synthesis of Production Schedules by Optimization of Timed Automata.,” Control Engineering Practice, vol. 14(10), pp. 1183–1197, 2006.
S. Lohmann, L. A. Dinh Thi, and O. Stursberg, “Design of verified logic control programs,” in Computer Aided Control System Design, 2006 IEEE International Conference on Control Applications, 2006 IEEE International Symposium on Intelligent Control, 2006 IEEE, IEEE, Ed. 2006, pp. 1855–1860.
S. Lohmann, O. Stursberg, and S. Engell, “Systematic Design of Logic Controllers for Processing Plants starting from Informal Specifications.,” 16th Europ. Symp. on Computer-Aided Process Engineering, pp. 1317–1322, 2006.
T. Tometzki, O. Stursberg, C. Sonntag, and S. Engell, “Optimization of Processes with Hybrid Dynamics by combining MPC with Genetic Algorithms.,” Int. IFAC Symp. on Advanced Control of Chemical Processes, p. n/a, 2006.
O. Stursberg, “Supervisory control of hybrid systems based on model abstraction and guided search,” Journal on Nonlinear Analysis - Hybrid Systems and Applications, vol. 65(6), no. 6, pp. 1168–1187, 2006.
O. Stursberg and T.-H. Tran, “Algorithmic and Abstraction-Based Design of Discrete Controllers for Hybrid Automata.,” at-Automatisierungstechnik, vol. 54, no. 9, pp. 450–458, 2006.
C. Sonntag, O. Stursberg, and S. Engell, “Dynamic Optimization of an Industrial Evaporator using Graph Search with Embedded Nonlinear Programming.,” 2nd IFAC Conf. on Analysis and Design of Hybrid Systems, pp. 211–216, 2006.
D. Jia, B. H. Krogh, and O. Stursberg, “LMI Approach to Robust Model Predictive Control.,” Journal of Optimization Theory and Applications, vol. 127(2), pp. 347–365, 2005.
O. Stursberg and S. Lohmann, “Synthesizing Safe Supervisory Controllers for Hybrid Nonlinear Systems.,” 17th IMACS World Congress on Mathematics and Computers in Simulation, pp. T5–I– 76–0654, 2005.
O. Stursberg, S. Lohmann, and S. Engell, “Improving Dependability of Logic Controllers by Algorithmic Verification.,” 16th IFAC World Congress, p. Mo–E17–TO/6, 2005.
O. Stursberg, “Synthesis of Supervisory Controllers for Hybrid Systems using Abstraction Refinement.,” 16th IFAC World Congress, p. We–M12–TO/2, 2005.
O. Stursberg and S. Engell, “Hybrid Control Techniques for the Design of Industrial Controllers,” in Decision and Control, 2005 and 2005 European Control Conference. CDC-ECC  ’05. 44th IEEE Conference on, European Control Conference, Ed. 2005, pp. 5612–5617.
O. Stursberg and S. Lohmann, “Analysis of Logic Controllers by Transformation of SFC into Timed Automata,” in Decision and Control, 2005 and 2005 European Control Conference. CDC-ECC  ’05. 44th IEEE Conference on, IEEE, Ed. 2005, pp. 7720–7725.
A. Balluchi, L. Benvenuti, S. Engell, T. Geyer, K. H. Johansson, F. Lamnabhi-Lagarrigue, J. Lygeros, M. Morari, G. Papafotiou, A. L. Sangiovanni-Vincentelli, F. Santucci, and O. Stursberg, “Hybrid Control of Networked Embedded Systems.,” European Journal of Control, Special Issue: Fundamental Issues in Control, vol. 11(4–5), pp. 478–508, 2005.
S. Engell, S. Lohmann, and O. Stursberg, “Verification of Embedded Supervisory Controllers Considering Hybrid Dynamics.,” Int. Journal of Software Engineering and Knowledge Engineering, vol. 15(2), pp. 307– 312, 2005.
S. Lohmann, O. Stursberg, and S. Engell, “Systematischer Entwurf von Steuerungen als Sequential Function Charts ausgehend von informalen Spezifikationen.,” GMA-Kongress, vol. 1883 of VDI-Ber., pp. 385–392, 2005.
S. Panek, O. Stursberg, and S. Engell, “Optimization of Timed Automata Models using Mixed-Integer Programming.,” Formal Modeling and Analysis of Timed Systems, vol. 2791 of LNCS, pp. 73–87, 2004.
O. Stursberg, A. Fehnker, Z. Han, and B. H. Krogh, “Verification of a Cruise Control System using Counterexample-Guided Search.,” Control Engineering Practice, vol. 12(10), pp. 1291–1303, 2004.
J. Till, S. Engell, S. Panek, and O. Stursberg, “Applied Hybrid System Optimization - An Empirical Investigation of Complexity.,” Control Engineering Practice, vol. 12(10), pp. 1269–1278, 2004.
S. Panek, O. Stursberg, and S. Engell, “Job-Shop Scheduling by Combining Reachability Analysis with Linear Programming.,” 7th Int. IFAC Workshop on Discrete Event Systems, pp. 199–204, 2004.
N. Bauer, S. Engell, R. Huuck, S. Lohmann, B. Lukoschus, M. P. Remelhe, and O. Stursberg, “Verification of PLC Programs given as Sequential Function Charts.,” Integration of Software Specification Techniques for Applications in Engineering, vol. 3147 of LNCS, pp. 517–540. Springer, 2004.
M. P. Remelhe, S. Lohmann, O. Stursberg, S. Engell, and N. Bauer, “Algorithmic Verification of Logic Controllers Given as Sequential Function Charts,” in Computer Aided Control Systems Design, 2004 IEEE International Symposium on, IEEE, Ed. 2004, pp. 53–58.
O. Stursberg, “A Graph Search Algorithm for Optimal Control of Hybrid Systems,” in Decision and Control, 2004. CDC. 43rd IEEE Conference on, vol. 2, IEEE, Ed. Nassau, Bahamas: IEEE, 2004, pp. 1412–1417.
O. Stursberg, “Dynamic Optimization of Processing Systems with Mixed Degrees of Freedom.,” 7th IFAC Symposium on Dynamics and Control of Process Systems, p. ID–164, 2004.
O. Stursberg and B. H. Krogh, “Efficient Representation and Computation of Reachable Sets for Hybrid Systems.,” Hybrid Systems - Computation and Control, vol. 2623 of LNCS, pp. 482–497. Springer, 2003.
E. Clarke, A. Fehnker, Z. Han, B. H. Krogh, O. Stursberg, and M. Theobald, “Verification of Hybrid Systems based on Counterexample-Guided Abstraction Refinement.,” Tools and Algorithms for the Construction and Analysis of Systems, vol. 2619 of LNCS, pp. 192–207. Springer, 2003.
E. Clarke, A. Fehnker, Z. Han, B. H. Krogh, J. Ouaknine, O. Stursberg, and M. Theobald, “Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems.,” Int. Journal Foundations of Computer Science, vol. 14(4), pp. 583–604, 2003.
J. Kapinski, O. Maler, O. Stursberg, and B. H. Krogh, “On Systematic Simulation of Open Continuous Systems.,” Hybrid Systems: Computation and Control, vol. 2623 of LNCS, pp. 283–297. Springer, 2003.
O. Stursberg, A. Fehnker, Z. Han, and B. H. Krogh, “Specification-Guided Analysis of Hybrid Systems Using a Hierarchy of Validation Methods.,” IFAC Conf. on Analysis and Design of Hybrid Systems, pp. 289–295, 2003.
J. Till, S. Engell, S. Panek, and O. Stursberg, “Empirical Complexity Analysis of an Approach for Mixed-Integer Optimization of Hybrid Systems.,” IFAC Conf. on Analysis and Design of Hybrid Systems, pp. 129–134, 2003.
O. Stursberg, S. Panek, J. Till, and S. Engell, “Generation of Optimal Control Policies for Systems with Switched Hybrid Dynamics.,” Modelling, Analysis, and Design of Hybrid Systems, vol. 279 of LNCIS, pp. 337–352. Springer, 2002.
O. Stursberg and S. Engell, “Optimal Control of Switched Continuous Systems Using Mixed-Integer Programming.,” 15th IFAC World Congress, pp. ThA06–4, 2002.
N. Bauer, S. Engell, M. Grüger, and O. Stursberg, “Modellbasierter Entwurf von Steuerungen für verfahrenstechnische Anlagen.,” Modelle, Werkzeuge und Infrastrukturen zur Unterstützung von Entwicklungsprozessen, pp. 197–210. Wiley–VCH, 2002.
G. Frehse, O. Stursberg, S. Engell, R. Huuck, and B. Lukoschus, “Modular Analysis of Discrete Controllers for Distributed Hybrid Systems.,” 15th IFAC World Congress, pp. ThE06–4, 2002.
O. Stursberg and S. Panek, “Control of Switched Hybrid Systems based on Disjunctive Formulations.,” Hybrid Systems: Computation and Control, vol. 2289 of LNCS, pp. 421–435. Springer, 2002.
H. Treseler and O. Stursberg, “Analyse zeitbewerteter Bedingung/Ereignis-Systeme durch Transformation in diskrete Automaten.,” 7. Tagung Engineering komplexer Automatisierungssysteme, pp. 205–223, 2001.
S. Yang, O. Stursberg, P. W. H. Chung, and S. Kowalewski, “Automatic Safety Analysis of Computer-Controlled Plants.,” Computers and Chemical Engineering, vol. 25(4–6), pp. 913–922, 2001.
H. Treseler, O. Stursberg, P. W. H. Chung, and S. Yang, “An Open Software Architecture for the Verification of Industrial Controllers.,” Journal of Universal Computer Science, vol. 7, pp. 37–53, 2001.
G. Frehse, O. Stursberg, S. Engell, R. Huuck, and B. Lukoschus, “Verification of Hybrid Controlled Processing ´Systems based on Decomposition and Deduction,” in Intelligent Control, 2001. (ISIC  ’01). Proceedings of the 2001 IEEE International Symposium on, http://ieeexplore.ieee.org/, Ed. 2001, pp. 150–155.
B. I. Silva, O. Stursberg, B. H. Krogh, and S. Engell, “An Assessment of the Current Status of Algorithmic Approaches to the Verification of Hybrid Systems,” in Decision and Control, 2001. Proceedings of the 40th IEEE Conference on, vol. 3, IEEE, Ed. 2001, pp. 2867–2874.
S. Kowalewski, O. Stursberg, and N. Bauer, “An Experimental Batch Plant as a Test Case for the Verification of Hybrid Systems,” European Journal of Control, vol. 7, no. 4, pp. 366–381, 2001.
O. Stursberg and S. Engell, “Optimized Start-Up Procedures of Processing Systems.,” 6th IFAC Symp. on Dynamics and Control, pp. 231–236, 2001.
S. Engell, S. Kowalewski, C. Schulz, and O. Stursberg, “Continuous-Discrete Interactions in Chemical Processing Plants,” Proceedings of the IEEE, vol. 88, pp. 1050–1068, 2000.
O. Stursberg, “Analysis of Switched Continuous Systems based on Discretization.,” 4th Int. Conf. on Automation of Mixed Processes,, pp. 73–78, 2000.
O. Stursberg, “Analyse gesteuerter verfahrenstechnischer Prozesse durch Diskretisierung.,” Shaker, p. n/a, 2000.
O. Stursberg, S. Kowalewski, and S. Engell, “On the Generation of Timed Discrete Approximations for Continuous Systems.,” Mathematical and Computer Models of Dynamical Systems, vol. 6, pp. 51–70, 2000.
O. Stursberg and S. Kowalewski, “Analysis of Controlled Hybrid Processing Systems based on Approximation by Timed Automata using Interval Arithmetics.,” IEEE Mediterranean Conf. on Control and Automation, p. TA–1–3, 2000.
S. Kowalewski, S. Engell, J. Preußig, and O. Stursberg, “Verification of Logic Controllers for Continuous Plants Using Timed Condition/Event-System Models.,” Automatica, vol. 25, pp. 505–528, 1999.
S. Kowalewski, O. Stursberg, M. Fritz, H. Graf, J. Preußig, S. Simon, and H. Treseler, “A Case Study in Tool-Aided Analysis of Discretely Controlled Continuous Systems: The Two-Tanks-Problem.,” Hybrid Systems V, vol. 1567 of LNCS, pp. 163–185. Springer, 1999.
J. Preußig, O. Stursberg, and S. Kowalewski, “Approximative Erreichbarkeitsanalyse für gesteuerte kontinuierliche Systeme.,” 6. Tagung Entwurf und Betrieb komplexer Automatisierungssysteme, vol. 1, pp. 219–232, 1999.
S. Kowalewski, N. Bauer, J. Preußig, O. Stursberg, and H. Treseler, “An environment for model-checking of logic control systems with hybrid dynamics,” in Computer Aided Control System Design, 1999. Proceedings of the 1999 IEEE International Symposium on, IEEE, Ed. Kohala Coast, HI, USA, USA: IEEE, 1999, pp. 97–102.
J. Preußig, O. Stursberg, and S. Kowalewski, “Reachability Analysis of a Class of Switched Continuous Systems by Integrating Rectangular Approximation and Rectangular Analysis. In,” Hybrid Systems - Computation and Control, vol. 1569 of LNCS, pp. 209–222. Springer, 1999.
O. Stursberg, S. Engell, and S. Kowalewski, “Timed Approximations of Hybrid Processes for Controller Verification.,” 14th IFAC World Congress, vol. J, pp. 73–78, 1999.
O. Stursberg and S. Kowalewski, “Approximating Switched Continuous Systems by Rectangular Automata.,” European Control Conference, pp. F1014–4, 1999.
S. Kowalewski, N. Bauer, J. Preußig, O. Stursberg, and H. Treseler, “An Open Tool Architecture for the Formal Verification of Logic Controllers in Processing Systems.,” 14th IFAC World Congress, vol. J, pp. 121–126, 1999.
S. Kowalewski, O. Stursberg, and H. Treseler, “Diskrete Modellierung verfahrenstechnischer Prozesse zur Steuerungsverifikation.,” at - Automatisierungstechnik, vol. 46, pp. 180–188, 1998.
S. Kowalewski and O. Stursberg, “The Batch-Evaporator: A Benchmark Example for Safety Analysis of Processing Systems under Logic Control.,” 4th Int. Workshop on Discrete Event Systems, pp. 302–307, 1998.
S. Kowalewski, J. Preußig, O. Stursberg, and H. Treseler, “Blockorientierte Modellierung und Verifikation von diskret gesteuerten kontinuierlichen Prozessen.,” GMA-Kongress, vol. 1397 / VDI-Reihe, pp. 335–342. VDI, 1998.
O. Stursberg, S. Kowalewski, J. Preußig, and H. Treseler, “Block-Diagram based Modelling and Analysis of Hybrid Processes under Discrete Control.,” Journal Européen des Systèmes Automatisés, vol. 32(9–10), pp. 1097–1118, 1998.
O. Stursberg, S. Kowalewski, J. Preußig, and H. Treseler, “Block-diagrambased Modeling and Analysis of Continuous Processes under Discrete Control.,” 3rd Int. Conf. on Automation of Mixed Processes, pp. 63–70, 1998.
O. Stursberg, H. Graf, S. Engell, and H. Schmidt-Traub, “A Concept for Safety Analysis of Chemical Plants based on Discrete Models with an Adapted Degree of Abstraction.,” 4th Int. Workshop on Discrete Event Systems, pp. 314–320, 1998.
S. Kowalewski, O. Stursberg, and H. Treseler, “Automatische Verifikation von SPS-Programmen auf der Basis von Prozessmodellen.,” Moderne Methoden des Regelungs- und Steuerungsentwurfes, pp. 198–204, 1997.
S. Kowalewski, O. Stursberg, and H. Treseler, “Rechnergestützte und modellbasierte Verifikation von SPS-Programmen f¨ur verfahrenstechnische Prozesse.,” GMA-Tagung Sicherheitstechnik und Automatisierung, vol. 1336 / VDI-Reihe, pp. 169–180. VDI, 1997.
O. Stursberg, S. Kowalewski, and S. Engell, “Generating Timed Discrete Models of Continuous Systems.,” 2nd IMACS Symp. on Mathematical Modeling, pp. 203–210, 1997.
O. Stursberg, S. Kowalewski, I. Hoffmann, and J. Preußig, “Comparing Timed and Hybrid Automata as Approximations of Continuous Systems.,” Hybrid Systems IV, vol. 1273 of LNCS, pp. 361–377. Springer, 1997.