S. Kowalewski

Automatic safety analysis of computer-controlled plants

Shuang-Hua Yang, Olaf Stursberg, Paul W. H. Chung, 2001 .

Combining a computer science and control theory approach to the verification of hybrid systems

S. Kowalewski, S. Engell, R. Huuck, 1997, Proceedings of 5th International Workshop on Parallel and Distributed Real-Time Systems and 3rd Workshop on Object-Oriented Real-Time Systems.

Block-diagram based modelling and analysis of hybrid processes under discrete control

Olaf Stursberg, S. Kowalewski, Heinz Treseler, 1998 .

Semantic Mapping and Object Detection for Indoor Mobile Robots

S. Kowalewski, Jens Christian Andersen, Adrian Llopart Maurin, 2019 .

An open tool architecture for the formal verification of logic controllers in processing systems

Olaf Stursberg, S. Kowalewski, Nanette Bauer, 1999 .

VERDICT-a tool for model-based verification of real-time logic process controllers

S. Kowalewski, H. Treseler, 1997, Proceedings of 5th International Workshop on Parallel and Distributed Real-Time Systems and 3rd Workshop on Object-Oriented Real-Time Systems.

Model-based verification of batch process control software

S. Kowalewski, R. Gesthuisen, V. Rossmann, 1994, Proceedings of IEEE International Conference on Systems, Man and Cybernetics.

Permissive control of Boolean condition/event systems: Synthesis and limits

H.-M. Hanisch, S. Kowalewski, 1994, Proceedings of 1994 9th IEEE International Symposium on Intelligent Control.

Verification of Logic Controllers for Continuous Plants

Olaf Stursberg, S. Kowalewski, Sebastian Engell, 1999 .

An environment for model-checking of logic control systems with hybrid dynamics

S. Kowalewski, O. Stursberg, J. Preussig, 1999, Proceedings of the 1999 IEEE International Symposium on Computer Aided Control System Design (Cat. No.99TH8404).