An adaptive model checking test for the functional linear model

被引:0
|
作者
Shi, Enze [1 ]
Liu, Yi [1 ]
Sun, Ke [1 ]
Li, Lingzhu [2 ]
Kong, Linglong [1 ]
机构
[1] Univ Alberta, Dept Math & Stat Sci, Edmonton, AB, Canada
[2] Beijing Univ Technol, Sch Math Stat & Mech, Beijing, Peoples R China
关键词
Adaptive-to-model test; functional linear model; reproducing kernel Hilbert space; sufficient; dimension reduction; SUFFICIENT DIMENSION REDUCTION; CONVERGENCE-RATES; REGRESSION; PREDICTION; FORM;
D O I
10.3150/24-BEJ1752
中图分类号
O21 [概率论与数理统计]; C8 [统计学];
学科分类号
020208 ; 070103 ; 0714 ;
摘要
Numerous studies have been devoted to the estimation and inference problems for functional linear models (FLM). However, few works focus on model checking problem that ensures the reliability of results. Limited tests in this area do not have tractable null distributions or asymptotic analysis under alternatives. Also, the functional predictor is usually assumed to be fully observed, which is impractical. To address these problems, we propose an adaptive model checking test for FLM. It combines regular moment-based and conditional moment-based tests, and achieves model adaptivity via the dimension of a residual-based subspace. The advantages of our test are manifold. First, it has a tractable chi-squared null distribution and higher powers under the alternatives than its components. Second, asymptotic properties under different underlying models are developed, including the unvisited local alternatives. Third, the test statistic is constructed upon finite grid points, which incorporates the discrete nature of collected data. We develop the desirable relationship between sample size and number of grid points to maintain the asymptotic properties. Besides, we provide a data-driven approach to estimate the dimension leading to model adaptivity, which is promising in sufficient dimension reduction. We conduct comprehensive numerical experiments to demonstrate the advantages the test inherits from its two simple components.
引用
收藏
页码:894 / 921
页数:28
相关论文
共 50 条
  • [31] Linear parametric model checking of timed automata
    Hune, T
    Romijn, J
    Stoelinga, M
    Vaandrager, F
    JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2002, 52-3 : 183 - 220
  • [32] Model Checking Quantitative Linear Time Logic
    Faella, Marco
    Legay, Axel
    Stoelinga, Marielle
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2008, 220 (03) : 61 - 77
  • [33] Model checking for generalized partially linear models
    Li, Xinmin
    Liang, Haozhe
    Haerdle, Wolfgang
    Liang, Hua
    TEST, 2024, 33 (02) : 361 - 378
  • [34] Model Checking General Linear Temporal Logic
    French, Tim
    McCabe-Dansted, John
    Reynolds, Mark
    AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS (TABLEAUX 2013), 2013, 8123 : 119 - 133
  • [35] Adaptive REST Applications via Model Inference and Probabilistic Model Checking
    Ghezzi, Carlo
    Pezze, Mauro
    Tamburrelli, Giordano
    2013 IFIP/IEEE INTERNATIONAL SYMPOSIUM ON INTEGRATED NETWORK MANAGEMENT (IM 2013), 2013, : 1376 - 1382
  • [36] Utilization of Model Test for Checking Vehicles Properties
    Jez, R.
    TRANSPORT MEANS 2010, 2010, : 81 - 84
  • [37] Functional linear model
    Cardot, H
    Ferraty, F
    Sarda, P
    STATISTICS & PROBABILITY LETTERS, 1999, 45 (01) : 11 - 22
  • [38] TEST-CASE VERIFICATION BY MODEL CHECKING
    NAIK, K
    SARIKAYA, B
    FORMAL METHODS IN SYSTEM DESIGN, 1993, 2 (03) : 277 - 321
  • [39] Towards Deriving Test Sequences by Model Checking
    Bonifacio, Adilson Luiz
    Moura, Arnaldo Vieira
    Simao, Adenilso da Silva
    Maldonado, Jose Carlos
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2008, 195 (21-40) : 21 - 40
  • [40] Graded CTL Model Checking for Test Generation
    Napoli, Margherita
    Parente, Mimmo
    THEORY OF MODELING & SIMULATION: DEVS INTEGRATIVE M&S SYMPOSIUM 2011 (TMS-DEVS 2011) - 2011 SPRING SIMULATION, 2011, 43 (01): : 59 - 66