1. Peiyuan Zhou, Saswata Paul, Airin Dutta, Carlos Varela, and Fotis Kopsaftopoulos. On Formal Verification of Data-Driven Flight Awareness: Leveraging the Cramér-Rao Lower Bound of Stochastic Functional Time Series Models, pages 44-52. Springer Nature Switzerland, Cham, 2024. ISBN: 978-3-031-52670-1. Keyword(s): AR models, CRLB, fly-by-feel, state awareness.. Abstract:

   This work investigates the application of the Cram{\'e}r-Rao Lower Bound (CRLB) theorem, within the framework of Dynamic Data Driven Applications Systems (DDDAS), in view of the formal verificationof state estimates via stochastic Vector-dependent Functionally Pooled Auto-Regressive (VFP-AR) models. The VFP-AR model is identified via data obtained from wind tunnel experiments on a ``fly-by-feel'' wing structure under multiple flight states (i.e., angle of attack, velocity). The VFP-based CRLB of the state estimates is derived for each true flight state reflecting the state estimation capability of the model considering the data, model, and estimation assumptions. Apart from the CRLB obtained from pristine data and models, CRLBs are estimated using either artificially corrupted testing data and/or sub-optimal models. Comparisons are made between CRLB and state estimations from corrupted and pristine conditions. The verification of the obtained state estimates is mechanically verified the formal proof of the CRLB Theorem using Athena, which provides irrefutable guarantee of soundness as long as specified assumptions are followed. The results of the study indicate the potential of using a CRLB-based formal verification framework for state estimation via stochastic FP time series models.

   
   

   @InBook{10.1007/978-3-031-52670-1_5,
   author={Zhou, Peiyuan and Paul, Saswata and Dutta, Airin and Varela, Carlos and Kopsaftopoulos, Fotis},
   editor={Blasch, Erik and Darema, Frederica and Aved, Alex},
   title={On Formal Verification of Data-Driven Flight Awareness: Leveraging the Cram{\'e}r-Rao Lower Bound of Stochastic Functional Time Series Models},
   booktitle={Dynamic Data Driven Applications Systems},
   year={2024},
   publisher={Springer Nature Switzerland},
   address={Cham},
   pages={44--52},
   pdf={http://wcl.cs.rpi.edu/papers/DDDAS2022_Zhou_etal.pdf},
   keywords={AR models, CRLB, fly-by-feel, state awareness.},
   abstract={This work investigates the application of the Cram{\'e}r-Rao Lower Bound (CRLB) theorem, within the framework of Dynamic Data Driven Applications Systems (DDDAS), in view of the formal verificationof state estimates via stochastic Vector-dependent Functionally Pooled Auto-Regressive (VFP-AR) models. The VFP-AR model is identified via data obtained from wind tunnel experiments on a ``fly-by-feel'' wing structure under multiple flight states (i.e., angle of attack, velocity). The VFP-based CRLB of the state estimates is derived for each true flight state reflecting the state estimation capability of the model considering the data, model, and estimation assumptions. Apart from the CRLB obtained from pristine data and models, CRLBs are estimated using either artificially corrupted testing data and/or sub-optimal models. Comparisons are made between CRLB and state estimations from corrupted and pristine conditions. The verification of the obtained state estimates is mechanically verified the formal proof of the CRLB Theorem using Athena, which provides irrefutable guarantee of soundness as long as specified assumptions are followed. The results of the study indicate the potential of using a CRLB-based formal verification framework for state estimation via stochastic FP time series models.},
   isbn="978-3-031-52670-1" 
   }
   

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All person copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.

Les documents contenus dans ces répertoires sont rendus disponibles par les auteurs qui y ont contribué en vue d'assurer la diffusion à temps de travaux savants et techniques sur une base non-commerciale. Les droits de copie et autres droits sont gardés par les auteurs et par les détenteurs du copyright, en dépit du fait qu'ils présentent ici leurs travaux sous forme électronique. Les personnes copiant ces informations doivent adhérer aux termes et contraintes couverts par le copyright de chaque auteur. Ces travaux ne peuvent pas être rendus disponibles ailleurs sans la permission explicite du détenteur du copyright.

This document was translated from BibT_EX by bibtex2html