Supervisory hybrid systems

被引：66

作者：

Lemmon, MD ^{[1
]}

He, KX ^{[1
]}

Markovsky, I ^{[1
]}

机构：

[1] Univ Notre Dame, Notre Dame, IN 46556 USA

来源：

IEEE CONTROL SYSTEMS MAGAZINE | 1999年 / 19卷 / 04期

关键词：

D O I：

10.1109/37.777788

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 [计算机科学与技术];

摘要：

[No abstract available]

引用

收藏

页码：42 / 55

页数：14

相关论文

共 71 条

[1]

MODEL-CHECKING IN DENSE REAL-TIME [J].

ALUR, R ;

COURCOUBETIS, C ;

DILL, D .

INFORMATION AND COMPUTATION, 1993, 104 (01) :2-34

[2]

THE ALGORITHMIC ANALYSIS OF HYBRID SYSTEMS [J].

ALUR, R ;

COURCOUBETIS, C ;

HALBWACHS, N ;

HENZINGER, TA ;

HO, PH ;

NICOLLIN, X ;

OLIVERO, A ;

SIFAKIS, J ;

YOVINE, S .

THEORETICAL COMPUTER SCIENCE, 1995, 138 (01) :3-34

[3]

ALUR R, 1993, LECT NOTES COMPUTER, V736

[4]

ALUR R, 1996, LECT NOTES COMPUTER, V1066

[5]

ANTSAKIS PJ, 1995, LECT NOTES COMPUTER, V999

[6]

ANTSAKLIS P, 1999, LECT NOTES COMPUTER, V1567

[7]

ANTSAKLIS PJ, 1997, LECT NOTES COMPUTER, V1273

[8]

Aubin J.-P., 1984, DIFFERENTIAL INCLUSI

[9]

BALLUCHI R, 1998, LECT NOTES COMPUTER, V1386

[10]

BETT CJ, 1999, IN PRESS AUTOMATICA

← 1 2 3 4 5 6 7 8 →