Supervisory hybrid systems

被引：58

作者：

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
ALUR, R
COURCOUBETIS, C
DILL, D
[J]. INFORMATION AND COMPUTATION, 1993, 104 (01) : 2 - 34
[2] THE ALGORITHMIC ANALYSIS OF HYBRID SYSTEMS
ALUR, R
COURCOUBETIS, C
HALBWACHS, N
HENZINGER, TA
HO, PH
NICOLLIN, X
OLIVERO, A
SIFAKIS, J
YOVINE, S
[J]. 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