Table of Contents Author Guidelines Submit a Manuscript
Mathematical Problems in Engineering
Volume 2015, Article ID 793216, 9 pages
http://dx.doi.org/10.1155/2015/793216
Research Article

Validation of Simulation Models without Knowledge of Parameters Using Differential Algebra

1Fraunhofer Institute for Structural Durability and System Reliability LBF, 64289 Darmstadt, Germany
2Institute for Mechanics, Otto-von-Guericke University, 39106 Magdeburg, Germany

Received 5 March 2015; Revised 29 June 2015; Accepted 1 July 2015

Academic Editor: Yuri Vladimirovich Mikhlin

Copyright © 2015 Björn Haffke et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Linked References

  1. J. Banks, Handbook of Simulation. Principles, Methodology, Advances, Applications, and Practice, Wiley, Engineering & Management Press, New York, NY, USA, 1998.
  2. D. W. Peterson and R. L. Eberlein, “Reality check: a bridge between systems thinking and system dynamics,” System Dynamics Review, vol. 10, no. 2-3, pp. 159–174, 1994. View at Google Scholar
  3. O. Balci, “Verification, validation and accreditation of simulation models,” in Proceedings of the 29th Winter Simulation Conference, S. N. Andradóttir, Ed., IEEE Computer Society, Atlanta, Ga, USA, 1997.
  4. D. J. Murray-Smith, “Methods for the external validation of continuous system simulation models: a review,” Mathematical and Computer Modelling of Dynamical Systems, vol. 4, no. 1, pp. 5–31, 1998. View at Publisher · View at Google Scholar · View at Scopus
  5. J. W. Forrester and P. M. Senge, “Tests for building confidence in system dynamics models,” in System Dynamics, vol. 14 of TIMS Studies in the Management Sciences, pp. 209–228, 1980. View at Google Scholar
  6. Y. Barlas, “Formal aspects of model validity and validation in system dynamics,” System Dynamics Review, vol. 12, no. 3, pp. 183–210, 1996. View at Publisher · View at Google Scholar · View at Scopus
  7. J. F. Ritt, Differential Algebra, American Mathematical Society, Providence, RI, USA, 1950.
  8. M. Fliess, “Nonlinear control theory and differential algebra,” in Modelling and Adaptive Control, C. Byrnes and A. Kurzhanski, Eds., pp. 134–145, Springer, Berlin, Germany, 1988. View at Google Scholar
  9. L. Ljung and T. Glad, “On global identifiability for arbitrary model parametrizations,” Automatica, vol. 30, no. 2, pp. 265–276, 1994. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at Scopus
  10. T. Wey, Einführung in die Differentialalgebra und ihre Anwendung auf nichtlineare Systeme, Forschungsbericht, Universität Duisburg-Essen, Essen, Germany, 1992.
  11. F. Boulier, “Differential elimination and biological modelling,” in Gröbner Bases in Symbolic Analysis, M. Rosenkranz and D. Wang, Eds., pp. 111–139, Walter De Gruyter, New York, NY, USA, 2007. View at Google Scholar
  12. E. Pico-Marco, “Differential algebra for control systems design: constructive computation of canonical forms,” IEEE Control Systems Magazine, vol. 33, no. 2, pp. 52–62, 2013. View at Publisher · View at Google Scholar · View at MathSciNet
  13. T. Glad, “Implementing Ritt's algorithm of differential algebra,” in Proceedings of the 2nd IFAC Symposium on Nonlinear Control Systems Design (NOLCOS '92), Bordeaux, France, 1992.
  14. G. Bellu, M. P. Saccomani, S. Audoly, and L. D'Angiò, “DAISY: a new software tool to test global identifiability of biological and physiological systems,” Computer Methods and Programs in Biomedicine, vol. 88, no. 1, pp. 52–61, 2007. View at Publisher · View at Google Scholar · View at Scopus
  15. E. R. Kolchin, Differential Algebra and Algebraic Groups, Academic Press, New York, NY, USA, 1973. View at MathSciNet
  16. A. Raue, C. Kreutz, T. Maiwald et al., “Structural and practical identifiability analysis of partially observed dynamical models by exploiting the profile likelihood,” Bioinformatics, vol. 25, no. 15, pp. 1923–1929, 2009. View at Publisher · View at Google Scholar · View at Scopus
  17. R. Bellman and K. J. Åström, “On structural identifiability,” Mathematical Biosciences, vol. 7, no. 3-4, pp. 329–339, 1970. View at Publisher · View at Google Scholar · View at Scopus
  18. M. J. Chapman, K. R. Godfrey, M. J. Chappell, and N. D. Evans, “Structural identifiability for a class of non-linear compartmental systems using linear/non-linear splitting and symbolic computation,” Mathematical Biosciences, vol. 183, no. 1, pp. 1–14, 2003. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at Scopus
  19. E. Balsa-Canto, A. A. Alonso, and J. R. Banga, “An iterative identification procedure for dynamic modeling of biochemical networks,” BMC Systems Biology, vol. 4, article 11, 2010. View at Publisher · View at Google Scholar · View at Scopus
  20. Q. Zhang, M. Basseville, and A. Benveniste, “Fault detection and isolation in nonlinear dynamic systems: a combined input-output and local approach,” Automatica, vol. 34, no. 11, pp. 1359–1373, 1998. View at Publisher · View at Google Scholar · View at Scopus
  21. E. Frisk, Residual generation for fault diagnosis [Dissertation], Linköpings Universitet, 2001.
  22. J. Polzer, Erweiterte Anwendbarkeit Differentialalgebraischer Analysemethoden durch die Nutzung von Ersatzsystemen, Universität Duisburg-Essen, Forschungsbericht, Essen, Germany, 1998.
  23. F. Tyan, Y.-F. Hong, S.-H. Tu, and W. S. Jent, “Generation of random road profiles,” Journal of Advanced Engineering, vol. 4, no. 2, pp. 1373–1378, 2009. View at Google Scholar
  24. F. Boulier, D. Lazard, F. Ollivier, and M. Petitot, “Computing representations for radicals of finitely generated differential ideals,” Applicable Algebra in Engineering, Communications and Computing, vol. 20, no. 1, pp. 73–121, 2009. View at Publisher · View at Google Scholar · View at Scopus