Uses of New Sensitivity and Dae Solving Methods in SmartMobile for Verified Analysis of Mechanical Systems
By: Ekaterina Auer and Wolfram Luther
Open Access
|Sep 2009References
- Auer, E. (2007)., Ph.D. thesis, Universität Duisburg-Essen, Duisburg.
- Auer, E. and Luther, W. (2007). SmartMOBILE—An environment for guaranteed multibody modeling and simulation,, pp. 109-116.
- Auer, E. and Luther, W. (2009). Numerical verification assessment in computational biomechanics,, Vol., Springer-Verlag, Berlin/Heidelberg, pp. 145-160.
- Auer, E., Tändl, M., Strobach, D. and Kecskeméthy, A. (2007). Toward validating a simplified muscle activation model in SmartMOBILE,, p. 7.
- Bell, B. M. (2006). Automatic differentiation software CppAD.
- Bendsten, C. and Stauning, O. (1996). FADBAD, a flexible C++ package for automatic differentiation using the forward and backward methods,, Technical University of Denmark, Lyngby.
- Berz, M. and Makino, K. (2006). COSY INFINITY 9.0. Programmer's manual,, Michigan State University, East Lansing, MI.
- Eble, I. (2007)., Ph.D. thesis, Universität Karlsruhe, Karlsruhe.
- Griewank, A. (2000)., SIAM, Philadelphia, PA.
- Hammer, R., Hocks, M., Kulisch, U. and Ratz, D. (1995)., Springer-Verlag, Heidelberg/New York, NY.
- Kecskeméthy, A. and Hiller, M. (1994). An object-oriented approach for an effective formulation of multibody dynamics,(3-4): 287-314.
- Knüppel, O. (1994). PROFIL/BIAS—A fast interval library,(3-4): 277-287.
- Knuth, D. E. and Levy, S. (1993)., Addison-Wesley, Reading, MA.
- Krawczyk, R. (1969). Newton-Algorithmen zur Bestimmung von Nullstellen mit Fehlerschranken,(3): 187-201.
- Lin, Y. and Stadtherr, M. A. (2006). Validated solution of initial value problems for ODEs with interval parameters,.
- Nedialkov, N. and Pryce, J. (2007). Solving differential-agebraic equations by Taylor series (III): The DAETS code,(1): 1-30.
- Nedialkov, N. S. (2002). The design and implementation of an object-oriented validated ODE solver,, University of Toronto, Toronto.
- Rauh, A., Auer, E. and Hofer, E. P. (2007a). ValEncIA-IVP: A comparison with other initial value problem solvers,, p. 36.
- Rauh, A., Auer, E., Minisini, J. and Hofer, E. P. (2007b). Extensions of ValEncIA-IVP for reduction of overestimation, for simulation of differential algebraic systems, and for dynamical optimization,(1): 1023001-1023002.
- Rauh, A., Minisini, J. and Hofer, E. P. (2009). Towards the development of an interval arithmetic environment for validated computer-aided design and verification of systems in control engineering,, Lecture Notes in Computer Science, Vol., Springer—Verlag, Berlin/Heidelberg, pp. 175-188.
- Schlesinger, S. (1979). Terminology for model credibility,(3): 103-104.
- Strobach, D., Kecskeméthy, A., Steinwender, G. and Zwick, B. (2005). A Simplified Approach for Rough Identification of Muscle Activation Profiles via Optimization and Smooth Profile Patches,.
- Tändl, M., Stark, T., Erol, N. E., Löer, F. and Kecskeméthy, A. (2009). An object-oriented approach to simulating human gait motion based on motion tracking,(3): 469-483.
Language: English
Page range: 455 - 467
Published on: Sep 24, 2009
Published by: University of Zielona Góra
In partnership with: Paradigm Publishing Services
Publication frequency: 4 issues per year
Keywords:
Related subjects:
© 2009 Ekaterina Auer, Wolfram Luther, published by University of Zielona Góra
This work is licensed under the Creative Commons License.