Probabilistic model validation for uncertain nonlinear systems

  title={Probabilistic model validation for uncertain nonlinear systems},
  author={Abhishek Halder and R. Bhattacharya},
This paper presents a probabilistic model validation methodology for nonlinear systems in time-domain. The proposed formulation is simple, intuitive, and accounts both deterministic and stochastic nonlinear systems with parametric and nonparametric uncertainties. Instead of hard invalidation methods available in the literature, a relaxed notion of validation in probability is introduced. To guarantee provably correct inference, algorithm for constructing probabilistically robust validation… Expand
Probabilistically valid stochastic extensions of deterministic models for systems with uncertainty
A new data-driven methodology is reported on that extends deterministic models to a stochastic regime and offers probabilistic guarantees of model fidelity, and can be applied to an array of physical processes. Expand
Optimal Transport Approach for Probabilistic Robustness Analysis of F-16 Controllers
gain-scheduled linear quadratic regulator are compared, where both controllers are applied to nonlinear open-loop dynamics of an F-16, in the presence of stochastic initial condition and parametricExpand
Unified Framework and Survey for Model Verification, Validation and Uncertainty Quantification
A novel modular and unified framework to enable credible decision making based on simulation models that combines a variety of VV&UQ methods, so that different engineering areas can benefit from new methods and combinations. Expand
Novel model calibration method via non-probabilistic interval characterization and Bayesian theory
A novel model calibration method that combines non-probabilistic interval technology with Bayesian analysis theory is proposed that can be used to increase the agreement between experimental response measurements and computational response results. Expand
Evidence-theory-based model validation method for heat transfer system with epistemic uncertainty
A novel model validation approach by using evidence theory is proposed, where the evidence variables are adopted to characterize the uncertain input parameters, and the focal elements are expressed as mutually connected intervals with basic probability assignment (BPA). Expand
Reasoning about Uncertainties in Discrete-Time Dynamical Systems using Polynomial Forms
This paper proposes polynomial forms to represent distributions of state variables over time for discrete-time stochastic dynamical systems, and shows how concentration of measure inequalities can be employed to prove rigorous bounds on the tail probabilities of these state variables. Expand
Equivalence of non-linear model structures based on Pareto uncertainty
In view of practical limitations, it is not always feasible to find the  best model structure. In such situations, a more realistic problem to address seems to be the choice of a set of modelExpand
Path-based measures of expansion rates and Lagrangian transport in stochastic flows
A systematic information-theoretic framework is developed for a probabilistic characterisation of expansion rates in non-autonomous stochastic dynamical systems which are known over a finite time interval to improve Lagrangian (trajectory-based) predictions in multi-scale systems based on simplified, data-driven models. Expand
Gradient Flow Algorithms for Density Propagation in Stochastic Systems
A new computational framework to solve the partial differential equations (PDEs) governing the flow of the joint probability density functions (PDFs) in continuous-time stochastic nonlinear systems is developed and dualization along with an entropic regularization leads to a cone-preserving fixed point recursion that is proved to be contractive in Thompson metric. Expand
Recursive least squares algorithm and gradient algorithm for Hammerstein–Wiener systems using the data filtering
This paper considers the parameter estimation problems of Hammerstein–Wiener systems by using the data filtering technique. In order to improve the estimation accuracy, the data filtering-basedExpand


Model validation: A probabilistic formulation
  • A. Halder, R. Bhattacharya
  • Computer Science, Mathematics
  • IEEE Conference on Decision and Control and European Control Conference
  • 2011
The proposed validation framework is simple, intuitive, and can account both deterministic and stochastic nonlinear systems in presence of parametric and nonparametric uncertainties. Expand
Risk-sensitivity conditions for stochastic uncertain model validation
The paper presents sufficient and necessary conditions that verify the relevance of an assumed linear stochastic system model for problems in which probabilistic characteristics of the plant are notExpand
Barrier certificates for nonlinear model validation
  • S. Prajna
  • Mathematics, Computer Science
  • Autom.
  • 2006
Methods for model validation of continuous-time nonlinear systems with uncertain parameters are presented, which employ functions of state-parameter-time whose existence proves that a model and a feasible parameter set are inconsistent with some time-domain experimental data. Expand
Validation of linear fractional uncertain models: solutions via matrix inequalities
A time domain approach is provided in this paper to tackle the problem of model validation pertaining to uncertain models described by linear fractional transforms. Algorithms are given to solveExpand
A probabilistic construction of model validation
We describe a procedure to assess the predictive accuracy of process models subject to approximation error and uncertainty. The proposed approach is a functional analysis-based probabilistic approachExpand
Further results on probabilistic model validation in Wasserstein metric
It is shown that the existing method of barrier certificate based nonlinear invalidation oracle, can be recovered as a special case of the proposed formulation of probabilistic formulation for model validation problem. Expand
A Time-Domain Approach to Model Validation
A novel approach to control-oriented model validation problems that directly uses time-domain input output data to validate uncertainty models and reduces to convex feasibility programming problems. Expand
Probabilistic robustness analysis: explicit bounds for the minimum number of samples
In this paper, we study robustness analysis of control systems affected by bounded uncertainty. Motivated by the difficulty to perform this analysis when the uncertainty enters into the plantExpand
Continuous-time control model validation using finite experimental data
A theoretical framework, and a computational solution, for the model validation problem in the case where the model, including unknown perturbations and signals, is given in the continuous time domain, yet the experimental datum is a finite, sampled signal. Expand
Model validation: a connection between robust control and identification
The gap between the models used in control synthesis and those obtained from identification experiments is considered by investigating the connection between uncertain models and data. The modelExpand