Modelling and analysis of hybrid systems

被引：14

作者：

Engell, S ^{[1
]}

机构：

[1] Univ Dortmund, Fachbereich Chem Tech, Lehrstuhl Anlagensteuerungstech, D-44221 Dortmund, Germany

来源：

MATHEMATICS AND COMPUTERS IN SIMULATION | 1998年 / 46卷 / 5-6期

关键词：

D O I：

10.1016/S0378-4754(98)00076-7

中图分类号：

TP39 [计算机的应用];

学科分类号：

081203 ; 0835 ;

摘要：

The paper discusses the practical importance of and techniques for modelling and analysis of hybrid systems. The emphasis of the discussion is on the problems encountered for systems of realistic size as they arise in technical applications and on potentially effective modelling paradigms and analysis methods. (C) 1998 IMACS/Elsevier Science B.V.

引用

页码：445 / 464

页数：20

共 56 条

[1] A THEORY OF TIMED AUTOMATA [J].

ALUR, R ;

DILL, DL .

THEORETICAL COMPUTER SCIENCE, 1994, 126 (02) :183-235

[2]

Alur R., 1992, LECTURE NOTES COMPUT, V736, P209, DOI [DOI 10.1007/3-540-57318-6_30, 10.1007/3-540-45027-0_11, DOI 10.1007/3-540-45027-0_11]

[3]

Antsaklis P. J., 1993, Hybrid Systems, P366

[4]

BACK A, 1993, LECT NOTES COMPUTER, V736, P255

[5] MODELING OF COMBINED DISCRETE-CONTINUOUS PROCESSES [J].

BARTON, PI ;

PANTELIDES, CC .

AICHE JOURNAL, 1994, 40 (06) :966-979

[6]

BARTON PI, 1992, THESIS U LONDON

[7]

BARTON PI, 1997, P CACHE CORPORATION, V7, P101

[8] PRINCIPLES AND ENGINEERING OF PROCESS-CONTROL WITH PETRI NETS [J].

BRAND, KP ;

KOPAINSKY, J .

IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1988, 33 (02) :138-149

[9]

BRANICKY MS, 1994, IEEE DECIS CONTR P, P4228, DOI 10.1109/CDC.1994.411615

[10] CONTROL OF DISCRETE-EVENT SYSTEMS MODELED AS HIERARCHICAL STATE MACHINES [J].

BRAVE, Y ;

HEYMANN, M .

IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1993, 38 (12) :1803-1819

← 1 2 3 4 5 6 →