Notation

被引:0
作者
Hofbaur, MW [1 ]
机构
[1] Graz Univ Technol, Inst Automat & Control, A-8010 Graz, Austria
来源
HYBRID ESTIMATION OF COMPLEX SYSTEMS | 2005年 / 319卷
关键词
D O I
暂无
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
引用
收藏
页码:XV / +
页数:149
相关论文
共 108 条
  • [1] ON STATE ESTIMATION IN SWITCHING ENVIRONMENTS
    ACKERSON, GA
    FU, KS
    [J]. IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1970, AC15 (01) : 10 - +
  • [2] Aho A. V., 1983, DATA STRUCTURES ALGO
  • [3] A THEORY OF TIMED AUTOMATA
    ALUR, R
    DILL, DL
    [J]. THEORETICAL COMPUTER SCIENCE, 1994, 126 (02) : 183 - 235
  • [4] Reactive modules
    Alur, R
    Henzinger, TA
    [J]. FORMAL METHODS IN SYSTEM DESIGN, 1999, 15 (01) : 7 - 48
  • [5] ALUR R, 2004, LECT NOTES COMPUTER, V2993
  • [6] ALUR R, 2001, LECT NOTES COMPUTER, V2211, P14
  • [7] ALUR R, 1996, LECT NOTES COMPUTER, V1066
  • [8] ALUR R, 2001, LECT NOTES COMPUTER, V2034, P33
  • [9] Anderson B.D.O., 1979, OPTIMAL FILTERING IN
  • [10] [Anonymous], 1992, RECENT ADV QUALITATI