Probabilistic model validation for uncertain nonlinear systems

Automatica

Volumn 50, Issue 8, 2014, Pages 2038-2050

  Halder, Abhishek ^a   Bhattacharya, Raktim ^a  

^a Texas AandM University   (United States)

Author keywords

Model validation; Optimal transport; Uncertainty propagation; Wasserstein distance

Indexed keywords

INFERENCE ENGINES;

MODEL VALIDATION; NONPARAMETRIC UNCERTAINTIES; OPTIMAL TRANSPORT; PROBABILISTIC MODEL VALIDATION; STOCHASTIC NONLINEAR SYSTEMS; UNCERTAIN NONLINEAR SYSTEMS; UNCERTAINTY PROPAGATION; WASSERSTEIN DISTANCE;

NONLINEAR SYSTEMS;

EID: 84905270460     PISSN: 00051098     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.automatica.2014.05.026     Document Type: Conference Paper

References (77)

1. K.B. Athreya, and J. Dai Random logistic maps. I Journal of Theoretical Probability 13 2 2000 595 608
2. C. Baier, and J.P. Katoen Principles of model checking 1st ed. 2008 The MIT Press
3. Boissard, E.; le Gouic, T. (2011). "Exact" deviations in Wasserstein distance for empirical and occupation measures. Preprint, arXiv:1103.3188v1. Available at http://arxiv.org/abs/1103.3188v1.
4. E. Brown, J. Moehlis, and P. Holmes On the phase reduction and response dynamics of neural oscillator populations Neural Computation 16 4 2004 673 715
5. Brugarolas, P.B.; Safonov, M.G. (2002). A data driven approach to learning dynamical systems. In IEEE Conference on decision and control, Las Vegas, Nevada.
6. R.E. Burkard, M. Dell'Amico, and S. Martello Assignment problems 2009 SIAM PA
7. S.L. Campbell Singular systems of differential equations 1st ed. 1980 Pitman
8. J. Chen, and S. Wang Validation of linear fractional uncertain models: solutions via matrix inequalities IEEE Transactions on Automatic Control 41 6 1996 844 849
9. F. Ciesinski, and M. Größer On probabilistic computation tree logic C. Baier, B.R. Haverkort, H. Hermanns, J.P. Katoen, M. Siegle, Validation of stochastic systems Lecture notes in computer science vol. 2925 2004 Springer 147 188
10. I. Csiszár Information-type measures of difference of probability distributions and indirect observations Studia Scientiarium Mathematicarum Hungarica 2 1967 299 318
11. H. Djellout, A. Guillin, and L. Wu Transportation cost-information inequalities and applications to random dynamical systems and diffusions The Annals of Probability 32 3B 2004 2702 2732
12. Dutta, P.; Halder, A.; Bhattacharya, R. (2012). Uncertainty quantification for stochastic nonlinear systems using Perron-Frobenius operator and Karhunen-Loève expansion. In IEEE multi-conference on systems and control, Dubrovnik, Croatia.
13. Dutta, P.; Halder, A.; Bhattacharya, R. (2013). Nonlinear filtering with transfer operator. In American control conference, Washington DC.
14. A. Edelman, and B.D. Sutton From random matrices to stochastic operators Journal of Statistical Physics 127 6 2007 1121 1165
15. T. Geisel, and V. Fairen Statistical properties of chaos in Chebyshev maps Physics Letters A 105 6 1984 263 266
16. T.T. Georgiou Distances and Riemannian metrics for spectral density functions IEEE Transactions on Signal Processing 55 8 2007 3995 4003
17. M. Gevers, X. Bombois, B. Codrons, G. Scorletti, and B.D.O. Anderson Model validation for control and controller validation in a prediction error identification framework-part I: theory Automatica 39 3 2003 403 415
18. R.G. Ghanem, A. Doostan, and J. Red-Horse A probabilistic construction of model validation Computer Methods in Applied Mechanics and Engineering 197 29-32 2008 2585 2595
19. A.L. Gibbs, and F.E. Su On choosing and bounding probability metrics International Statistical Review 70 3 2002 419 435
20. C.R. Givens, and R.M. Shortt A class of Wasserstein metrics for probability distributions Michigan Mathematical Journal 31 2 1984 231 240
21. Halder, A.; Bhattacharya, R. (2010). Beyond Monte Carlo: a computational framework for uncertainty propagation in planetary entry, descent and landing. In AIAA guidance, navigation and control conference, Toronto.
22. A. Halder, and R. Bhattacharya Dispersion analysis in hypersonic flight during planetary entry using stochastic Liouville equation Journal of Guidance, Control, and Dynamics 34 2 2011
23. Halder, A.; Bhattacharya, R. (2011b). Model validation: a probabilistic formulation. In IEEE Conference on decision and control, Orlando, Florida.
24. Halder, A.; Bhattacharya, R. (2012). Further results on probabilistic model validation in Wasserstein metric. In IEEE conference on decision and control, Maui, Hawaii.
25. A. Halder, and R. Bhattacharya Probabilistic model validation for uncertain nonlinear systems Extended technical report 2014 arXiv:1402.0140. Available at http://arxiv.org/abs/1402.0140
26. F. Hitchcock The distribution of a product from several sources to numerous localities Journal of Mathematics and Physics 20 2 1941 224 230
27. C.S. Hsu Cell-to-cell mapping: a method of global analysis for nonlinear systems Applied mathematical sciences vol. 64 1987 Springer-Verlag NY
28. R. Jordan, D. Kinderlehrer, and F. Otto The variational formulation of the Fokker-Planck equation SIAM Journal on Mathematical Analysis 29 1 1998 1 17
29. Julien, R.; Peyré, G.; Delon, J.; Marc, B. (2010). Wasserstein barycenter and its application to texture mixing. Preprint. Available at http://hal.archives-ouvertes.fr/hal-00476064/fr/.
30. F.C. Klebaner Population and density dependent branching processes K.B. Athreya, P. Jagers, Classical and modern branching processes IMA vol. 84 1997 Springer-Verlag
31. T.C. Koopmans Optimum utilization of the transportation system Econometrica: Journal of the Econometric Society 17 1949 136 146
32. T.C. Koopmans Efficient allocation of resources Econometrica: Journal of the Econometric Society 19 4 1951 455 465
33. M. Kumar, S. Chakravorty, and J.L. Junkins A semianalytic meshless approach to the transient Fokker-Planck equation Probabilistic Engineering Mechanics 25 3 2010 323 331
34. A. Lasota, and M. Mackey Chaos, fractals and noise: stochastic aspects of dynamics 2nd ed. Applied mathematical sciences vol. 97 1994 Springer-Verlag NY
35. L.H. Lee, and K. Poolla On statistical model validation Journal of Dynamic Systems, Measurement, and Control 118 2 1996 226 236
36. J.-S. Li, and N. Khaneja Ensemble control of Bloch equations IEEE Transactions on Automatic Control 54 3 2009 528 536
37. D. Liberzon, and R.W. Brockett Nonlinear feedback systems perturbed by noise: steady-state probability distributions and optimal control IEEE Transactions on Automatic Control 45 6 2000 1116 1130
38. L. Ljung System identification: theory for the user 2nd ed. 1999 Prentice-Hall Inc.
39. L. Ljung, and L. Guo The role of model validation for assessing the size of the unmodeled dynamics IEEE Transactions on Automatic Control 42 9 1997 1230 1239
40. M. Mackey, and M. Tyran-Kamińska Deterministic Brownian motion: the effects of perturbing a dynamical system by a chaotic semi-dynamical system Physics Reports 422 5 2006 167 222
41. A. Megretski, and A. Rantzer System analysis via integral quadratic constraints IEEE Transactions on Automatic Control 42 6 1997 819 830
42. S. Meyn, and R.L. Tweedie Markov chains and stochastic stability 2nd ed. 2009 Cambridge University Press
43. A. Müller Integral probability metrics and their generating classes of functions Advances in Applied Probability 29 1997 429 443
44. X. Nguyen, M.J. Wainwright, and M.I. Jordan Estimating divergence functionals and the likelihood ratio by convex risk minimization IEEE Transactions on Information Theory 56 11 2010 5847 5861
45. H. Niederreiter Random number generation and quasi-Monte Carlo methods CBMS-NSF regional conference series in applied mathematics 1992 SIAM
46. B. ∅ksendal Stochastic differential equations: an introduction with applications 6th ed. 2003 Springer
47. A. Papoulis Random variables and stochastic processes 2nd ed. 1984 McGraw-Hill NY
48. P.A. Parrilo Structured semidefinite programs and semialgebraic geometry methods in robustness and optimization (Ph.D. thesis) 2000 California Institute of Technology Pasadena, CA
49. K. Poolla, P. Khargonekar, A. Tikku, J. Krause, and K. Nagpal A time-domain approach to model validation IEEE Transactions on Automatic Control 39 5 1994 951 959
50. K. Popper Conjectures and refutations: the growth of scientific knowledge 2nd ed. 2002 Routledge
51. S. Prajna Barrier certificates for nonlinear model validation Automatica 42 1 2006 117 126
52. Prajna, S.; Papachristodoulou, A.; Parrilo, P.A. (2002). Introducing SOSTOOLS: a general purpose sum of squares programming solver. In IEEE Conference on decision and control.
53. Prajna, S.; Rantzer, A. (2005). On the necessity of barrier certificates. In Proceedings of the IFAC world congress.
54. S. Prajna, and A. Rantzer Convex programs for temporal verification of nonlinear dynamical systems SIAM Journal on Control and Optimization 46 3 2007 999 1021
55. S.T. Rachev The Monge-Kantorovich mass transference problem and its stochastic applications Theory of Probability and its Applications 29 1985 647 676
56. S.T. Rachev Probability metrics and the stability of stochastic models 1st ed. 1991 John Wiley
57. A. Rantzer A dual to Lyapunov's stability theorem Systems & Control Letters 42 3 2001 161 168
58. Rantzer, A.; Prajna, S. (2004). On analysis and synthesis of safe control laws. In Proceedings of the Allerton conference on communication, control, and computing.
59. H. Risken The Fokker-Planck Equation: methods of solution and applications 1989 Springer-Verlag NY
60. R.S. Smith, and J.C. Doyle Model validation: a connection between robust control and identification IEEE Transactions on Automatic Control 37 7 1992 942 952
61. R. Smith, and G.E. Dullerud Continuous-time control model validation using finite experimental data IEEE Transactions on Automatic Control 41 8 1996 1094 1105
62. Sriperumbudur, B.K.; Fukumizu, K.; Gretton, A.; Schölkopf, B.; Lanckriet, G.R.G. (2009). On integral probability metrics, -divergences and binary classification. Preprint, arXiv:0901.2698v4. Available at http://arxiv.org/abs/0901.2698v4.
63. B.K. Sriperumbudur, K. Fukumizu, A. Gretton, B. Schölkopf, and G.R.G. Lanckriet On the empirical estimation of integral probability metrics Electronic Journal of Statistics 6 2012 1550 1599
64. Y. Sun, and P.G. Mehta The Kullback-Leibler rate pseudo-metric for comparing dynamical systems IEEE Transactions on Automatic Control 55 7 2010 1585 1598
65. M. Talagrand Transportation cost for Gaussian and other product measures Geometric and Functional Analysis 6 3 1996 587 600
66. V.A. Ugrinovskii Risk-sensitivity conditions for stochastic uncertain model validation Automatica 45 11 2009 2651 2658
67. S.S. Vallander Calculation of the Wasserstein distance between distributions on the line Theory of Probability and its Applications 18 1973 784 786
68. A.J. van der Schaft, and H. Schumacher An introduction to hybrid dynamical systems 1st ed. LNCS vol. 251 1999 Springer
69. J. van Schuppen Stochastic realization problems Three decades of mathematical system theory: a collection of surveys at the occasion of the 50th birthday of Jan C. Willems Lecture notes in control and information sciences vol. 135 1989 Springer 480 523
70. M. Vidyasagar Randomized algorithms for robust controller synthesis using statistical learning theory Automatica 37 10 2001 1515 1528
71. C. Villani Topics in optimal transportation 1st ed. 2003 American Mathematical Society
72. S.A. Wadoo, and P. Kachroo Feedback control of crowd evacuation in one dimension IEEE Transactions on Intelligent Transportation Systems 11 1 2010 182 193
73. B. Wahlberg, and L. Ljung Hard frequency-domain model error bounds from least-squares like identification techniques IEEE Transactions on Automatic Control 37 7 1992 900 912
74. H. Wang Robust control of the output probability density functions for multivariable stochastic systems with guaranteed stability IEEE Transactions on Automatic Control 44 11 1999 2103 2107
75. H. Wang, H. Baki, and P. Kabore Control of bounded dynamic stochastic distributions using square root models: an applicability study in papermaking systems Transactions of the Institute of Measurement and Control 23 1 2001 51 68
76. Q. Wang, S.R. Kulkarni, and S. Verdú Divergence estimation of continuous distributions based on data-dependent partitions IEEE Transactions on Information Theory 51 9 2005 3064 3074
77. D. Xu, Z. Ren, G. Gu, and J. Chen LFT uncertain model validation with time and frequency domain measurements IEEE Transactions on Automatic Control 44 7 1999 1435 1441