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] A SIMULATION STUDY OF SOIL-MOISTURE ESTIMATION BY A SPACE SAR
ULABY, FT
DOBSON, C
STILES, J
MOORE, RK
HOLTZMAN, J
PHOTOGRAMMETRIC ENGINEERING AND REMOTE SENSING, 1982, 48 (04): : 645 - 660
[22] STATE ESTIMATION OF JUMP PARAMETER SYSTEMS WITH STATE-DEPENDENT OBSERVATION NOISE.
Takeuchi, Yoshiki
Akashi, Hajime
Memoirs of the Faculty of Engineering, Kyoto University, 1982, 44 (04): : 460 - 472
[23] POWER SYSTEM STATE ESTIMATION: PRACTICAL CONSIDERATIONS.
Bischke, Robert F.
SAE Preprints, 1981,
[24] Estimation of the State of Weakly Nonlinear Stochastic Systems.
Mogilevkin, V.A.
Trudy LPI, 1982, (388): : 54 - 58
[25] Method for meter and RTU placement for state estimation purposes
London Jr., J.B.A.
Brito, G.L.R.
Bretas, N.G.
IEEE Bologna PowerTech - Conf. Proc., 2003, (146-153):
[26] Estimation of the present state of geotectonic hypotheses. 2
Tyapkin, K.F.
Geophysical Journal (English Translation of Geofizicheskii Zhurnal), 15 (03): : 365 - 375
[27] Statistical Estimation of the Efficiency of Quantum State Tomography Protocols
Bogdanov, Yu. I.
Brida, G.
Genovese, M.
Kulik, S. P.
Moreva, E. V.
Shurupov, A. P.
PHYSICAL REVIEW LETTERS, 2010, 105 (01)
[28] MARTINGALE APPROACH TO LINEAR RECURSIVE STATE ESTIMATION.
Balakrishnan, A.V.
1600, (10):
[29] REVIEW OF STRAPDOWN SYSTEMS (KINEMATICS, ALIGNMENT AND STATE ESTIMATION).
Fujii, Hironori
1978, (217):
[30] DETECTION, ESTIMATION AND CORRECTION OF BAD DATA IN POWER SYSTEM STATE ESTIMATION THROUGH SRIF.
Lu, K.V.
Rao, N.D.
1978,