EECS - Veroeffentlichungen Stursberg

Publications Prof. Stursberg

N. Hanke, Z. Liu, and O. Stursberg, “Approximation of Limit Cycles by Using Planar Switching Affine Systems with Guarantees for Uniqueness and Stability,” Proceedings of the 2024 European Control Conference, vol. 2024, pp. 1460–1465, 2024.
L. Markolf and O. Stursberg, “Tailored Transformations for Constraint Satisfaction in Learning of Parametric Controllers for NonlinearSystems,” in 10th International Conference on Control, Decision, and Information Technologies : CoDIT 2024, July 01-04, 2024 - Valletta, Malta, IEEE, Ed. Valletta, Malta: IEEE, 2024, p. TBD.
J. Eilbrecht and O. Stursberg, “Hierarchical Motion Planning for Consistent and Safe Decisions in Cooperative Autonomous Driving.,” in Cooperatively Interacting Vehicles: Methods and Effects of Automated Cooperation in Traffic, C. Stiller, M. Althoff, C. Burger, B. Deml, L. Eckstein, and F. Flemisch, Eds. Karlsruhe: Springer International Publishing, 2024, pp. 303–320.
M. Braun, C. Gruhl, C. A. Hans, P. Härtel, C. Scholz, B. Sick, M. Siefert, F. Steinke, O. Stursberg, and S. Wende-von Berg, “Predictions and Decision Making for Resilient Intelligent Sustainable Energy Systems,” in ISGT Europe, IEEE, Ed. Dubrovnik, Croatia, 2024, p. TBD.
T. Trummel, Z. Liu, and O. Stursberg, “Computing Bounds for the Synchronization Errors of Nonidentical Nonlinear Oscillators with Time-Varying Diffusive Coupling,” in 21st International Conference on Informatics in Control, Automation and Robotics (Porto, Portugal. 18-20 November, 2024), vol. 1, INSTICC, Ed. Steubal, Portugal: SciTePress, 2024, pp. 612–622.
L. Markolf, A. Siewert, and O. Stursberg, “Approximations of Optimal Control Laws for Constrained Piecewise Affine Systems by Deep Neural Networks,” 2024 European Control Conference, vol. 2024, pp. 946–952, 2024.
V. Schmidtke, R. K. Al-Maqdad, and O. Stursberg, “Maintaining Strong Structural Controllability for Multi-Agent Systems with Varying Number of Agents,” 63nd IEEE Conference on Decision and Control, 2024. Mailand, p. TBD, 2024.
E. Baum, Z. Liu, and O. Stursberg, “Distributed State Estimation of Linear Systems With Randomly Switching Communication Graphs,” IEEE Control Systems Letters, vol. 8, pp. 1781–1786, 2024.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
Z. Liu and O. Stursberg, “Distributed Optimization for Mixed-Integer Consensus in Multi-Agent Networks,” 2022 European Control Conference, pp. 2196–2202, 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 and O. Stursberg, “Uncertain AoI in stochastic optimal control of constrained LTI systems,” at-Automatisierungstechnik, vol. 70(4), pp. 343–354, 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.
Z. Liu and O. Stursberg, “Efficient Solution of Distributed MIP in Control of Networked Systems,” Proc. in Applied Mathematics and Mechanics (PAMM), vol. 20, no. 1, p. e202000160, 2021.
Z. Liu and O. Stursberg, “Distributed Solution of MIQP Problems Arising for Networked Systems with Coupling Constraints,” in 2021 European Control Conference (ECC) , Institute of Electrical and Electronics Engineers -IEEE-, Ed. New York, 2021, pp. 2420–2425.
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.
L. Markolf and O. Stursberg, “Polytopic Input Constraints in Learning-Based Optimal Control Using Neural Networks,” Proc. European Control Conference, pp. 1018–1023, 2021.
J. Hahn and O. Stursberg, “Constrained Stochastic Predictive Control of Linear Systems with Uncertain Communication,” 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, “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, 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.
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.
P. Flues and O. Stursberg, “Online Control of Affine Systems in Stochastically Modeled Contexts.,” IFAC-PapersOnline, vol. 53(2), pp. 3416–3422, 2020.
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.
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.
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, “Challenges of Trajectory Planning with Integrator Models on Curved Roads.,” IFAC-PapersOnline, vol. 53(2), pp. 15797–15804, 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.
J. Hahn and O. Stursberg, “Balanced Stochastic Optimal Control of Uncertain Linear Systems with Constraints.,” IFAC-PapersOnline, vol. 53(2), pp. 7254–7260, 2020.
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.
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 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.
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.
Z. Liu and O. Stursberg, “Optimizing Online Control of Constrained Systems with Switched Dynamics.,” Proc. European Control Conference, pp. 82–88, 2018.
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.
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, “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.
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. Tonne and O. Stursberg, “Fast Robust Model Predictive Control for Nonlinear Jump Markov Systems,” IFAC-PapersOnline, vol. 50, no. 1, pp. 9342–9348, 2017.
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. 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.
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.
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.
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 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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
D. Groß and O. Stursberg, “Distributed Predictive Control of Communicating and Constrained Systems,” ZAMM, vol. 94, no. 4, pp. 303–316, 2014.
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.
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.
D. Groß, M. Jilg, and O. Stursberg, “Event-Based Communication in Distributed Model Predictive Control,” Automatisierungstechnik, vol. 61, no. 7, pp. 457–466, 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.
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.
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.
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.
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, “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.
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.
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.
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.
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. .
M. Rungger and O. Stursberg, “On-the-fly Model Abstraction for Controller Synthesis,” 2012 American Control Conference (ACC 2012), pp. 2645–2650, 2012.
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.
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.
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. 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.
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. 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.
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. 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.
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.
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.
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.
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.
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. 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.
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.
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.
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.
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.
O. Stursberg, T. Paschedag, M. Rungger, and H. Ding, “Hierarchische Modellierung und Regelung hybrider Systeme auf zwei Ebenen,” Automatisierungstechnik, vol. 58, no. 8, p. 478, 2010.
J. Dold and O. Stursberg, “Robuste modellprädiktive Regelung kommunizierender Fahrzeugkolonnen,” Automatisierungstechnik, vol. 58, no. 4, pp. 207–216, 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. .
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.
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. 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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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. 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, “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.,” 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, no. 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.
S. Panek, O. Stursberg, and S. Engell, “Produktionssteuerung auf der Grundlage von Echtzeitautomaten (Production Scheduling Using Timed Automata).,” Automatisierungstechnik, vol. 56(4), pp. 171–180, 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.
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. Althoff, O. Stursberg, and M. Buss, “Safety Assessment of Driving Strategies of Cognitive Cars,” Automatisierungstechnik, vol. 56, pp. 653–661, 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.
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.
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.
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.
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, 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.
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.
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.
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. 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.
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.
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.
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.
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.
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.
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.
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.
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.
O. Stursberg and T.-H. Tran, “Algorithmic and Abstraction-Based Design of Discrete Controllers for Hybrid Automata.,” Automatisierungstechnik, vol. 54, no. 9, pp. 450–458, 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.
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.
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. 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. 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.
D. Jia, B. H. Krogh, and O. Stursberg, “LMI Approach to Robust Model Predictive Control.,” Journal of Optimization Theory and Applications, vol. 127, no. 2, pp. 347–365, 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.
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.
O. Stursberg, “Synthesis of Supervisory Controllers for Hybrid Systems using Abstraction Refinement.,” 16th IFAC World Congress, p. We–M12–TO/2, 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 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.
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.
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.
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.
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, “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, 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.
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.
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.
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.
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.
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.
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.
O. Stursberg and S. Engell, “Optimal Control of Switched Continuous Systems Using Mixed-Integer Programming.,” 15th IFAC World Congress, pp. ThA06–4, 2002.
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.
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.
H. Treseler and O. Stursberg, “Analyse zeitbewerteter Bedingung/Ereignis-Systeme durch Transformation in diskrete Automaten.,” 7. Tagung Engineering komplexer Automatisierungssysteme, pp. 205–223, 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.
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.
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.
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.
O. Stursberg and S. Engell, “Optimized Start-Up Procedures of Processing Systems.,” 6th IFAC Symp. on Dynamics and Control, pp. 231–236, 2001.
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, 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, “Analyse gesteuerter verfahrenstechnischer Prozesse durch Diskretisierung.,” Shaker, p. n/a, 2000.
O. Stursberg, “Analysis of Switched Continuous Systems based on Discretization.,” 4th Int. Conf. on Automation of Mixed Processes,, pp. 73–78, 2000.
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 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, 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, 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.
O. Stursberg and S. Kowalewski, “Approximating Switched Continuous Systems by Rectangular Automata.,” European Control Conference, pp. F1014–4, 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.
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.
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, 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.
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.
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.
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.
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, O. Stursberg, and H. Treseler, “Diskrete Modellierung verfahrenstechnischer Prozesse zur Steuerungsverifikation.,” Automatisierungstechnik, vol. 46, pp. 180–188, 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.
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, 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.
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.