Process supervision by means of a hybrid model

被引:9
作者
Lunze, J [1 ]
Nixdorf, B [1 ]
Richter, H [1 ]
机构
[1] Tech Univ Hamburg Harburg, Arbeitsbereich Regelungstechn, D-21071 Hamburg, Germany
关键词
process supervision; discrete-event measurements; hybrid model; supervisory control design; qualitative modeling;
D O I
10.1016/S0959-1524(99)00067-0
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
The paper concerns process supervision tasks in which a continuous-variable system has to be moved into a globally defined final state. A hybrid model is proposed that describes the discrete-event behaviour as well as the quantitative behaviour of the continuous-variable system. The model consists of a Petri net and of differential equations whose validity depends on the marking of the net. The supervisory control task is solved by searching for a path within the Petri net from the current towards the final state and by using the relevant quantitative models to determine the speed of the state transitions. The results are illustrated by means of a laboratory lank system. (C) 2000 Elsevier Science Ltd. All rights reserved.
引用
收藏
页码:89 / 104
页数:16
相关论文
共 18 条
[1]  
Alur R., 1993, Hybrid Systems, P209
[2]  
BREDEBUSCH A, 1994, IEE C PUBL NUMB, V395, P223
[3]  
Franke D., 1994, SEQUENTIELLE SYSTEME
[4]  
HOFFMANN I, 1997, HYBRID SYSTEMS, V4
[5]  
Kluwe M., 1994, Automatisierungstechnische Praxis, V36, P11
[6]  
Lunze J., 1996, Automatisierungstechnische Praxis, V38, P46
[7]  
Lunze J., 1992, Systems Analysis and Modelling Simulation, V9, P89
[8]   QUALITATIVE MODELING OF LINEAR DYNAMICAL-SYSTEMS WITH QUANTIZED STATE MEASUREMENTS [J].
LUNZE, J .
AUTOMATICA, 1994, 30 (03) :417-431
[9]  
LUNZE J, 1994, INTELLIGENZ INGENIEU, V1
[10]  
LUNZE J, 1995, INTELLIGENZ INGENIEU