# Probabilistic model validation for uncertain nonlinear systems

@article{Halder2014ProbabilisticMV, title={Probabilistic model validation for uncertain nonlinear systems}, author={Abhishek Halder and R. Bhattacharya}, journal={Autom.}, year={2014}, volume={50}, pages={2038-2050} }

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

#### Figures, Tables, and Topics from this paper

#### 14 Citations

Probabilistically valid stochastic extensions of deterministic models for systems with uncertainty

- Computer Science
- Int. J. Robotics Res.
- 2015

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

- Engineering
- 2015

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 parametric… Expand

Unified Framework and Survey for Model Verification, Validation and Uncertainty Quantification

- Computer Science
- 2020

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

- Computer Science
- Reliab. Eng. Syst. Saf.
- 2019

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

- Computer Science
- International Journal of Thermal Sciences
- 2018

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

- Computer Science, Mathematics
- NeurIPS
- 2020

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

- Mathematics
- 2015

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 model… Expand

Path-based measures of expansion rates and Lagrangian transport in stochastic flows

- Computer Science, Mathematics
- ArXiv
- 2018

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

- Computer Science, Mathematics
- IEEE Transactions on Automatic Control
- 2020

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

- Mathematics
- 2016

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-based… Expand

#### References

SHOWING 1-10 OF 130 REFERENCES

Model validation: A probabilistic formulation

- 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

- Mathematics, Computer Science
- Autom.
- 2009

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 not… Expand

Barrier certificates for nonlinear model validation

- 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

- Mathematics
- Proceedings of 1995 American Control Conference - ACC'95
- 1995

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 solve… Expand

A probabilistic construction of model validation

- Mathematics
- 2008

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 approach… Expand

Further results on probabilistic model validation in Wasserstein metric

- Mathematics, Computer Science
- 2012 IEEE 51st IEEE Conference on Decision and Control (CDC)
- 2012

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

- Computer Science
- 1992 American Control Conference
- 1992

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

- Mathematics
- Proceedings of 35th IEEE Conference on Decision and Control
- 1996

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 plant… Expand

Continuous-time control model validation using finite experimental data

- Computer Science, Mathematics
- IEEE Trans. Autom. Control.
- 1996

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

- Mathematics
- 1992

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 model… Expand