Univ.-Prof. Olaf Stursberg - Forschungsinformationssystem | Universität Kassel - CONVERIS Forschungsinformationsystem

Go to Header Go to Navigation Go to Content Go to Footer

Prof. Dr.-Ing. Olaf Stursberg

Forschungsfelder

Elektrotechnik und Informationstechnik

Projektbeteiligungen

2019 - 2021	Digitalisierung in der Werkstofftechnik (DigiWerk)
09/2017 - 03/2021	Wie zelluläre Uhren biologische Funktionen steuern

Publikationen

Go to first page

Go to previous page

21 von 25

Go to next page

Go to last page

2004	Panek, S., Stursberg, O., Engell, S., 2004. Job-Shop Scheduling by Combining Reachability Analysis with Linear Programming. 7th Int. IFAC Workshop on Discrete Event Systems 199–204. https://doi.org/10.1016/S1474-6670(17)30745-0
2004	Panek, S., Stursberg, O., Engell, S., 2004. Optimization of Timed Automata Models using Mixed-Integer Programming. Formal Modeling and Analysis of Timed Systems 2791 of LNCS, 73–87. https://doi.org/10.1007/978-3-540-40903-8_7
2004	Stursberg, O., Fehnker, A., Han, Z., Krogh, B.H., 2004. Verification of a Cruise Control System using Counterexample-Guided Search. Control Engineering Practice 12(10), 1291–1303. https://doi.org/10.1016/j.conengprac.2004.04.002
2004	Bauer, N., Engell, S., Huuck, R., Lohmann, S., Lukoschus, B., Remelhe, M.P., Stursberg, O., 2004. Verification of PLC Programs given as Sequential Function Charts. Integration of Software Specification Techniques for Applications in Engineering 3147 of LNCS, 517–540. Springer. https://doi.org/10.1007/978-3-540-27863-4_28
2003	Clarke, E., Fehnker, A., Han, Z., Krogh, B.H., Ouaknine, J., Stursberg, O., Theobald, M., 2003. Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems. Int. Journal Foundations of Computer Science 14(4), 583–604. https://doi.org/10.1142/S012905410300190X
2003	Stursberg, O., Krogh, B.H., 2003. Efficient Representation and Computation of Reachable Sets for Hybrid Systems. Hybrid Systems - Computation and Control 2623 of LNCS, 482–497. Springer. https://doi.org/10.1007/3-540-36580-x_35
2003	Till, J., Engell, S., Panek, S., Stursberg, O., 2003. Empirical Complexity Analysis of an Approach for Mixed-Integer Optimization of Hybrid Systems. IFAC Conf. on Analysis and Design of Hybrid Systems 129–134.
2003	Kapinski, J., Maler, O., Stursberg, O., Krogh, B.H., 2003. On Systematic Simulation of Open Continuous Systems. Hybrid Systems: Computation and Control 2623 of LNCS, 283–297. Springer. https://doi.org/10.1007/3-540-36580-x_22
2003	Stursberg, O., Fehnker, A., Han, Z., Krogh, B.H., 2003. Specification-Guided Analysis of Hybrid Systems Using a Hierarchy of Validation Methods. IFAC Conf. on Analysis and Design of Hybrid Systems 289–295. https://doi.org/10.1016/S1474-6670(17)36446-7
2003	Clarke, E., Fehnker, A., Han, Z., Krogh, B.H., Stursberg, O., Theobald, M., 2003. Verification of Hybrid Systems based on Counterexample-Guided Abstraction Refinement. Tools and Algorithms for the Construction and Analysis of Systems 2619 of LNCS, 192–207. Springer. https://doi.org/10.1007/3-540-36577-x_14