State-space coverage estimation

被引：0
|
作者：
Taleghani, Ali [1 ]
Atlee, Joanne M. [1 ]
机构：
[1] David R. Cheriton School of Computer Science, University of Waterloo, Waterloo, Canada
来源：
ASE2009 - 24th IEEE/ACM International Conference on Automated Software Engineering | 2009年
关键词：
Compendex;
D O I：
24th IEEE/ACM International Conference on Automated Software Engineering, ASE2009
中图分类号：
学科分类号：
摘要：
Model checking
引用
收藏
页码：459 / 467
相关论文
共 50 条
  • [41] ESTIMATION OF STATE-SPACE MODELS WITH GAUSSIAN MIXTURE PROCESS NOISE
    Miran, Sina
    Simon, Jonathan Z.
    Fu, Michael C.
    Marcus, Steven I.
    Babadi, Behtash
    2019 IEEE DATA SCIENCE WORKSHOP (DSW), 2019, : 185 - 189
  • [42] BAYESIAN STATE-SPACE ESTIMATION OF STOCHASTIC VOLATILITY FOR STORABLE COMMODITIES
    Karali, Berna
    Power, Gabriel J.
    Ishdorj, Ariun
    AMERICAN JOURNAL OF AGRICULTURAL ECONOMICS, 2011, 93 (02) : 434 - 440
  • [43] On-line parameter estimation in general state-space models
    Andrieu, Christophe
    Doucet, Arnaud
    Tadic, Vladislav B.
    2005 44th IEEE Conference on Decision and Control & European Control Conference, Vols 1-8, 2005, : 332 - 337
  • [44] Wireless Data Traffic Estimation Using a State-Space Model
    Kohandani, Farzaneh
    McAvoy, Derek W.
    Khandani, Amir K.
    IEEE TRANSACTIONS ON VEHICULAR TECHNOLOGY, 2008, 57 (06) : 3885 - 3890
  • [45] STATE-SPACE AND YULE-WALKER APPROACHES TO POLE ESTIMATION
    STOICA, P
    SODERSTROM, T
    ELECTRONICS LETTERS, 1992, 28 (07) : 632 - 634
  • [46] Estimation of price level in India through state-space model
    Bordoloi, Sanjib
    STATISTICS AND APPLICATIONS, 2009, 7-8 (1-2): : 17 - 36
  • [47] H-infinity parameter estimation for state-space models
    Kiriakidis, K
    O'Brien, RT
    PROCEEDINGS OF THE 2004 AMERICAN CONTROL CONFERENCE, VOLS 1-6, 2004, : 2836 - 2839
  • [48] Estimation for a class of generalized state-space time series models
    Fukasawa, T
    Basawa, IV
    STATISTICS & PROBABILITY LETTERS, 2002, 60 (04) : 459 - 473
  • [49] An algorithm for non-parametric estimation in state-space models
    Thi Tuyet Trang Chau
    Ailliot, Pierre
    Monbet, Valerie
    COMPUTATIONAL STATISTICS & DATA ANALYSIS, 2021, 153
  • [50] A State-Space EMG Model for the Estimation of Continuous Joint Movements
    Han, Jianda
    Ding, Qichuan
    Xiong, Anbin
    Zhao, Xingang
    IEEE TRANSACTIONS ON INDUSTRIAL ELECTRONICS, 2015, 62 (07) : 4267 - 4275
12345