Searching for authors named "Stefan Kowalewski" – sorted by Relevance.
10 documents found, showing 1 through 10.
-
Reachability Analysis Of Timed Transition Systems Based On Constraint Evaluation
- …��ig and Stefan Kowalewski Process Control Group, Chemical Engineering Dept., University of Dortmund, D-44221…
- Add To MetaCart
-
Verification Of Sequential Controllers With Timing Functions For Chemical Processes
- … Stefan Kowalewski and J��rg Preu��ig Process Control Group (AST), Chem. Eng. Dept. (CT), University…
- Cited by 5 (3 self) – Add To MetaCart
-
Timed Condition/Event systems: a framework for modular discrete models of chemical plants and verification of their real-time discrete control
- … and verification of their real-time discrete control Stefan Kowalewski and Jorg Preu��ig 2nd International…
- Cited by 5 (2 self) – Add To MetaCart
-
The batch evaporator: A benchmark example for safety analysis of processing systems under logic control
- … OF PROCESSING SYSTEMS UNDER LOGIC CONTROL Stefan Kowalewski and Olaf Stursberg Process Control Laboratory (CT…
- Cited by 4 (0 self) – Add To MetaCart
-
Comparing Timed and Hybrid Automata as Approximations of Continuous Systems
- … Automata as Approximations of Continuous Systems Olaf Stursberg, Stefan Kowalewski, Ingo Hoffmann and Jorg…
- Cited by 7 (2 self) – Add To MetaCart
-
Using Model-Checking for Timed Automata to Parameterize Logic Control Programs
- …-Checking for Timed Automata to Parameterize Logic Control Programs Stefan Kowalewski and Sebastian Engell Process…
- Cited by 5 (2 self) – Add To MetaCart
-
Combining a Computer Science and Control Theory Approach to the Verification of Hybrid Systems
- … Ralf Huuck y , Yassine Lakhnech y Luis Urbina y Sebastian Engell z Stefan Kowalewski z Jorg…
- Cited by 3 (1 self) – Add To MetaCart
-
A Case study: Multi product batch plant for the demonstration of control
- … Nanette Bauer £ , Stefan Kowalewski, Guido Sand, Thomas Löhl Process Control Laboratory Department…
- Add To MetaCart
-
A Case Study in Tool-Aided Analysis of Discretely Controlled Continuous Systems: the Two Tanks Problem
- … in Tool-Aided Analysis of Discretely Controlled Continuous Systems: the Two Tanks Problem Stefan…
- Cited by 17 (0 self) – Add To MetaCart
-
by
- …. rer. nat. Rainer Leupers & Informatik XI RWTH Aachen Prof. Dr.-Ing. Stefan Kowalewski Master…
- Add To MetaCart
Showing 1 through 10.
