Data-driven model checking for errors-in-variables varying-coefficient models with replicate measurements

Wang, Miaomiao; Liu, Catherine; Xie, Tianfa; Sun, Zhihua

doi:10.1016/j.csda.2019.06.003

Cited by 9 publications

(2 citation statements)

References 23 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Instead of attempting to cover as many papers as we could, we suggest readers for studying the relatively recent developments in statistics literature on measurement error problems. See for example, Hellton and Thoresen (2014); Li et al (2016); Liang (2009); Liang et al (1999); Liang and Ren (2005); Wang et al (2020); Yang, Wang and Ma (2019); Yang, Tong and Li (2019); Zheng et al (2018).…”

Section: Introductionmentioning

confidence: 99%

Nonparametric Additive Distortion Measurement Errors Models

Zhang

Gai

Yang

2022

Preprint

View full text Add to dashboard Cite

We consider nonparametric estimation of some regression curves when the data are observed with additive distortion which depends on an observed confounding variable. The unobservable response variable and covariates are both distorted in a additive fashion by unknown distorting functions. We study the estimates of nonparametric mean function and its first derivative, the variance function, the Sharpe ratio function and correlation curve function. We obtain asymptotic normality results for the proposed nonparametric estimators. Monte Carlo simulation experiments are conducted to examine the performance of the proposed estimators. The proposed estimators are applied to analyze a QSAR fish toxicity dataset for an illustration.

show abstract

Section: Introductionmentioning

confidence: 99%

Nonparametric Additive Distortion Measurement Errors Models

Zhang

Gai

Yang

2022

Preprint

View full text Add to dashboard Cite

show abstract

“…A new test statistic is established by [34] under the null hypothesis. Global and various local alternatives are presented to check the adequacy of the varying coefficient models when some covariate is measured with error.…”

Section: Introductionmentioning

confidence: 99%

Attack Graph Implementation and Visualization for Cyber Physical Systems

et al. 2019

View full text Add to dashboard Cite

Cyber-attacks threaten the safety of cyber physical systems (CPSs) as a result of the existence of weaknesses in the multiple structural units constituting them. In this paper, three cyber physical systems case studies of a pressurized water nuclear power plant (NPP), an industrial control system (ICS), and a vehicular network system (VNS) are examined, formally presented, and implemented utilizing Architecture Analysis and Design Language, determining system design, links, weaknesses, resources, potential attack instances, and their pre-and post-conditions. Then, the developed plant models are checked with a security property using JKind model checker embedded software. The attack graphs causing plants disruptions for the three applications are graphically visualized using a new graphical user interface (GUI) windows application.Processes 2020, 8, 12 2 of 22 aiding designers in implementing prevention strategies through making risk analysis [6]. The novelty of this work lies in presenting a model-based technique for implementing attack graphs for three cyber physical systems (CPSs): a nuclear power plant (NPP) control system, an industrial control system (ICS), and a vehicular network system (VNS). This demands a general specification of systems models and the security properties being studied. The models and their security properties are encoded using Architecture Analysis and Design Language (AADL) [7] and verified using JKind model checker embedded software [8]. The generated graphs are visualized using a new graphical user interface (GUI) windows application implemented with C# language in Microsoft Visual Studio (VS) [9]. This paper extends the conference version [10] significantly by introducing a newly developed visualizer Windows application that creates a GUI that is encoded using C# within Microsoft VS. The JKind model checker generates significantly large spreadsheet attack scenarios. Therefore, the visualizer Windows application manages the number of rows of the produced attack scenarios and represents them in an appealing, user friendly, graphical way. Simulation results are shown for the NPP system, the ICS, and the VNS.The contribution of this work is twofold. First, system models are formalized for three CPS case studies. The formal descriptions capture the architectural specifications of the systems-their elements and their connectivity. In addition to that, the descriptions capture systems behaviors-their dynamic state variables, pre and post conditions of the attacks instances, and the security properties. The models are encoded using AADL, translated to Lustre using Assume Guarantee Reasoning Environment (AGREE), and finally checked using JKind. The generated attack scenarios are fed to a newly developed visualizer Windows application that can graphically illustrate a specific attack sequence of interest, its spread sheet, and the complete attack graph. The remainder of this paper is assembled as follows. Section 1.1 revises the related work. Section 2 describes the NPP system. Section 3 pre...

show abstract