Derivation of Physically Motivated Constraints for Efficient Interval Simulations Applied to the Analysis of Uncertain Dynamical Systems

Bendsten, C. and Staunting, O. (2007). FADBAD++, Version 2.1, Available at: http://www.fadbad.com/fadbad.htmlSearch in Google Scholar

Boyd, S., Gosh, A. and Magnani, A. (2003). Branch and bound methods, Available at: http://www.stanford.edu/class/ee3920/bb.pdfSearch in Google Scholar

Clausen, J. (1999). Branch and bound algorithms: Principles and examples, Available at: citeseer.ist.psu.edu/683497.htmlSearch in Google Scholar

de Figueiredo, L. H., van Iwaarden, R. and Stolfi, J. (1997). Fast interval branch-and-bound methods for unconstrained global optimization with affine arithmetic, Technical Report IC-97-08, Institute of Computing, University of Campinas, Campinas, Brazil.Search in Google Scholar

Hofer, E. P., Fan, Y. and Tibken, B. (1991a). Extraction of rules for model based estimation of granulocytopoiesis, in M. Frik (Ed.), 5th German-Japanese Seminar Nonlinear Problems in Dynamical Systems—Theory and Applications, Daun, Vulkaneifel, pp. 58-68.Search in Google Scholar

Hofer, E. P., Tibken, B. and Fliedner, T. M. (1991b). Modern control theory as a tool to describe the biomathematical model of granulocytopoiesis, in D. Möller and O. Richter (Eds.), Analyse dynamischer Systeme in Medizin, Biologie, Ökologie, Vol. 275, Springer-Verlag, Berlin, pp. 33-39.10.1007/978-3-642-77020-3_4Search in Google Scholar

Kearfott, R. B. (1992). An interval branch and bound algorithm for bound constrained optimization problems, Journal of Global Optimization 2(3): 259-280.10.1007/BF00171829Search in Google Scholar

Keil, C. (2007). Profil/Bias, Version 2.0.4, Available at: http://www.ti3.tu-harburg.de/keil/profil/Search in Google Scholar

Maschke, B. M. and van der Schaft, A. J. (2000). Portcontrolled Hamiltonian representation of distributed parameter systems, in N. E. Leonard and R. Ortega (Eds.), Proceedings of the IFAC Workshop on Lagrangian and Hamiltonian Methods for Nonlinear Control, Princeton, NJ, USA, pp. 28-38.Search in Google Scholar

Moore, R. E. (1964). Error in Digital Computation, the Automatic Analysis and Control of Error, John Wiley & Sons, New York, NY.Search in Google Scholar

Nedialkov, N. S. (2007). Interval tools for ODEs and DAEs, CD-Proceedings of the 12th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics SCAN 2006, Duisburg, Germany, IEEE Computer Society, Los Alamitos, CA.Search in Google Scholar

Pfeiffer, F. and Reithmeier, E. (1987). Roboterdynamik, Teubner, Stuttgart, (in German).Search in Google Scholar

Rauh, A. (2008). Theorie und Anwendung von Intervall-methoden für Analyse und Entwurf robuster und optimaler Regelungen dynamischer Systeme, Fortschritt-Berichte VDI, Reihe 8, Nr. 1148, PhD thesis, University of Ulm, Ulm, (in German).Search in Google Scholar

Rauh, A., Auer, E. and Hofer, E. P. (2007). ValEncIA-IVP: A comparison with other initial value problem solvers, CD-Proceedings of the 12th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics SCAN 2006, Duisburg, Germany, IEEE Computer Society, Los Alamitos, CA.10.1109/SCAN.2006.47Search in Google Scholar

Rauh, A., Brill, M. and Günther, C. (2009). A novel interval arithmetic approach for solving differential-algebraic equations with ValEncIA-IVP, International Journal of Applied Mathematics and Computer Science 19(3): 381-397.10.2478/v10006-009-0032-4Search in Google Scholar

Singer, A. B. and Barton, P. I. (2006). Bounding the solutions of parameter dependent nonlinear ordinary differential equations, SIAM Journal on Scientific Computing 27(6): 2167-2182.10.1137/040604388Search in Google Scholar

The American Heritage Medical Dictionary (2007). Houghton Mifflin Company, Boston, MA.Search in Google Scholar

van der Schaft, A. J. (2005). Network modeling and control of physical systems, DISC theory of port-Hamiltonian systems, Available at: http://www.vf.utwente.nl/~schaftaj/downloads-diversen/DISCportbased1.pdfSearch in Google Scholar

van der Schaft, A. J. and Maschke, B. M. J. (2003). Port-Hamiltonian systems: A theory for modeling, simulation and control of complex physical systems, Available at: http://www-lar.deis.unibo.it/eurongeoplex-sumsch/files/lectures_1/VanDerSchaft/VDSchaft_01_PCHS.pdfSearch in Google Scholar