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 条
  • [21] DIFFUSION ESTIMATION OF STATE-SPACE MODELS: BAYESIAN FORMULATION
    Dedecius, Kamil
    2014 IEEE INTERNATIONAL WORKSHOP ON MACHINE LEARNING FOR SIGNAL PROCESSING (MLSP), 2014,
  • [22] Order estimation in affine state-space neural networks
    Gil, P
    Henriques, J
    Dourado, A
    Duarte-Ramos, H
    SMCIA/05: PROCEEDINGS OF THE 2005 IEEE MID-SUMMER WORKSHOP ON SOFT COMPUTING IN INDUSTRIAL APPLICATIONS, 2005, : 132 - 137
  • [23] ESTIMATION IN A CONTINUOUS STATE-SPACE BRANCHING-PROCESS
    KALE, M
    DESHMUKH, SR
    BIOMETRICAL JOURNAL, 1992, 34 (08) : 1001 - 1006
  • [24] Noise Moment and Parameter Estimation of State-Space Model
    Kost, Oliver
    Dunik, Jindrich
    Straka, Ondrej
    IFAC PAPERSONLINE, 2018, 51 (15): : 891 - 896
  • [25] Estimation methods for nonlinear state-space models in ecology
    Pedersen, M. W.
    Berg, C. W.
    Thygesen, U. H.
    Nielsen, A.
    Madsen, H.
    ECOLOGICAL MODELLING, 2011, 222 (08) : 1394 - 1400
  • [26] Methods for the estimation of the size of lookahead tree state-space
    Winacott, Creag
    Behinaein, Behnam
    Rudie, Karen
    DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2013, 23 (02): : 135 - 155
  • [27] Estimation for state-space models based on a likelihood approximation
    Davis, RA
    Rodriguez-Yam, G
    STATISTICA SINICA, 2005, 15 (02) : 381 - 406
  • [28] Low state-space complexity and high coverage Markov browsing forecast
    Xing, DS
    Shen, JY
    2002 INTERNATIONAL CONFERENCE ON MACHINE LEARNING AND CYBERNETICS, VOLS 1-4, PROCEEDINGS, 2002, : 1093 - 1097
  • [29] Wind Turbine State-Space Model, State Estimation and Stabilisation Algorithms
    Rana, M. M.
    Xiang, W.
    Choi, Bong Jun
    2018 15TH INTERNATIONAL CONFERENCE ON CONTROL, AUTOMATION, ROBOTICS AND VISION (ICARCV), 2018, : 1235 - 1240
  • [30] ESTIMATION OF THE BATTERY STATE OF CHARGE: A SWITCHING MARKOV STATE-SPACE MODEL
    Kalawoun, Jana
    Pamphile, Parick
    Celeux, Gilles
    Bileiska, Kryslyna
    Momaru, Maxime
    2015 23RD EUROPEAN SIGNAL PROCESSING CONFERENCE (EUSIPCO), 2015, : 1950 - 1954
12345