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

23 von 25

Go to next page

Go to last page

2001	Stursberg, O., Engell, S., 2001. Optimized Start-Up Procedures of Processing Systems. 6th IFAC Symp. on Dynamics and Control 231–236.
2001	Frehse, G., Stursberg, O., Engell, S., Huuck, R., Lukoschus, B., 2001. Verification of Hybrid Controlled Processing ´Systems based on Decomposition and Deduction, in: http://ieeexplore.ieee.org/ (Hrsg.), Intelligent Control, 2001. (ISIC ’01). Proceedings of the 2001 IEEE International Symposium on. S. 150–155. https://doi.org/10.1109/ISIC.2001.971500
2000	Stursberg, O., 2000. Analyse gesteuerter verfahrenstechnischer Prozesse durch Diskretisierung. Shaker n/a.
2000	Stursberg, O., Kowalewski, S., 2000. Analysis of Controlled Hybrid Processing Systems based on Approximation by Timed Automata using Interval Arithmetics. IEEE Mediterranean Conf. on Control and Automation TA–1–3.
2000	Stursberg, O., 2000. Analysis of Switched Continuous Systems based on Discretization. 4th Int. Conf. on Automation of Mixed Processes, 73–78.
2000	Engell, S., Kowalewski, S., Schulz, C., Stursberg, O., 2000. Continuous-Discrete Interactions in Chemical Processing Plants. Proceedings of the IEEE 88, 1050–1068. https://doi.org/10.1109/5.871308
2000	Stursberg, O., Kowalewski, S., Engell, S., 2000. On the Generation of Timed Discrete Approximations for Continuous Systems. Mathematical and Computer Models of Dynamical Systems 6, 51–70. https://doi.org/10.1076/1387-3954(200003)6:1;1-Q;FT051
1999	Kowalewski, S., Stursberg, O., Fritz, M., Graf, H., Preußig, J., Simon, S., Treseler, H., 1999. A Case Study in Tool-Aided Analysis of Discretely Controlled Continuous Systems: The Two-Tanks-Problem. Hybrid Systems V 1567 of LNCS, 163–185. Springer. https://doi.org/10.1007/3-540-49163-5_9
1999	Kowalewski, S., Bauer, N., Preußig, J., Stursberg, O., Treseler, H., 1999. An environment for model-checking of logic control systems with hybrid dynamics, in: IEEE (Hrsg.), Computer Aided Control System Design, 1999. Proceedings of the 1999 IEEE International Symposium on. IEEE, Kohala Coast, HI, USA, USA, S. 97–102. https://doi.org/10.1109/CACSD.1999.808631
1999	Kowalewski, S., Bauer, N., Preußig, J., Stursberg, O., Treseler, H., 1999. An Open Tool Architecture for the Formal Verification of Logic Controllers in Processing Systems. 14th IFAC World Congress J, 121–126.