The SCEAS System
Navigation Menu

Search the dblp DataBase


Olaf Stursberg: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Nanette Bauer, Sebastian Engell, Ralf Huuck, Sven Lohmann, Ben Lukoschus, Manuel Remelhe, Olaf Stursberg
    Verification of PLC Programs Given as Sequential Function Charts. [Citation Graph (0, 0)][DBLP]
    SoftSpez Final Report, 2004, pp:517-540 [Conf]
  2. Sebastian Panek, Olaf Stursberg, Sebastian Engell
    Optimization of Timed Automata Models Using Mixed-Integer Programming. [Citation Graph (0, 0)][DBLP]
    FORMATS, 2003, pp:73-87 [Conf]
  3. Jim Kapinski, Bruce H. Krogh, Oded Maler, Olaf Stursberg
    On Systematic Simulation of Open Continuous Systems. [Citation Graph (0, 0)][DBLP]
    HSCC, 2003, pp:283-297 [Conf]
  4. 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. [Citation Graph (0, 0)][DBLP]
    Hybrid Systems, 1997, pp:163-185 [Conf]
  5. Jörg Preußig, Olaf Stursberg, Stefan Kowalewski
    Reachability Analysis of a Class of Switched Continuous Systems by Integrating Rectangular Approximation and Rectangular Analysis. [Citation Graph (0, 0)][DBLP]
    HSCC, 1999, pp:209-222 [Conf]
  6. Olaf Stursberg, Bruce H. Krogh
    Efficient Representation and Computation of Reachable Sets for Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    HSCC, 2003, pp:482-497 [Conf]
  7. Olaf Stursberg, Stefan Kowalewski, Ingo Hoffmann, Jörg Preußig
    Comparing Timed and Hybrid Automata as Approximations of Continuous Systems. [Citation Graph (0, 0)][DBLP]
    Hybrid Systems, 1996, pp:361-377 [Conf]
  8. Olaf Stursberg, Sebastian Panek
    Control of Switched Hybrid Systems Based on Disjunctive Formulations. [Citation Graph (0, 0)][DBLP]
    HSCC, 2002, pp:421-435 [Conf]
  9. Edmund M. Clarke, Ansgar Fehnker, Zhi Han, Bruce H. Krogh, Olaf Stursberg, Michael Theobald
    Verification of Hybrid Systems Based on Counterexample-Guided Abstraction Refinement. [Citation Graph (0, 0)][DBLP]
    TACAS, 2003, pp:192-207 [Conf]
  10. 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. [Citation Graph (0, 0)][DBLP]
    Int. J. Found. Comput. Sci., 2003, v:14, n:4, pp:583-604 [Journal]
  11. Sebastian Engell, Sven Lohmann, Olaf Stursberg
    Verification of Embedded Supervisory Controllers Considering Hybrid Plant Dynamics. [Citation Graph (0, 0)][DBLP]
    International Journal of Software Engineering and Knowledge Engineering, 2005, v:15, n:2, pp:307-312 [Journal]
  12. Heinz Treseler, Olaf Stursberg, Paul W. H. Chung, Shuanghua Yang
    An Open Software Architecture for the Verification of Industrial Controllers. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2001, v:7, n:1, pp:37-53 [Journal]
  13. Subanatarajan Subbiah, Sebastian Panek, Sebastian Engell, Olaf Stursberg
    Scheduling of multi-product batch plants using reachability analysis of timed automata models. [Citation Graph (0, 0)][DBLP]
    ICINCO-ICSO, 2007, pp:141-148 [Conf]
  14. Sebastian Kain, Hao Ding, Frank Schiller, Olaf Stursberg
    Controller Architecture for Safe Cognitive Technical Systems. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2007, pp:518-531 [Conf]

  15. Efficient Planning of Autonomous Robots using Hierarchical Decomposition. [Citation Graph (, )][DBLP]

  16. Optimal path planning in the workspace for articulated robots using mixed integer programming. [Citation Graph (, )][DBLP]

  17. The Role of Implicit Context Information in Guiding Visual-Spatial Attention. [Citation Graph (, )][DBLP]

  18. Reachability analysis of nonlinear systems with uncertain parameters using conservative linearization. [Citation Graph (, )][DBLP]

  19. Distributed predictive control of communicating and platooning vehicles. [Citation Graph (, )][DBLP]

  20. Function approximation for the deterministic Hamilton-Jacobi-Bellman equation. [Citation Graph (, )][DBLP]

  21. Multiscale Anticipatory Behavior by Hierarchical Reinforcement Learning. [Citation Graph (, )][DBLP]

Search in 0.183secs, Finished in 0.184secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002