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

25 von 25

Go to next page

Go to last page

1998	Kowalewski, S., Stursberg, O., 1998. The Batch-Evaporator: A Benchmark Example for Safety Analysis of Processing Systems under Logic Control. 4th Int. Workshop on Discrete Event Systems 302–307.
1997	Kowalewski, S., Stursberg, O., Treseler, H., 1997. Automatische Verifikation von SPS-Programmen auf der Basis von Prozessmodellen. Moderne Methoden des Regelungs- und Steuerungsentwurfes 198–204.
1997	Stursberg, O., Kowalewski, S., Hoffmann, I., Preußig, J., 1997. Comparing Timed and Hybrid Automata as Approximations of Continuous Systems. Hybrid Systems IV 1273 of LNCS, 361–377. Springer. https://doi.org/10.1007/bfb0031569
1997	Stursberg, O., Kowalewski, S., Engell, S., 1997. Generating Timed Discrete Models of Continuous Systems. 2nd IMACS Symp. on Mathematical Modeling 203–210.
1997	Kowalewski, S., Stursberg, O., Treseler, H., 1997. Rechnergestützte und modellbasierte Verifikation von SPS-Programmen f¨ur verfahrenstechnische Prozesse. GMA-Tagung Sicherheitstechnik und Automatisierung 1336 / VDI-Reihe, 169–180. VDI.