The SHIFT programming language for dynamic networks of hybrid automata

被引：21

作者：

Deshpande, A ^{[1
]}

Gollu, A ^{[1
]}

Semenzato, L ^{[1
]}

机构：

[1] Univ Calif Berkeley, Dept Elect Engn & Comp Sci, Berkeley, CA 94720 USA

来源：

IEEE TRANSACTIONS ON AUTOMATIC CONTROL | 1998年 / 43卷 / 04期

关键词：

D O I：

10.1109/9.664163

中图分类号：

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

学科分类号：

0812 ;

摘要：

[No abstract available]

引用

页码：584 / 587

页数：4

共 21 条

[1]

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]

[2]

BARROS F, 1996, T SOC COMPUT SIMUL, P35

[3]

DESHPANDE A, 1995, LECT NOTES COMPUTER, V999

[4]

DESHPANDE A, 1996, LECT NOTES COMPUTER

[5] AN AUTOMATED HIGHWAY SYSTEM SIMULATOR [J].

ESKAFI, F ;

KHORRAMABADI, D ;

VARAIYA, P .

TRANSPORTATION RESEARCH PART C-EMERGING TECHNOLOGIES, 1995, 3 (01) :1-17

[6]

GODBOLE D, 1995, P C DEC CONTR

[7]

Gollu A., 1994, Proceedings of the Fifth Annual Conference on AI, Simulation, and Planning in High Autonomy Systems. Distributed Interactive Simulation Environments, P244, DOI 10.1109/AIHAS.1994.390483

[8]

GOLLU A, IN PRESS INT J MATH

[9] STATECHARTS - A VISUAL FORMALISM FOR COMPLEX-SYSTEMS [J].

HAREL, D .

SCIENCE OF COMPUTER PROGRAMMING, 1987, 8 (03) :231-&

[10]

Hsu A., 1993, Discrete Event Dynamic Systems: Theory & Applications, V2, P183, DOI 10.1007/BF01797158

← 1 2 3 →