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 条
  • [1] Application of state-space frequency estimation to a 24-GHz FMCW tank level gauging system
    Gulden, Peter
    Vossiek, Martin
    Pichler, Markus
    Stelzer, Andreas
    Conf. Proc. - Eur. Microw. Conf., EuMC, 1600, (995-998):
  • [2] ROLE OF TRUNCATED POLYNOMIALS IN SOME STATE-SPACE TECHNIQUES.
    Csaki, F.
    Acta Technica (Budapest), 1975, 80 (3-4): : 327 - 342
  • [3] NOVEL SYNTHESIS METHOD FOR STATE-SPACE ACTIVE NETWORKS.
    Snelgrove, W.M.
    Sedra, A.S.
    Journal Water Pollution Control Federation, 1980, : 196 - 200
  • [4] Digital compensation in IQ modulator using H∞ optimization - A state-space approach
    Lim, A.G.K.C.
    Sreeram, V.
    Wang, G.
    Eurasip J. Appl. Sign. Process., 4 (541-549):
  • [5] Scattering Matrix Synthesis of Lossless Networks Using State-space Techniques.
    Dobrucki, Andrzej L.
    Piekarski, Marian S.
    Rozprawy Elektrotechniczne, 1981, 27 (03): : 619 - 632
  • [6] Pulse density modulation on contactless power transfer system using state-space method
    Zhang, Jiong, 1600, China Machine Press (29):
  • [7] STATE-SPACE MODEL AND NUMERICAL SIMULATION OF THE SYSTEM STATIC CONVERTER-INDUCTION MACHINE.
    Valouch, Viktor
    Acta Technica CSAV (Ceskoslovensk Akademie Ved), 1980, 25 (03): : 253 - 277
  • [8] Investigating the relationships between soil and sugarcane attributes under different row spacing configurations and crop cycles using the state-space approach
    Panziera, Wildon
    Rodrigues de Lima, Claudia Liane
    Timm, Luís Carlos
    Aquino, Leandro Sanzi
    Barros, Willian Silva
    Stumpf, Lizete
    dos Anjos e Silva, Sergio Delmar
    Moura-Bueno, Jean Michel
    Junior, Leonir Aldrighi Dutra
    Pauletto, Eloy Antonio
    Soil and Tillage Research, 2022, 217
  • [9] SOME NEW RESULTS IN STATE-SPACE DECOUPLING OF MULTIVARIABLE SYSTEMS .1. A LINK BETWEEN GEOMETRIC APPROACH AND MATRIX-METHODS
    FILEV, DP
    KYBERNETIKA, 1982, 18 (03) : 215 - 233
  • [10] Improved Delay-Dependent Stability Analysis of Fixed-Point State-Space Digital Filters With Time-Varying Delay and Generalized Overflow Arithmetic
    Li, Fudong
    Chen, Jian
    Zhang, Lanhong
    Wang, Qibing
    Jiang, Lin
    IEEE Access, 2022, 10 : 9406 - 9419
12345