default search action
Olaf 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
Distributed State Estimation of Linear Systems With Randomly Switching Communication Graphs. IEEE Control. Syst. Lett. 8: 1781-1786 (2024) - [c96]Lukas Markolf, Olaf Stursberg:
Tailored Transformations for Constraint Satisfaction in Learning of Parametric Controllers for Nonlinear Systems. CoDIT 2024: 2893-2898 - [c95]Lukas Markolf, Arne Siewert, Olaf Stursberg:
Approximations of Optimal Control Laws for Constrained Piecewise Affine Systems by Deep Neural Networks. ECC 2024: 953-959 - [c94]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 - [c93]Tabea Trummel, Zonglin Liu, Olaf Stursberg:
Computing Bounds for the Synchronization Errors of Nonidentical Nonlinear Oscillators with Time-Varying Diffusive Coupling. ICINCO (1) 2024: 612-622 - [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
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
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
Efficient Fault Detection for Discrete-Time PWA Systems. IEEE Control. Syst. Lett. 6: 3361-3366 (2022) - [j25]Jannik Hahn
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
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
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
Model-predictive planning for autonomous vehicles anticipating intentions of vulnerable road users by artificial neural networks. SSCI 2017: 1-8 - 2016
- [j19]Dominic Gross
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ß
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
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ß
Event-Based Communication in Distributed Model Predictive Control. Autom. 61(7): 457-466 (2013) - [j16]Benjamin Passenberg, Peter E. Caines, Marion Leibold
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
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
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
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
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
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
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
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
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
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
Produktionssteuerung auf der Grundlage von Echtzeitautomaten (Production Scheduling Using Timed Automata). Autom. 56(4): 171-180 (2008) - [j11]Matthias Althoff, Olaf Stursberg
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
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
The Role of Implicit Context Information in Guiding Visual-Spatial Attention. ICVW 2008: 93-106 - 2007
- [j9]Frank Allgöwer
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
Comparison of Event-Triggered and Cycle-Driven Models for Verifying SFC Programs. ACC 2007: 3606-3611 - [c21]Matthias Althoff, Olaf Stursberg
Safety Assessment of Autonomous Cars using Verification Techniques. ACC 2007: 4154-4159 - [c20]Matthias Althoff, Olaf Stursberg
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
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
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
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
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
Specification-Guided Analysis of Hybrid Systems Using a Hierarchy of Validation Methods. ADHS 2003: 289-294 - [c10]Sebastian Panek, Olaf Stursberg
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
Efficient Representation and Computation of Reachable Sets for Hybrid Systems. HSCC 2003: 482-497 - [c7]Edmund M. Clarke, Ansgar Fehnker
Verification of Hybrid Systems Based on Counterexample-Guided Abstraction Refinement. TACAS 2003: 192-207 - 2002
- [c6]Olaf Stursberg
Control of Switched Hybrid Systems Based on Disjunctive Formulations. HSCC 2002: 421-435 - 2001
- [j4]Stefan Kowalewski, Olaf Stursberg
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
Approximating switched continuous systems by rectangular automata. ECC 1999: 3352-3357 - [c3]Jörg Preußig, Olaf Stursberg
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
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
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-12-13 20:06 CET 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: