default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDOlaf Stursberg
Person information
- affiliation: University of Kassel, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j30]Edwin Baum
, Zonglin Liu, Olaf Stursberg:
Distributed State Estimation of Linear Systems With Randomly Switching Communication Graphs. IEEE Control. Syst. Lett. 8: 1781-1786 (2024)- [c94]Lukas Markolf, Arne Siewert, Olaf Stursberg:
Approximations of Optimal Control Laws for Constrained Piecewise Affine Systems by Deep Neural Networks. ECC 2024: 953-959 - [c93]Nils Hanke, Zonglin Liu, Olaf Stursberg:
Approximation of Limit Cycles by Using Planar Switching Affine Systems with Guarantees for Uniqueness and Stability. ECC 2024: 1467-1472 - [i7]Martin Braun, Christian Gruhl, Christian A. Hans, Philipp Härtel, Christoph Scholz, Bernhard Sick, Malte Siefert, Florian Steinke, Olaf Stursberg, Sebastian Wende-von Berg:
Predictions and Decision Making for Resilient Intelligent Sustainable Energy Systems. CoRR abs/2407.03021 (2024) - 2023
- [j29]Jan Mast, Zonglin Liu, Zhenhua Wang, Olaf Stursberg:
A Unified Approach to Communication Delay and Communication Frequency in Distributed State Estimation of Linear Systems. IEEE Control. Syst. Lett. 7: 2755-2760 (2023) - [j28]Lukas Markolf, Olaf Stursberg:
Receding-Horizon Control of Constrained Switched Systems with Neural Networks as Parametric Function Approximators. SN Comput. Sci. 4(1): 62 (2023) - [c92]Lukas Markolf, Olaf Stursberg:
Tailored Output Layers of Neural Networks for Satisfaction of State Constraints in Nonlinear Control Systems. ACC 2023: 1881-1888 - [c91]Vincent Schmidtke, Zonglin Liu, Olaf Stursberg:
Resilience of Time-Varying Communication Graphs for Consensus of Changing Sets of Computing Agents. CDC 2023: 3474-3479 - [c90]Nils Hanke, Olaf Stursberg:
On the Design of Limit Cycles of Planar Switching Affine Systems. ECC 2023: 1-6 - [c89]Vincent Schmidtke, Marcel Rüger, Olaf Stursberg:
Model Predictive Control of PDEs for Temperature Control in 3D-Printing Processes. ECC 2023: 1-6 - [i6]Tabea Trummel, Zonglin Liu, Olaf Stursberg:
On Optimal Synchronization of Diffusively Coupled Heterogeneous Van der Pol Oscillators. CoRR abs/2303.15890 (2023) - [i5]Nils Hanke, Olaf Stursberg:
On the Design of Limit Cycles of Planar Switching Affine Systems. CoRR abs/2303.16505 (2023) - 2022
- [j27]Jannik Hahn, Olaf Stursberg:
Uncertain AoI in stochastic optimal control of constrained LTI systems. Autom. 70(4): 343-354 (2022) - [j26]Xinyang Liu, Zonglin Liu, Zhenhua Wang, Olaf Stursberg:
Efficient Fault Detection for Discrete-Time PWA Systems. IEEE Control. Syst. Lett. 6: 3361-3366 (2022) - [j25]Jannik Hahn, Richard Schöffauer, Gerhard Wunder, Olaf Stursberg:
Using AoI Forecasts in Communicating and Robust Distributed Model-Predictive Control. IEEE Trans. Control. Netw. Syst. 9(2): 742-752 (2022) - [c88]Zonglin Liu, Olaf Stursberg:
Distributed Solution of Mixed-Integer Programs by ADMM with Closed Duality Gap. CDC 2022: 279-286 - [c87]Zonglin Liu, Olaf Stursberg:
Distributed Optimization for Mixed-Integer Consensus in Multi-Agent Networks. ECC 2022: 2196-2202 - 2021
- [j24]Jannik Hahn, Olaf Stursberg:
Constrained stochastic predictive control of linear systems with uncertain communication. Autom. 69(9): 771-781 (2021) - [c86]Lukas Markolf, Olaf Stursberg:
Polytopic Input Constraints in Learning-Based Optimal Control Using Neural Networks. ECC 2021: 1018-1023 - [c85]Zonglin Liu, Olaf Stursberg:
Distributed Control of Networked Systems with Nonlinear Dynamics and Coupling Constraints. ECC 2021: 1945-1950 - [c84]Zonglin Liu, Olaf Stursberg:
Distributed Solution of MIQP Problems Arising for Networked Systems with Coupling Constraints. ECC 2021: 2420-2425 - [c83]Lukas Markolf, Olaf Stursberg:
Learning-based Optimal Control of Constrained Switched Linear Systems using Neural Networks. ICINCO 2021: 90-98 - [c82]Lukas Markolf, Olaf Stursberg:
Stability Analysis for State Feedback Control Systems Established as Neural Networks with Input Constraints. ICINCO 2021: 146-155 - [c81]Zonglin Liu, Muhammed Omayrat, Olaf Stursberg:
A Study on Model-based Optimization of Vaccination Strategies against Epidemic Virus Spread. ICINCO 2021: 630-637 - [c80]Jan Schneegans, Jan Eilbrecht, Stefan Zernetsch, Maarten Bieshaar, Konrad Doll, Olaf Stursberg, Bernhard Sick:
Probabilistic VRU Trajectory Forecasting for Model-Predictive Planning A Case Study: Overtaking Cyclists. IV Workshops 2021: 272-279 - [i4]Jannik Hahn, Richard Schöffauer, Gerhard Wunder, Olaf Stursberg:
Using AoI Forecasts in Communicating and Robust Distributed Model-Predictive Control. CoRR abs/2103.05526 (2021) - [i3]Jannik Hahn, Olaf Stursberg:
Uncertain AoI in Stochastic Optimal Control of Networked and Constrained LTI Systems. CoRR abs/2104.12435 (2021) - [i2]Lukas Markolf, Olaf Stursberg:
Polytopic Input Constraints in Learning-Based Optimal Control Using Neural Networks. CoRR abs/2105.03376 (2021)
2010 – 2019
- 2019
- [j23]Zonglin Liu, Olaf Stursberg:
Distributed control of networked systems with coupling constraints. Autom. 67(12): 1007-1018 (2019) - [j22]Jan Eilbrecht, Olaf Stursberg:
Hierarchical solution of non-convex optimal control problems with application to autonomous driving. Eur. J. Control 50: 188-197 (2019) - [c79]Jannik Hahn, Olaf Stursberg:
Robust Distributed MPC for Disturbed Affine Systems Using Predictions of Time-Varying Communication. ECC 2019: 56-62 - [c78]Zonglin Liu, Olaf Stursberg:
Recursive Feasibility and Stability of MPC with Time-Varying and Uncertain State Constraints. ECC 2019: 1766-1771 - [c77]Zonglin Liu, Olaf Stursberg:
Efficient Optimal Control of Hybrid Systems with Conditioned Transitions. ICCA 2019: 223-230 - [c76]Moritz Theißen, Olaf Stursberg:
Distributed Model Predictive Control of Wind Farms for Short-Term Grid Support. ISGT Europe 2019: 1-5 - [c75]Jan Eilbrecht, Olaf Stursberg:
Reducing Computation Times for Planning of Reference Trajectories in Cooperative Autonomous Driving. IV 2019: 146-152 - 2018
- [j21]Zonglin Liu, Olaf Stursberg:
Optimierungsbasierte Regelung und Steuerung Hybrid-Dynamischer Systeme. Autom. 66(11): 928-938 (2018) - [c74]Zonglin Liu, Olaf Stursberg:
Optimal Trajectory Planning of Hybrid Systems by Efficient MIQP Encoding. CDC 2018: 1548-1553 - [c73]Jan Eilbrecht, Olaf Stursberg:
Optimization-Based Maneuver Automata for Cooperative Trajectory Planning of Autonomous Vehicles. ECC 2018: 82-88 - [c72]Zonglin Liu, Olaf Stursberg:
Optimizing Online Control of Constrained Systems with Switched Dynamics. ECC 2018: 788-794 - [i1]Jannik Hahn, Richard Schöffauer, Gerhard Wunder, Olaf Stursberg:
Distributed MPC with Prediction of Time-Varying Communication Delay. CoRR abs/1809.05277 (2018) - 2017
- [j20]Olaf Stursberg, Christian Hillmann:
Decentralized Optimal Control of Distributed Interdependent Automata With Priority Structure. IEEE Trans Autom. Sci. Eng. 14(2): 785-796 (2017) - [c71]Bastian Schürmann, Daniel Hess, Jan Eilbrecht, Olaf Stursberg, Frank Köster, Matthias Althoff:
Ensuring drivability of planned motions using formal methods. ITSC 2017: 1-8 - [c70]Jan Eilbrecht, Olaf Stursberg:
Cooperative driving using a hierarchy of mixed-integer programming and tracking control. Intelligent Vehicles Symposium 2017: 673-678 - [c69]Jan Eilbrecht, Maarten Bieshaar, Stefan Zernetsch, Konrad Doll, Bernhard Sick, Olaf Stursberg:
Model-predictive planning for autonomous vehicles anticipating intentions of vulnerable road users by artificial neural networks. SSCI 2017: 1-8 - 2016
- [j19]Dominic Gross, Olaf Stursberg:
A Cooperative Distributed MPC Algorithm With Event-Based Communication and Parallel Optimization. IEEE Trans. Control. Netw. Syst. 3(3): 275-285 (2016) - [c68]Dominic Groß, Olaf Stursberg:
A relaxed lyapunov condition for input-to-state stability of discrete-time nonlinear systems. CDC 2016: 1340-1345 - [c67]Damian Kontny, Olaf Stursberg:
Fast optimizing control for non-convex state constraints using homotopy properties. CDC 2016: 4894-4900 - [c66]Martin Jilg, Olaf Stursberg:
Hierarchical distributed control of a class of interconnected jump Semi-Markov linear systems. ECC 2016: 236-242 - [c65]Jens Tonne, Olaf Stursberg:
Constraint robust model predictive control for jump Markov linear systems with additive disturbances. ECC 2016: 1315-1321 - [c64]Leonhard Asselborn, Olaf Stursberg:
Probabilistic control of switched linear systems with chance constraints. ECC 2016: 2041-2047 - [c63]Hannes Rewald, Olaf Stursberg:
Cooperation of autonomous vehicles using a hierarchy of auction-based and model-predictive control. Intelligent Vehicles Symposium 2016: 1078-1084 - 2015
- [c62]Leonhard Asselborn, Olaf Stursberg:
Robust Control of Uncertain Switched Linear Systems based on Stochastic Reachability. ADHS 2015: 310-316 - [c61]Jens Tonne, Martin Jilg, Olaf Stursberg:
Constrained model predictive control of high dimensional Jump Markov linear systems. ACC 2015: 2993-2998 - [c60]Martin Jilg, Jens Tonne, Olaf Stursberg:
Design of distributed ℋ∞-optimized controllers considering stochastic communication link failures. ACC 2015: 3540-3545 - [c59]Christian Hillmann, Olaf Stursberg:
Decentralized control of distributed discrete event systems with linear dependency structure. CASE 2015: 551-557 - 2014
- [j18]Benjamin Passenberg, Marion Leibold, Olaf Stursberg, Martin Buss:
A Globally Convergent, Locally Optimal Min-H Algorithm for Hybrid Optimal Control. SIAM J. Control. Optim. 52(1): 718-746 (2014) - [c58]Martin Jilg, Olaf Stursberg:
On the computation of local quadratic performance indices for hierarchically interconnected systems. ECC 2014: 1574-1581 - 2013
- [j17]Dominic Groß, Martin Jilg, Olaf Stursberg:
Event-Based Communication in Distributed Model Predictive Control. Autom. 61(7): 457-466 (2013) - [j16]Benjamin Passenberg, Peter E. Caines, Marion Leibold, Olaf Stursberg, Martin Buss:
Optimal Control for Hybrid Systems With Partitioned State Space. IEEE Trans. Autom. Control. 58(8): 2131-2136 (2013) - [c57]Dominic Gross, Olaf Stursberg:
On the convergence rate of a Jacobi algorithm for Cooperative Distributed MPC. CDC 2013: 1508-1513 - [c56]Dominic Gross, Martin Jilg, Olaf Stursberg:
Design of distributed controllers and communication topologies considering link failures. ECC 2013: 3288-3292 - [c55]Martin Jilg, Olaf Stursberg:
Optimized distributed control and topology design for hierarchically interconnected systems. ECC 2013: 4340-4346 - [c54]Leonhard Asselborn, Dominic Gross, Olaf Stursberg:
Control of Uncertain Nonlinear Systems Using Ellipsoidal Reachability Calculus. NOLCOS 2013: 50-55 - 2012
- [c53]Leonhard Asselborn, Martin Jilg, Olaf Stursberg:
Control of Uncertain Hybrid Nonlinear Systems Using Particle Filters. ADHS 2012: 436-441 - [c52]Matthias Rungger, Olaf Stursberg:
On-the-fly model abstraction for controller synthesis. ACC 2012: 2645-2650 - [c51]Olaf Stursberg:
Hierarchical and distributed discrete event control of manufacturing processes. ETFA 2012: 1-8 - 2011
- [c50]Hao Ding, Gunther Reissig, Dominic Gross, Olaf Stursberg:
Mixed-integer programming for optimal path planning of robotic manipulators. CASE 2011: 133-138 - [c49]Hao Ding, Gunther Reissig, Olaf Stursberg:
Increasing efficiency of optimization-based path planning for robotic manipulators. CDC/ECC 2011: 1399-1404 - [c48]Benjamin Passenberg, Marion Leibold, Olaf Stursberg, Martin Buss:
The minimum principle for time-varying hybrid systems with state switching and jumps. CDC/ECC 2011: 6723-6729 - [c47]Dominic Gross, Olaf Stursberg:
Optimized distributed control and network topology design for interconnected systems. CDC/ECC 2011: 8112-8117 - [c46]Hao Ding, Kurniawan Wijaya, Gunther Reißig, Olaf Stursberg:
Optimizing Motion of Robotic Manipulators in Interaction with Human Operators. ICIRA (1) 2011: 520-531 - [c45]Hao Ding, Gunther Reissig, Kurniawan Wijaya, Dino Bortot, Klaus Bengler, Olaf Stursberg:
Human arm motion modeling and long-term prediction for safe and efficient Human-Robot-Interaction. ICRA 2011: 5875-5880 - 2010
- [j15]Johannes Dold, Olaf Stursberg:
Robuste modellprädiktive Regelung kommunizierender Fahrzeugkolonnen (Robust Predictive Control of Platooning Vehicles Using Communication). Autom. 58(4): 207-216 (2010) - [j14]Olaf Stursberg, Tina Paschedag, Matthias Rungger, Hao Ding:
Hierarchische Modellierung und Regelung hybrider Systeme auf zwei Ebenen (Hierarchical Modeling and Control of Hybrid Systems with Two Layers). Autom. 58(8): 458-467 (2010) - [c44]Hao Ding, Georg Schnattinger, Benjamin Passenberg, Olaf Stursberg:
Improving motion of robotic manipulators by an embedded optimizer. CASE 2010: 204-209 - [c43]Matthias Rungger, Olaf Stursberg:
Continuity of the value function for exit time optimal control problems of hybrid systems. CDC 2010: 4210-4215 - [c42]Benjamin Passenberg, Marion Sobotka, Olaf Stursberg, Martin Buss, Peter E. Caines:
An algorithm for discrete state sequence and trajectory optimization for hybrid systems with partitioned state space. CDC 2010: 4223-4229 - [c41]Benjamin Passenberg, Peter E. Caines, Marion Sobotka, Olaf Stursberg, Martin Buss:
The minimum principle for hybrid systems with partitioned state space and unspecified discrete state sequence. CDC 2010: 6666-6673 - [c40]Herbert Mangesius, Marion Sobotka, Olaf Stursberg:
Solution of a multi-agent transport problem by hybrid optimization. WODES 2010: 432-437
2000 – 2009
- 2009
- [j13]Matthias Althoff, Olaf Stursberg, Martin Buss:
Model-Based Probabilistic Collision Detection in Autonomous Driving. IEEE Trans. Intell. Transp. Syst. 10(2): 299-310 (2009) - [c39]Tina Paschedag, Michael Fall, Olaf Stursberg:
Optimizing Hybrid Control Trajectories by Model abstraction and Refinement. ADHS 2009: 298-303 - [c38]Benjamin Passenberg, Olaf Stursberg:
Graph Search for Optimizing the Discrete Location Sequence in Hybrid Optimal Control. ADHS 2009: 304-309 - [c37]Matthias Rungger, Olaf Stursberg:
Optimal Control for Deterministic Hybrid Systems using Dynamic Programming. ADHS 2009: 316-321 - [c36]Johannes Dold, Olaf Stursberg:
Distributed predictive control of communicating and platooning vehicles. CDC 2009: 561-566 - [c35]Matthias Rungger, Olaf Stursberg:
Function approximation for the deterministic Hamilton-Jacobi-Bellman equation. CDC 2009: 2268-2273 - [c34]Matthias Althoff, Olaf Stursberg, Martin Buss:
Safety assessment for stochastic linear systems using enclosing hulls of probability density functions. ECC 2009: 625-630 - [c33]Johannes Dold, Olaf Stursberg:
A communication-based distributed model predictive control scheme with time-varying consistency constraints. ECC 2009: 2343-2348 - [c32]Tina Paschedag, Matthias Rungger, Hao Ding, Olaf Stursberg:
Hierarchical hybrid modeling and control of flexible manufacturing systems. ECC 2009: 4931-4936 - [c31]Benjamin Passenberg, Peter Kock, Olaf Stursberg:
Combined time and fuel optimal driving of trucks based on a hybrid model. ECC 2009: 4955-4960 - [c30]Hao Ding, Sebastian Kain, Frank Schiller, Olaf Stursberg:
Cognitive safety control for human-machine interaction. ECC 2009: 5021-5026 - [c29]Hao Ding, Mingxiang Zhou, Olaf Stursberg:
Optimal path planning in the workspace for articulated robots using mixed integer programming. IROS 2009: 5770-5775 - 2008
- [j12]Sebastian Panek, Olaf Stursberg, Sebastian Engell:
Produktionssteuerung auf der Grundlage von Echtzeitautomaten (Production Scheduling Using Timed Automata). Autom. 56(4): 171-180 (2008) - [j11]Matthias Althoff, Olaf Stursberg, Martin Buss:
Sicherheitsbewertung von Fahrstrategien kognitiver Automobile (Safety Assessment of Driving Strategies of Cognitive Cars). Autom. 56(12): 653-661 (2008) - [j10]Sebastian Panek, Sebastian Engell, Subanatarajan Subbiah, Olaf Stursberg:
Scheduling of multi-product batch plants based upon timed automata models. Comput. Chem. Eng. 32(1-2): 275-291 (2008) - [c28]Matthias Rungger, Hao Ding, Olaf Stursberg:
Multiscale Anticipatory Behavior by Hierarchical Reinforcement Learning. ABiALS 2008: 301-320 - [c27]Franziska Adamek, Marion Sobotka, Olaf Stursberg:
Stochastic optimal control for hybrid systems with uncertain discrete dynamics. CASE 2008: 23-28 - [c26]Matthias Althoff, Olaf Stursberg, Martin Buss:
Reachability analysis of nonlinear systems with uncertain parameters using conservative linearization. CDC 2008: 4042-4048 - [c25]Matthias Rungger, Olaf Stursberg, Bernd Spanfelner, Christian Leuxner, Wassiou Sitou:
Efficient Planning of Autonomous Robots using Hierarchical Decomposition. ICINCO-RA (1) 2008: 262-267 - [c24]Andrea Schankin, Olaf Stursberg, Anna Schubö:
The Role of Implicit Context Information in Guiding Visual-Spatial Attention. ICVW 2008: 93-106 - 2007
- [j9]Frank Allgöwer, Georg Bretthauer, Ulrich Konigorski, Olaf Stursberg:
Theorie der Automatisierungstechnik. Autom. 55(5): 256-259 (2007) - [c23]Christian Sonntag, Arvind Devanathan, Sebastian Engell, Olaf Stursberg:
Hybrid Nonlinear Model-Predictive Control of a Supermarket Refrigeration System. CCA 2007: 1432-1437 - [c22]Sven Lohmann, Olaf Stursberg, Sebastian Engell:
Comparison of Event-Triggered and Cycle-Driven Models for Verifying SFC Programs. ACC 2007: 3606-3611 - [c21]Matthias Althoff, Olaf Stursberg, Martin Buss:
Safety Assessment of Autonomous Cars using Verification Techniques. ACC 2007: 4154-4159 - [c20]Matthias Althoff, Olaf Stursberg, Martin Buss:
Reachability analysis of linear systems with uncertain parameters and inputs. CDC 2007: 726-732 - [c19]Subanatarajan Subbiah, Sebastian Panek, Sebastian Engell, Olaf Stursberg:
Scheduling of multi-product batch plants using reachability analysis of timed automata models. ICINCO-ICSO 2007: 141-148 - [c18]Sebastian Kain, Hao Ding, Frank Schiller, Olaf Stursberg:
Controller Architecture for Safe Cognitive Technical Systems. SAFECOMP 2007: 518-531 - 2006
- [j8]Olaf Stursberg, Thanh Ha Tran:
Algorithmic and Abstraction-Based Design of Discrete Controllers for Hybrid Automata (Algorithmischer und abstraktionsbasierter Entwurf diskreter Steuerungen für hybride Automaten). Autom. 54(9): 450-458 (2006) - [c17]Christian Sonntag, Olaf Stursberg, Sebastian Engell:
Dynamic Optimization of an Industrial evaporator using Graph Search with Embedded nonlinear Programming. ADHS 2006: 211-216 - 2005
- [j7]Andrea Balluchi, Luca Benvenuti, Sebastian Engell, Tobias Geyer, Karl Henrik Johansson, Françoise Lamnabhi-Lagarrigue, John Lygeros, Manfred Morari, Georgios Papafotiou, Alberto L. Sangiovanni-Vincentelli, Fortunato Santucci, Olaf Stursberg:
Hybrid Control of Networked Embedded Systems. Eur. J. Control 11(4-5): 478-508 (2005) - [j6]Sebastian Engell, Sven Lohmann, Olaf Stursberg:
Verification of Embedded Supervisory Controllers Considering Hybrid Plant Dynamics. Int. J. Softw. Eng. Knowl. Eng. 15(2): 307-312 (2005) - [c16]Sebastian Engell, Olaf Stursberg:
Hybrid Control Techniques for the Design of Industrial Controllers. CDC/ECC 2005: 5612-5617 - [c15]Olaf Stursberg, Sven Lohmann:
Analysis of Logic Controllers by Transformation of SFC into Timed Automata. CDC/ECC 2005: 7720-7725 - 2004
- [c14]Olaf Stursberg:
A graph search algorithm for optimal control of hybrid systems. CDC 2004: 1412-1417 - [c13]Nanette Bauer, Sebastian Engell, Ralf Huuck, Sven Lohmann, Ben Lukoschus, Manuel Remelhe, Olaf Stursberg:
Verification of PLC Programs Given as Sequential Function Charts. SoftSpez Final Report 2004: 517-540 - 2003
- [j5]Edmund M. Clarke, Ansgar Fehnker, Zhi Han, Bruce H. Krogh, Joël Ouaknine, Olaf Stursberg, Michael Theobald:
Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems. Int. J. Found. Comput. Sci. 14(4): 583-604 (2003) - [c12]Jochen Till, Sebastian Engell, Sebastian Panek, Olaf Stursberg:
Empirical Complexity Analysis of a MILP-Approach for Optimization of Hybrid Systems. ADHS 2003: 129-134 - [c11]Olaf Stursberg, Ansgar Fehnker, Zhi Han, Bruce H. Krogh:
Specification-Guided Analysis of Hybrid Systems Using a Hierarchy of Validation Methods. ADHS 2003: 289-294 - [c10]Sebastian Panek, Olaf Stursberg, Sebastian Engell:
Optimization of Timed Automata Models Using Mixed-Integer Programming. FORMATS 2003: 73-87 - [c9]James Kapinski, Bruce H. Krogh, Oded Maler, Olaf Stursberg:
On Systematic Simulation of Open Continuous Systems. HSCC 2003: 283-297 - [c8]Olaf Stursberg, Bruce H. Krogh:
Efficient Representation and Computation of Reachable Sets for Hybrid Systems. HSCC 2003: 482-497 - [c7]Edmund M. Clarke, Ansgar Fehnker, Zhi Han, Bruce H. Krogh, Olaf Stursberg, Michael Theobald:
Verification of Hybrid Systems Based on Counterexample-Guided Abstraction Refinement. TACAS 2003: 192-207 - 2002
- [c6]Olaf Stursberg, Sebastian Panek:
Control of Switched Hybrid Systems Based on Disjunctive Formulations. HSCC 2002: 421-435 - 2001
- [j4]Stefan Kowalewski, Olaf Stursberg, Nanette Bauer:
An Experimental Batch Plant as a Test Case for the Verification of Hybrid Systems. Eur. J. Control 7(4): 366-381 (2001) - [j3]Heinz Treseler, Olaf Stursberg, Paul Wai Hing Chung, Shuang-Hua Yang:
An Open Software Architecture for the Verification of Industrial Controllers. J. Univers. Comput. Sci. 7(1): 37-53 (2001) - [c5]B. Izaias Silva, Olaf Stursberg, Bruce H. Krogh, Sebastian Engell:
An assessment of the current status of algorithmic approaches to the verification of hybrid systems. CDC 2001: 2867-2874 - 2000
- [j2]Sebastian Engell, Stefan Kowalewski, Christian Schulz, Olaf Stursberg:
Continuous-discrete interactions in chemical processing plants. Proc. IEEE 88(7): 1050-1068 (2000)
1990 – 1999
- 1999
- [j1]Stefan Kowalewski, Sebastian Engell, Jörg Preußig, Olaf Stursberg:
Verification of logic controllers for continuous plants using timed condition/event-system models. Autom. 35(3): 505-518 (1999) - [c4]Olaf Stursberg, Stefan Kowalewski:
Approximating switched continuous systems by rectangular automata. ECC 1999: 3352-3357 - [c3]Jörg Preußig, Olaf Stursberg, Stefan Kowalewski:
Reachability Analysis of a Class of Switched Continuous Systems by Integrating Rectangular Approximation and Rectangular Analysis. HSCC 1999: 209-222 - 1997
- [c2]Stefan Kowalewski, Olaf Stursberg, Martin Fritz, Holger Graf, Ingo Hoffmann, Jörg Preußig, Manuel Remelhe, Silke Simon, Heinz Treseler:
A Case Study in Tool-Aided Analysis of Discretely Controlled Continuous Systems: The Two Tanks Problem. Hybrid Systems 1997: 163-185 - 1996
- [c1]Olaf Stursberg, Stefan Kowalewski, Ingo Hoffmann, Jörg Preußig:
Comparing Timed and Hybrid Automata as Approximations of Continuous Systems. Hybrid Systems 1996: 361-377
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-01 20:46 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
