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 条
  • [31] CDMA multiuser detection based on state-space estimation techniques
    Mudulodu, S
    Vikalo, H
    Paulraj, A
    Kailath, T
    CONFERENCE RECORD OF THE THIRTY-FOURTH ASILOMAR CONFERENCE ON SIGNALS, SYSTEMS & COMPUTERS, 2000, : 1278 - 1282
  • [32] OPTIMAL ESTIMATION OF HYBRID MODELS IN STATE-SPACE WITH FIR STRUCTURES
    Shmaliy, Yuriy S.
    Ibarra-Manzano, Oscar
    2012 IEEE INTERNATIONAL CONFERENCE ON ACOUSTICS, SPEECH AND SIGNAL PROCESSING (ICASSP), 2012, : 3965 - 3968
  • [33] Adaptive estimation of FCG using nonlinear state-space models
    Moussas, VC
    Katsikas, SK
    Lainiotis, DG
    STOCHASTIC ANALYSIS AND APPLICATIONS, 2005, 23 (04) : 705 - 722
  • [34] On the estimation of correlated noise statistics in a class of state-space models
    Enescu, M
    Koivunen, V
    CONFERENCE RECORD OF THE THIRTY-SEVENTH ASILOMAR CONFERENCE ON SIGNALS, SYSTEMS & COMPUTERS, VOLS 1 AND 2, 2003, : 2115 - 2118
  • [35] Topological state-space estimation of functional human brain networks
    Chung, Moo K.
    Huang, Shih-Gu
    Carroll, Ian C.
    Calhoun, Vince D.
    Goldsmith, H. Hill
    PLOS COMPUTATIONAL BIOLOGY, 2024, 20 (05)
  • [36] On new parametrization methods for the estimation of linear state-space models
    Ribarits, T
    Deistler, M
    Hanzon, B
    INTERNATIONAL JOURNAL OF ADAPTIVE CONTROL AND SIGNAL PROCESSING, 2004, 18 (9-10) : 717 - 743
  • [37] ON FREQUENCY-WAVE-NUMBER ESTIMATION BY STATE-SPACE REALIZATION
    FU, L
    VACCARO, RJ
    IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS, 1991, 38 (07): : 800 - 804
  • [38] Phase estimation using a state-space approach based method
    Rajshekhar, Gannavarpu
    Rastogi, Pramod
    OPTICS AND LASERS IN ENGINEERING, 2013, 51 (08) : 1004 - 1007
  • [39] ISAR Motion Parameter Estimation Using State-Space Modeling
    Adjrad, Mounir
    Woodbridge, Karl
    2012 IEEE RADAR CONFERENCE (RADAR), 2012,
  • [40] Hierarchical State-Space Estimation of Leatherback Turtle Navigation Ability
    Flemming, Joanna Mills
    Jonsen, Ian D.
    Myers, Ransom A.
    Field, Christopher A.
    PLOS ONE, 2010, 5 (12):
12345