Publications SCT group
Journal Article (1)
1998
Journal Article
32 (9-10), pp. 1073 - 1095 (1998)
A hierarchy of discrete abstractions for a hybrid plant (extended version). Journal Europeen des Systemes Automatises = European Journal of Automation Conference Paper (5)
1998
Conference Paper
Synthesizing a supervisory control scheme for the start-up procedure of a distillation column: an approach based on approximating continuous dynamics by DES models. In: Large Scale Systems: Theory and Applications 1998, pp. 695 - 700 (Eds. Koussoulas, N. T.; Groumpos, P.). IFAC Symposium on Large Scale Systems, Patras, Greece, July 15, 1998 - July 17, 1998. (1998)
Conference Paper
Safety enforcement in process control systems: a batch evaporator example. In: Proc. WODES '98 - International Workshop on Discrete Event Systems, pp. 327 - 333 (Ed. Giua, A.). WODES `98, Cagliari, Italy, August 26, 1998 - August 28, 1998. (1998)
Conference Paper
3, pp. 30 - 34 (Ed. Bajic, V. B.). International Conference on Systems, Signals Control and Computers (SSCC'98), Durban, SA, September 22, 1998 - September 24, 1998. (1998)
Estimating reachable states of hybrid systems via l-complete approximations. In: Advances in Systems, Signals, Control, Computers, Vol.
Conference Paper
Supervisory control of hybrid systems via l-complete approximations. In: Proceedings / WODES '98 - 4th International Workshop on Discrete Event Systems, pp. 426 - 431 (Ed. Giua, A.). WODES `98, Cagliari, Italy, August 26, 1998 - August 28, 1998. (1998)
Conference Paper
A hierarchy of discrete abstractions for a hybrid plant. In: Automation of mixed processes - hybrid dynamical systems, pp. 55 - 62 (Ed. Zaytoon, J.). ADPM - International Conference on the Automation of Mixed Processes, Reims. (1998)
Thesis - Habilitation (1)
1998
Thesis - Habilitation
Hybride Regelsysteme. Habilitation, Shaker Verlag, Aachen (1998)