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] MULTICLASS BAYES ERROR ESTIMATION BY A FEATURE SPACE SAMPLING TECHNIQUE.
    Mobasseri, B.G.
    McGillem, Clare D.
    IEEE Transactions on Systems, Man and Cybernetics, 1979, SMC-9 (10): : 660 - 665
  • [32] State of the Industry Report on Investment and Development of Space Solar Power
    Barry, Kevin
    Proceedings of the International Astronautical Congress, IAC, 2023, 2023-October
  • [33] An Estimation Method of Rechargeable Electric Quantity for Aging Battery Based on Joint Estimation of State and Model Parameters
    Sun, Jinlei
    Tang, Chuanyu
    Li, Lei
    Zhu, Jinda
    Zhu, Chunbo
    Diangong Jishu Xuebao/Transactions of China Electrotechnical Society, 2022, 37 (22): : 5886 - 5898
  • [34] A circuit representing method for state estimation errors in distribution networks
    Chen, Xiaoshuang
    Lin, Jin
    Song, Yonghua
    Zhongguo Dianji Gongcheng Xuebao/Proceedings of the Chinese Society of Electrical Engineering, 2014, 34 (28): : 4839 - 4846
  • [35] STATE ESTIMATION - A NEW TOOL FOR POWER SYSTEM OPERATION.
    Dembecki, J.A.
    Litchfield, T.K.
    Couch, G.H.
    Sullivan, A.C.
    1974, : 69 - 72
  • [36] Vehicle dynamic state estimation using smartphone embedded sensors
    Ma, Jie
    Wu, Chaozhong
    Yan, Shuiqing
    Sensors and Transducers, 2013, 160 (12): : 111 - 117
  • [37] Distributed State Estimation for Multi-Feeder Distribution Grids
    Pau, Marco
    Ponci, Ferdinanda
    Monti, Antonello
    Muscas, Carlo
    Pegoraro, Paolo Attilio
    IEEE Open Journal of Instrumentation and Measurement, 2022, 1
  • [38] LQG PROBLEM OF ESTIMATION AND CONTROL IN TENSOR SPACE - EVOLUTION IN DISCRETE FINITE TIME
    VANECEK, A
    KYBERNETIKA, 1975, 11 (04) : 287 - 300
  • [39] A fast performance estimation framework for system-level design space exploration
    Shibata, Seiya
    Ando, Yuki
    Honda, Shinya
    Tomiyama, Hiroyuki
    Takada, Hiroaki
    IPSJ Transactions on System LSI Design Methodology, 2012, 5 : 44 - 54
  • [40] Adaptive Light Space Target Pose Estimation Method Based on Deep Learning
    Song, Zhuo
    Zhang, Zexu
    Zhang, Fan
    Wei, Changzhu
    Huang, Yefei
    Yuhang Xuebao/Journal of Astronautics, 2024, 45 (12): : 1987 - 1996
12345