Model-checking techniques for linear models with parametric variance functions

被引:2
|
作者
Arbogast, PG
Bedrick, EJ
机构
[1] Vanderbilt Univ, Dept Biostat, Nashville, TN 37232 USA
[2] Univ New Mexico, Dept Math & Stat, Albuquerque, NM 87131 USA
[3] Univ New Mexico, Dept Internal Med, Albuquerque, NM 87131 USA
关键词
goodness of fit; lack of fit; model misspecification; regression diagnostic; residual; variance heterogeneity;
D O I
10.1198/004017004000000473
中图分类号
O21 [概率论与数理统计]; C8 [统计学];
学科分类号
020208 ; 070103 ; 0714 ;
摘要
We present graphical and numerical methods for assessing the adequacy of the log-linear model for variances. The proposed methods are derived from the cumulative sum of residuals over the covariate or linear predictor. Under the assumed model, the cumulative residual process converges weakly to a 0-mean Gaussian process whose distribution can be approximated via Monte Carlo simulation. The observed cumulative residual pattern can then be compared both visually and analytically to a number of simulated realizations from the approximate null distribution. These comparisons enable one to examine the functional form of each covariate, the link function as well as the overall model adequacy of the variance model. Simulation studies demonstrate that the proposed methods perform well in practical settings. Illustrations with three datasets are provided.
引用
收藏
页码:404 / 410
页数:7
相关论文
共 50 条
  • [1] Checking for lack of fit in linear models with parametric variance functions
    Bedrick, EJ
    [J]. TECHNOMETRICS, 2000, 42 (03) : 227 - 236
  • [2] Testing and model-checking techniques for diagnosis
    Gromov, Maxim
    Willemse, Tim A. C.
    [J]. TESTING OF SOFTWARE AND COMMUNICATING SYSTEMS, PROCEEDINGS, 2007, 4581 : 138 - +
  • [3] Parametric Model-Checking of Stopwatch Petri Nets
    Traonouez, Louis-Marie
    Lime, Didier
    Roux, Olivier H.
    [J]. JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2009, 15 (17) : 3273 - 3304
  • [4] Durations and parametric model-checking in timed automata
    Bruyere, Veronique
    Dall'olio, Emmanuel
    Raskin, Jean-Francois
    [J]. ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2008, 9 (02)
  • [5] Verifying Business Rules Using Model-Checking Techniques for Non-specialist in Model-Checking
    Aoki, Yoshitaka
    Matsuura, Saeko
    [J]. IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2014, E97D (05) : 1097 - 1108
  • [6] Direct Model-checking of SysML Models
    Calvino, Alessandro Tempia
    Apvrille, Ludovic
    [J]. PROCEEDINGS OF THE 9TH INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT (MODELSWARD), 2021, : 216 - 223
  • [7] Applying Parametric Model-Checking Techniques for Reusing Real-Time Critical Systems
    Parquier, Baptiste
    Rioux, Laurent
    Henia, Rafik
    Soulat, Romain
    Roux, Olivier H.
    Lime, Didier
    Andre, Etienne
    [J]. FORMAL TECHNIQUES FOR SAFETY-CRITICAL SYSTEMS (FTSCS 2016), 2017, 694 : 129 - 144
  • [8] Model-Checking Higher-Order Functions
    Kobayashi, Naoki
    [J]. PPDP'09: PROCEEDINGS OF THE 11TH INTERNATIONAL ACM SIGPLAN SYMPOSIUM ON PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING, 2009, : 25 - 36
  • [9] Model-checking techniques based on cumulative residuals
    Lin, DY
    Wei, LJ
    Ying, Z
    [J]. BIOMETRICS, 2002, 58 (01) : 1 - 12
  • [10] Durations, parametric model-checking in timed automata with Presburger arithmetic
    Bruyère, V
    Dall'Olio, E
    Raskin, JF
    [J]. STACS 2003, PROCEEDINGS, 2003, 2607 : 687 - 698