Unified Framework and Survey for Model Verification, Validation and Uncertainty Quantification
暂无分享,去创建一个
Bernhard Schick | Frank Diermeyer | Benedikt Danquah | Stefan Riedmaier | Frank Diermeyer | B. Schick | Benedikt Danquah | Stefan Riedmaier
[1] Houssam Abbas,et al. Conformance Testing as Falsification for Cyber-Physical Systems , 2014, ArXiv.
[2] Stefan Streif,et al. Probabilistic and Set-based Model Invalidation and Estimation Using LMIs , 2013, 1311.7099.
[3] Stefan B. Liu,et al. Reachset Conformance of Forward Dynamic Models for the Formal Analysis of Robots , 2018, 2018 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS).
[4] Jonathan Sadeghi,et al. Robust propagation of probability boxes by interval predictor models , 2020 .
[5] Osman Balci,et al. History of verification and validation of simulation models , 2017, 2017 Winter Simulation Conference (WSC).
[6] Christopher J. Roy,et al. Probability Bounds Analysis Applied to the Sandia Verification and Validation Challenge Problem , 2016 .
[7] Matthias Althoff,et al. Ensuring drivability of planned motions using formal methods , 2017, 2017 IEEE 20th International Conference on Intelligent Transportation Systems (ITSC).
[8] Abhinav Gupta,et al. Probabilistic risk assessment based model validation method using Bayesian network , 2018, Reliab. Eng. Syst. Saf..
[9] Ren-Jye Yang,et al. Development of a Comprehensive Validation Method for Dynamic Systems and Its Application on Vehicle Design , 2015 .
[10] Philipp Matthias Junietz,et al. Microscopic and Macroscopic Risk Metrics for the Safety Validation of Automated Driving , 2019 .
[11] Yuting Cheng,et al. Clustered Parameters of Calibrated Models When Considering Both Fidelity and Robustness , 2015 .
[12] Robert G. Easterling,et al. Measuring the Predictive Capability of Computational Models: Principles and Methods, Issues and Illustrations , 2001 .
[13] Alaa Elwany,et al. Uncertainty Propagation Analysis of Computational Models in Laser Powder Bed Fusion Additive Manufacturing Using Polynomial Chaos Expansions , 2018, Journal of Manufacturing Science and Engineering.
[14] Terje Aven,et al. A comparison between a probability bounds analysis and a subjective probability approach to express epistemic uncertainties in a risk assessment context - A simple illustrative example , 2018, Reliab. Eng. Syst. Saf..
[15] Bo Wen,et al. Verification, Validation and Uncertainty Quantification (VV&UQ) Framework Applicable to Power Electronics Systems , 2014 .
[17] Gabriel Terejanu,et al. Data partition methodology for validation of predictive models , 2013, Comput. Math. Appl..
[18] Houssam Abbas. Test-Based Falsification and Conformance Testing for Cyber-Physical Systems , 2015 .
[19] Ramesh Rebba,et al. Computational methods for model reliability assessment , 2008, Reliab. Eng. Syst. Saf..
[20] Tryphon T. Georgiou,et al. Validating Aircraft Models in the Gap Metric , 2014 .
[21] Sankaran Mahadevan,et al. Dynamic Model Discrepancy Quantification in Simulation-Based Design of Dynamical Systems , 2018, DAC 2018.
[22] Abhishek Halder,et al. Probabilistic model validation for uncertain nonlinear systems , 2014, Autom..
[23] Anne Marsden,et al. International Organization for Standardization , 2014 .
[24] Sez Atamturktur,et al. Mitigating Error and Uncertainty in Partitioned Analysis: A Review of Verification, Calibration and Validation Methods for Coupled Simulations , 2017 .
[25] Vojkan Lucanin,et al. The proposal of validation metrics for the assessment of the quality of simulations of the dynamic behaviour of railway vehicles , 2016 .
[26] Ismail Farajpour,et al. Error and Uncertainty Analysis of Inexact and Imprecise Computer Models , 2013, J. Comput. Civ. Eng..
[27] Luis G. Crespo,et al. Interval Predictor Models With a Linear Parameter Dependency , 2016 .
[28] Ryan Feeley,et al. Consistency of a Reaction Dataset , 2004 .
[29] Luis G. Crespo,et al. Interval predictor models for data with measurement uncertainty , 2017, 2017 American Control Conference (ACC).
[30] François M. Hemez,et al. Defining coverage of an operational domain using a modified nearest-neighbor metric , 2015 .
[31] Youdong Lin,et al. Probability bounds analysis for nonlinear dynamic process models , 2011 .
[32] Dan Cornford,et al. Quantifying Simulator Discrepancy in Discrete-Time Dynamical Simulators , 2011 .
[33] P. S. Els,et al. Validation metric based on relative error , 2012 .
[34] Ning Wang,et al. A New Interval Area Metric for Model Validation With Limited Experimental Data , 2018 .
[35] Sankaran Mahadevan,et al. Model Discrepancy Quantification in Simulation-Based Design of Dynamical Systems , 2018, Journal of Mechanical Design.
[36] P. L. Green. Towards the Diagnosis and Simulation of Discrepancies in Dynamical Models , 2016 .
[37] Wei Li,et al. Integrating Bayesian Calibration, Bias Correction, and Machine Learning for the 2014 Sandia Verification and Validation Challenge Problem , 2016 .
[38] Sogol Kharrazi,et al. Study of industrially applied methods for verification, validation and uncertainty quantification of simulator models , 2015, Int. J. Model. Simul. Sci. Comput..
[39] Augusto Sampaio,et al. Sound conformance testing for cyber-physical systems: Theory and implementation , 2017, Sci. Comput. Program..
[40] Scott Ferson,et al. Bounding uncertainty analyses , 2010 .
[41] Houssam Abbas,et al. Model Validation of PWM DC–DC Converters , 2017, IEEE Transactions on Industrial Electronics.
[42] Erwin M. Biebl,et al. Validation of vehicle environment sensor models , 2017, 2017 IEEE Intelligent Vehicles Symposium (IV).
[43] Lin Sun,et al. Separation of aleatory and epistemic uncertainty in probabilistic model validation , 2016, Reliab. Eng. Syst. Saf..
[44] L. Crespo,et al. Application of Interval Predictor Models to Space Radiation Shielding , 2016 .
[45] Martin Fränzle,et al. Efficient Splitting of Test and Simulation Cases for the Verification of Highly Automated Driving Functions , 2018, SAFECOMP.
[46] Nicolas Lestoille,et al. Stochastic model of high-speed train dynamics for the prediction of long-time evolution of the track irregularities , 2015 .
[47] Thomas L. Paez,et al. Why Do Verification and Validation , 2016 .
[48] Sze Zheng Yong,et al. Passive Diagnosis of Hidden-Mode Switched Affine Models with Detection Guarantees via Model Invalidation , 2018 .
[49] Ronghui Liu,et al. The principles of calibrating traffic microsimulation models , 2008 .
[50] William Oberkampf,et al. Uncertainties in Predictions of Material Performance Using Experimental Data That Is Only Distantly Related to the System of Interest , 2011, WoCoUQ.
[51] Michel Sebes,et al. Probabilistic simulation for the certification of railway vehicles , 2015 .
[52] Hermann Winner,et al. Measurements revealing Challenges in Radar Sensor Modeling for Virtual Validation of Autonomous Driving , 2018, 2018 21st International Conference on Intelligent Transportation Systems (ITSC).
[53] Benjamin Johnson,et al. Experimental Evaluation and Formal Analysis of High-Level Tasks with Dynamic Obstacle Anticipation on a Full-Sized Autonomous Vehicle , 2017, J. Field Robotics.
[54] Luis G. Crespo,et al. RANDOM PREDICTOR MODELS FOR RIGOROUS UNCERTAINTY QUANTIFICATION , 2015 .
[55] Randall J. Allemang,et al. A Principal Component Analysis (PCA) Decomposition Based Validation Metric for Use with Full Field Measurement Situations , 2014 .
[56] R. J. Barthorpe,et al. An Evaluation of Validation Metrics for Probabilistic Model Outputs , 2018 .
[57] Markus Lienkamp,et al. Statistical Model Verification and Validation Concept in Automotive Vehicle Design , 2020 .
[58] Garrison N. Stevens,et al. Experiment-Based Validation and Uncertainty Quantification of Partitioned Models: Improving Predictive Capability of Multi-Scale Plasticity Models , 2016 .
[59] François M. Hemez,et al. ESTIMATING THE ERROR IN SIMULATION PREDICTION OVER THE DESIGN SPACE , 2003 .
[60] Vicente J. Romero,et al. Real-Space Model Validation and Predictor-Corrector Extrapolation applied to the Sandia Cantilever Beam End-to-End UQ Problem , 2019, AIAA Scitech 2019 Forum.
[61] David Moens,et al. Recent Trends in the Modeling and Quantification of Non-probabilistic Uncertainty , 2019, Archives of Computational Methods in Engineering.
[62] Sankaran Mahadevan,et al. Dynamics Model Validation Using Time-Domain Metrics , 2017 .
[63] Paola Cinnella,et al. Quantification of model uncertainty in RANS simulations: A review , 2018, Progress in Aerospace Sciences.
[64] Ivo Babuška,et al. A systematic approach to model validation based on Bayesian updates and prediction related rejection criteria , 2008 .
[65] Luis G. Crespo,et al. Staircase predictor models for reliability and risk analysis , 2018, Structural Safety.
[66] Sankaran Mahadevan,et al. Quantitative model validation techniques: New insights , 2012, Reliab. Eng. Syst. Saf..
[67] V. Kreinovich,et al. Imprecise probabilities in engineering analyses , 2013 .
[68] Tarek Sayed,et al. Do Simulated Traffic Conflicts Predict Crashes? An Investigation Using the Extreme Value Approach* , 2019, 2019 IEEE Intelligent Transportation Systems Conference (ITSC).
[69] Robert G. Easterling. Statistical Foundations for Model Validation: Two Papers , 2003 .
[70] Matthias Althoff,et al. Reachability Analysis and its Application to the Safety Assessment of Autonomous Cars , 2010 .
[71] Christopher J. Roy,et al. Assessment of Model Validation and Calibration Approaches in the Presence of Uncertainty , 2019, AIAA Scitech 2019 Forum.
[72] Gabriel Terejanu,et al. Predictive Validation of Dispersion Models Using a Data Partitioning Methodology , 2015 .
[73] Frank Diermeyer,et al. Survey on Scenario-Based Safety Assessment of Automated Vehicles , 2020, IEEE Access.
[74] William L. Oberkampf,et al. Scientific computer simulation review , 2015, Reliab. Eng. Syst. Saf..
[75] Sankaran Mahadevan,et al. Integration of model verification, validation, and calibration for uncertainty quantification in engineering systems , 2015, Reliab. Eng. Syst. Saf..
[76] Christian Soize,et al. Stochastic prediction of high-speed train dynamics to long-term evolution of track irregularities , 2016 .
[77] Serge Prudhomme,et al. On the assessment of a Bayesian validation methodology for data reduction models relevant to shock tube experiments , 2012 .
[78] Matthias Althoff,et al. Reachset Conformance Testing of Hybrid Automata , 2016, HSCC.
[79] Qiao Wang,et al. VirtualWorlds as Proxy for Multi-object Tracking Analysis , 2016, 2016 IEEE Conference on Computer Vision and Pattern Recognition (CVPR).
[80] Matthew Doude,et al. Enabling Off-Road Autonomous Navigation-Simulation of LIDAR in Dense Vegetation , 2018, Electronics.
[81] G Malavasi,et al. Accuracy of the experimental assessment of running dynamics characteristics quantified through an uncertainty framework , 2017 .
[82] Junqi Yang,et al. An Integrated Validation Method for Nonlinear Multiple Curve Comparisons , 2016 .
[83] Saurabh Prabhu,et al. Uncertainty Quantification Metrics with Varying Statistical Information in Model Calibration and Validation , 2017 .
[84] Andrew S. Whittaker,et al. Cross-platform implementation, verification and validation of advanced mathematical models of elastomeric seismic isolation bearings , 2018, Engineering Structures.
[85] Christopher J. Roy,et al. Evaluation of Model Validation Techniques in the Presence of Aleatory and Epistemic Input Uncertainties , 2015 .
[86] Oldrich Polach,et al. A new approach to define criteria for rail vehicle model validation , 2014 .
[87] Peter J Seiler,et al. Validating uncertain aircraft simulation models using flight test data , 2013 .
[88] Giuseppe Carlo Calafiore,et al. Interval predictor models: Identification and reliability , 2009, Autom..
[89] Alexander Schliep,et al. Statistical Sensor Modelling for Autonomous Driving Using Autoregressive Input-Output HMMs , 2018, 2018 21st International Conference on Intelligent Transportation Systems (ITSC).
[90] Xiuying Wang,et al. A framework for propagation of uncertainty contributed by parameterization, input data, model structure, and calibration/validation data in watershed modeling , 2014, Environ. Model. Softw..
[91] Hermann Winner,et al. Analysis of Real World Sensor Behavior for Rising Fidelity of Physically Based Lidar Sensor Models , 2018, 2018 IEEE Intelligent Vehicles Symposium (IV).
[92] Wei Chen,et al. Toward a Better Understanding of Model Validation Metrics , 2011 .
[93] Bani K. Mallick,et al. The Method of Manufactured Universes for validating uncertainty quantification methods , 2011, Reliab. Eng. Syst. Saf..
[94] Sebastian Wagner,et al. Towards Cross-Verification and Use of Simulation in the Assessment of Automated Driving , 2019, 2019 IEEE Intelligent Vehicles Symposium (IV).
[95] Sankaran Mahadevan,et al. Confidence in the Prediction of Unmeasured System Output Using Roll-Up Methodology , 2019 .
[96] Haris N. Koutsopoulos,et al. Statistical Validation of Traffic Simulation Models , 2004 .
[97] Nathan W. Porter,et al. Quantified Validation with Uncertainty Analysis for Turbulent Single-Phase Friction Models , 2018, Nuclear Technology.
[98] Sankaran Mahadevan,et al. Selection of model discrepancy priors in Bayesian calibration , 2014, J. Comput. Phys..
[99] Patricia Diane Hough,et al. Sandia Verification and Validation Challenge Problem: A PCMM-Based Approach to Assessing Prediction Credibility , 2016 .
[100] J. R. Hamilton,et al. Relation of Validation Experiments to Applications: A Nonlinear Approach , 2010 .
[101] Todd A. Oliver,et al. Validating predictions of unobserved quantities , 2014, 1404.7555.
[102] Brian Milne Rutherford,et al. Computational modeling issues and methods for the “regulatory problem” in engineering – Solution to the thermal problem , 2008 .
[103] François M. Hemez,et al. Simulating the dynamics of wind turbine blades: part II, model validation and uncertainty quantification , 2013 .
[104] Hugh W. Coleman,et al. Experimentation, Validation, and Uncertainty Analysis for Engineers , 2009 .
[105] Qinshu He,et al. Model validation based on probability boxes under mixed uncertainties , 2019, Advances in Mechanical Engineering.
[106] Derek Anderson,et al. A historical review of the development of verification and validation theories for simulation models , 2017, Int. J. Model. Simul. Sci. Comput..
[107] Stephen Prajna. Barrier certificates for nonlinear model validation , 2006, Autom..
[108] Christian Bonnet,et al. Evaluating Model Mismatch Impacting CACC Controllers in Mixed , 2018, 2018 IEEE Intelligent Vehicles Symposium (IV).
[109] Oldrich Polach,et al. Verification and validation of simulations in a rail vehicle certification context , 2018 .
[110] Ricardo A. Lebensohn,et al. Experiment-based validation and uncertainty quantification of coupled multi-scale plasticity models , 2016 .
[111] Zhenfei Zhan,et al. An Integrated Deformed Surfaces Comparison Based Validation Framework for Simplified Vehicular CAE Models , 2018 .
[112] Wei Chen,et al. Assessing the Reliability of Complex Models: Mathematical and Statistical Foundations of Verification, Validation, and Uncertainty Quantification , 2012 .
[113] Wei Chen,et al. Validating Dynamic Engineering Models Under Uncertainty , 2016 .
[114] Christopher J. Roy,et al. Estimating Uncertainty Bounds for Modified Configurations from an Aerodynamic Model of a Nominal Configuration , 2018 .
[115] W. Oberkampf,et al. Model validation and predictive capability for the thermal challenge problem , 2008 .
[116] W. Oberkampf,et al. Validation of imprecise probability models , 2009 .
[117] Christopher J. Roy,et al. Verification and Validation in Scientific Computing , 2010 .
[118] Panos Y. Papalambros,et al. Comparing time histories for validation of simulation models : Error measures and metrics , 2010 .
[119] François M. Hemez,et al. Uncertainty quantification in model verification and validation as applied to large scale historic masonry monuments , 2012 .
[120] Michał Jasiński. A Generic Validation Scheme for real-time capable Automotive Radar Sensor Models integrated into an Autonomous Driving Simulator , 2019, 2019 24th International Conference on Methods and Models in Automation and Robotics (MMAR).
[121] M. Avramova,et al. Verification, validation and uncertainty quantification in multi-physics modeling for nuclear reactor design and safety analysis , 2010 .
[122] James O. Berger,et al. A Framework for Validation of Computer Models , 2007, Technometrics.
[123] Rupak Majumdar,et al. Quantifying conformance using the Skorokhod metric , 2015, CAV.
[124] Zhimin Xi,et al. Validation Metric for Dynamic System Responses under Uncertainty , 2015 .
[125] Zhouhong Zong,et al. Finite element model validation of bridge based on structural health monitoring—Part II: Uncertainty propagation and model validation , 2015 .
[126] Johan Ölvander,et al. A Concept for Credibility Assessment of Aircraft System Simulators , 2016, J. Aerosp. Inf. Syst..
[127] Sez Atamturktur,et al. Model Validation in Scientific Computing: Considering Robustness to Non-probabilistic Uncertainty in the Input Parameters , 2015 .
[128] Paul D. Arendt,et al. Quantification of model uncertainty: Calibration, model discrepancy, and identifiability , 2012 .
[129] Sean T. Smith,et al. A Validation/Uncertainty Quantification Analysis for a 1.5 MW Oxy-Coal Fired Furnace: Sensitivity Analysis , 2018 .
[130] François M. Hemez,et al. A forecasting metric for predictive modeling , 2011 .
[131] A. O'Hagan,et al. Bayesian calibration of computer models , 2001 .
[132] Adam C. Hetzler,et al. On the Aggregation and Extrapolation of Uncertainty from Component to System Level Models , 2014 .
[133] R. Walters,et al. Non-Intrusive Polynomial Chaos Methods for Uncertainty Quantification in Fluid Dynamics , 2010 .
[134] Sankaran Mahadevan,et al. Assessing the Reliability of Computational Models under Uncertainty , 2013 .
[135] Konstantinos Karydis,et al. Probabilistically valid stochastic extensions of deterministic models for systems with uncertainty , 2015, Int. J. Robotics Res..
[136] S. Mahadevan,et al. Bayesian wavelet method for multivariate model assessment of dynamic systems , 2008 .
[137] William L. Oberkampf,et al. Assessment Criteria for Computational Fluid Dynamics Model Validation Experiments , 2017 .
[138] William L. Oberkampf,et al. Estimation of Uncertainties for a Model Validation Experiment in a Wind Tunnel , 2017 .
[139] R. G. Hills,et al. Relation of Validation Experiments to Applications , 2010 .
[140] Johan Ölvander,et al. Definition and Implementation of a Method for Uncertainty Aggregation in Component-Based System Simulation Models , 2017 .
[141] D. Kammer,et al. Test-Based Uncertainty Quantification and Propagation Using Hurty/Craig-Bampton Substructure Representations , 2019, Sensors and Instrumentation, Aircraft/Aerospace, Energy Harvesting & Dynamic Environments Testing, Volume 7.
[142] Sankaran Mahadevan,et al. Options for the inclusion of model discrepancy in Bayesian calibration , 2014 .
[143] Christine Funfschilling,et al. Uncertainty quantification in vehicle dynamics , 2019, Vehicle System Dynamics.
[144] Magnus Eek,et al. On Credibility Assessment in Aircraft System Simulation , 2016 .
[145] Saurabh Prabhu,et al. Model assessment in scientific computing: Considering robustness to uncertainty in input parameters , 2017 .
[146] Lei Rao,et al. Validation of High-Fidelity Traffic Simulation Models , 2000 .
[147] Hampus Gavel,et al. Validation Techniques Applied on the Saab Gripen Fighter Environmental Control System Model , 2015 .
[148] Marc Stamminger,et al. Concerning the applicability of computer graphics for the evaluation of image processing algorithms , 2012, 2012 IEEE International Conference on Vehicular Electronics and Safety (ICVES 2012).
[149] Magnus Carlsson,et al. Enabling Uncertainty Quantification of Large Aircraft System Simulation Models , 2013 .
[150] Stefan-Alexander Schneider,et al. Generation and validation of virtual point cloud data for automated driving systems , 2017, 2017 IEEE 20th International Conference on Intelligent Transportation Systems (ITSC).
[151] Richard Guy Hills,et al. Roll-up of validation results to a target application. , 2013 .
[152] Sankaran Mahadevan,et al. Uncertainty Quantification and Integration in Multi-level Problems , 2014 .
[153] Sönke Kraft,et al. Propagation of variability in railway dynamic simulations: application to virtual homologation , 2012 .
[154] Morvan Ouisse,et al. Effect of model-form definition on uncertainty quantification in coupled models of mid-frequency range simulations , 2017 .
[155] Fabian Schuldt,et al. Defining and Substantiating the Terms Scene, Situation, and Scenario for Automated Driving , 2015, 2015 IEEE 18th International Conference on Intelligent Transportation Systems.
[156] Christopher J. Roy,et al. A HOLISTIC APPROACH TO UNCERTAINTY QUANTIFICATION WITH APPLICATION TO SUPERSONIC NOZZLE THRUST , 2012 .
[157] Hermann Winner,et al. Validation of vehicle dynamics simulation models – a review , 2014 .
[158] Hamid Reza Karimi,et al. An EEMD Aided Comparison of Time Histories and Its Application in Vehicle Safety , 2017, IEEE Access.
[159] Hasan G. Pasha,et al. Application of PCA-SVD Validation Metric to Develop Calibrated and Validated Structural Dynamic Models , 2016 .
[160] Frederic Coudert,et al. An approach for the validation of railway vehicle models based on on-track measurements , 2015 .
[161] Osman Balci,et al. Verification, validation, and accreditation , 1998, 1998 Winter Simulation Conference. Proceedings (Cat. No.98CH36274).
[162] Daniel Watzenig,et al. Methods for Improving the Accuracy of the Virtual Assessment of Autonomous Driving , 2019, 2019 IEEE International Conference on Connected Vehicles and Expo (ICCVE).
[163] Constantino M. Lagoa,et al. Convex Certificates for Model (In)validation of Switched Affine Systems With Unknown Switches , 2014, IEEE Transactions on Automatic Control.
[164] Dushan Boroyevich,et al. Modeling and design of the modular multilevel converter with parametric and model-form uncertainty quantification , 2017, 2017 IEEE Energy Conversion Congress and Exposition (ECCE).
[165] Vinod Sharma,et al. Verification and Validation of Computational Modeling in Energy Systems , 2018 .
[166] Serge P. Hoogendoorn,et al. Traffic Simulation and Data : Validation Methods and Applications , 2014 .
[167] Matthias Althoff,et al. Reachability computation of low-order models for the safety verification of high-order road vehicle models , 2012, 2012 American Control Conference (ACC).
[168] François M. Hemez,et al. Defining predictive maturity for validated numerical simulations , 2010 .
[169] Laura Mazzola,et al. Virtual testing environment tools for railway vehicle certification , 2015 .
[170] Johan Ölvander,et al. A Framework for Early and Approximate Uncertainty Quantification of Large System Simulation Models , 2015 .
[171] Jonathan Sadeghi,et al. Frequentist history matching with Interval Predictor Models , 2018, Applied Mathematical Modelling.
[172] Sankaran Mahadevan,et al. Bayesian estimation of discrepancy in dynamics model prediction , 2019 .
[173] A. J. Baker. Summary -VVUQ: verification, validation, uncertainty quantification , 2014 .
[174] Alois Knoll,et al. Simulation and Its Contribution to Evaluate Highly Automated Driving Functions , 2019, SAE Technical Paper Series.
[175] Ren-Jye Yang,et al. Research on Validation Metrics for Multiple Dynamic Response Comparison under Uncertainty , 2015 .
[176] Arjen Koop,et al. Validation: What, Why and How , 2016 .
[177] Sankaran Mahadevan,et al. Optimal Test Selection for Prediction Uncertainty Reduction , 2016 .