Domain decomposition and model reduction for the numerical solution of PDE constrained optimization problems with localized optimization variables

We introduce a technique for the dimension reduction of a class of PDE constrained optimization problems governed by linear time dependent advection diffusion equations for which the optimization variables are related to spatially localized quantities. Our approach uses domain decomposition applied to the optimality system to isolate the subsystem that explicitly depends on the optimization variables from the remaining linear optimality subsystem. We apply balanced truncation model reduction to the linear optimality subsystem. The resulting coupled reduced optimality system can be interpreted as the optimality system of a reduced optimization problem. We derive estimates for the error between the solution of the original optimization problem and the solution of the reduced problem. The approach is demonstrated numerically on an optimal control problem and on a shape optimization problem.

[1]  Giulio Sartorelli,et al.  Edgeworth Expansion for the Computation of Plain Vanilla Prices in the Heston Model , 2010 .

[2]  Kenji Toyonaga Numerical enclosure for multiple eigenvalues of an Hermitian matrix whose graph is a tree , 2009 .

[3]  Jochen Eisinger,et al.  Formal Verification of an Arbiter Circuit , 2010, 2010 IEEE Symposium on Asynchronous Circuits and Systems.

[4]  M. Glomski,et al.  Uniqueness of the Critical Rayleigh and Wave Numbers for the Inhomogeneous Planar Benard Problem , 2011 .

[5]  Ronald H. W. Hoppe,et al.  Projection Based Model Reduction for Optimal Design of the Time-dependent Stokes System , 2012, Constrained Optimization and Optimal Control for Partial Differential Equations.

[6]  Arnold Neumaier,et al.  Linear Systems with Large Uncertainties, with Applications to Truss Structures , 2007, Reliab. Comput..

[7]  Barry F. Smith,et al.  Domain Decomposition: Parallel Multilevel Methods for Elliptic Partial Differential Equations , 1996 .

[8]  H. Nakano,et al.  Rigorous verification of formal chaos produced by one-dimensional discrete dynamical system with use of interval arithmetic , 2005, 48th Midwest Symposium on Circuits and Systems, 2005..

[9]  Zhengyu Wang Components identification based method for box constrained variational inequality problems with almost linear functions , 2008 .

[10]  Siegfried M. Rump,et al.  Verified bounds for singular values, in particular for the spectral norm of a matrix and its inverse , 2011 .

[11]  Siegfried M. Rump,et al.  Accurate Matrix Multiplication by using Level 3 BLAS Operation , 2008 .

[12]  Z. Wang Validation and enclosure of solutions of linear complementarity problems , 2007, Computing.

[13]  C. Valente,et al.  An Interval Based Technique for FE Model Updating , 2009 .

[14]  Shinya Miyajima,et al.  Numerical enclosure for each eigenvalue in generalized eigenvalue problem , 2012, J. Comput. Appl. Math..

[15]  Federico Thomas,et al.  Distance Constraints Solved Geometrically , 2004 .

[16]  Gabriel Terejanu,et al.  Towards a decision-centric framework for uncertainty propagation and data assimilation , 2010 .

[17]  Warwick Tucker,et al.  Interval analysis techniques for boundary value problems of elasticity in two dimensions , 2007 .

[18]  Mansor Monsi,et al.  An Improved Parameter Regula Falsi Method for Enclosing a Zero of a Function , 2012 .

[19]  Harbir Antil,et al.  Domain decomposition and balanced truncation model reduction for shape optimization of the Stokes system , 2011, Optim. Methods Softw..

[20]  Paluri S. V. Nataraj,et al.  A New Subdivision Strategy for Range Computations , 2002, Reliab. Comput..

[21]  Andreas Rauh,et al.  A novel interval method for validating state enclosures of the solution of initial value problems , 2008 .

[22]  Oscar Andrès Vivas Contribution à l'identification et à la commande des robots parallèles , 2004 .

[23]  Theodoula N. Grapsa,et al.  Bounding the zeros of an interval equation , 2009, Appl. Math. Comput..

[24]  Zhengyu Wang,et al.  Error Bounds for Nonlinear Complementarity Problems with Band Structure , 2011, J. Optim. Theory Appl..

[25]  Tetsuya Sakurai,et al.  On Factorization of Analytic Functions and Its Verification , 2000, Reliab. Comput..

[26]  Shinya Miyajima Fast enclosure for all eigenvalues in generalized eigenvalue problems , 2010, J. Comput. Appl. Math..

[27]  Cecilia Surace,et al.  Extended Analysis of a Damage Prognosis Approach Based on Interval Arithmetic , 2011 .

[28]  Hiroshi Sekigawa,et al.  The Ratio Between the Toeplitz and the Unstructured Condition Number , 2010 .

[29]  Hirohiko Honda,et al.  Rigorous Verification of Poincaré Map Generated by a Continuous Piece-Wise Linear Vector Field and Its Application , 2005, IEICE Trans. Fundam. Electron. Commun. Comput. Sci..

[30]  Siegfried M. Rump,et al.  Verified Solution of Large Linear and Nonlinear Systems , 1999 .

[31]  Athanasios C. Antoulas,et al.  Approximation of Large-Scale Dynamical Systems (Advances in Design and Control) (Advances in Design and Control) , 2005 .

[32]  N. Revol Introduction à l'arithmétique par intervalles , 2000 .

[33]  Peter Benner,et al.  Dimension Reduction of Large-Scale Systems , 2005 .

[34]  A. Schaft G.E. Dullerud and F. Paganini - A course in robust control theory: a convex approach. Berlin: Springer-Verlag, 2000 (Text in Applied Mathematics ; 36) , 2001 .

[35]  Vicenç Puig,et al.  Set computations with subpavings in MATLAB: The SCS Toolbox , 2010, 2010 IEEE International Symposium on Computer-Aided Control System Design.

[36]  Marko Huhtanen,et al.  Exclusion and Inclusion Regions for the Eigenvalues of a Normal Matrix , 2001, SIAM J. Matrix Anal. Appl..

[37]  Andrea Fusiello,et al.  Computing rigorous bounds to the accuracy of calibrated stereo reconstruction , 2005 .

[38]  Stefan M. Wild,et al.  Estimating Derivatives of Noisy Simulations , 2012, TOMS.

[39]  Benton K. Thompson,et al.  Characterizing and Improving the Non-Collaborative and Collaborative Localization Problems , 2011 .

[40]  Jiri Rohn On unique solvability of the absolute value equation , 2009, Optim. Lett..

[41]  Bernd Tibken,et al.  An interval arithmetic approach for the estimation of the domain of attraction , 2010, 2010 IEEE International Symposium on Computer-Aided Control System Design.

[42]  Teruya Minamoto,et al.  A Blind Image Wavelet-Based Watermarking Using Interval Arithmetic , 2009, FGIT-SIP.

[43]  Vivek Sarin,et al.  Domain Decomposition , 2011, Encyclopedia of Parallel Computing.

[44]  Shin'ichi Oishi,et al.  A method of computer assisted proof for nonlinear two-point boundary value problems using higher order finite elements , 2011 .

[45]  Tetsuya Sakurai,et al.  Improvement of convergence of an iterative method for finding polynomial factors of analytic functions , 2002 .

[46]  Siegfried M. Rump Accurate and Reliable Computing in Floating-Point Arithmetic , 2010, ICMS.

[47]  T. Ogita,et al.  Accurate sum and dot product with applications , 2004, 2004 IEEE International Conference on Robotics and Automation (IEEE Cat. No.04CH37508).

[48]  Cheon Seoung Ryoo,et al.  Numerical inclusion methods of solutions for variational inequalities , 2002 .

[49]  Jordan Ninin,et al.  Optimisation Globale basée sur l'Analyse d'Intervalles: Relaxation Affine et Limitation de la Mémoire. (Global Optimization based on Interval Analysis: Affine Relaxation and Limited Memory) , 2010 .

[50]  Hermann Schichl,et al.  Exclusion Regions for Systems of Equations , 2004, SIAM J. Numer. Anal..

[51]  C. Jansson On verified numerical computations in convex programming , 2009 .

[52]  Nobito Yamamoto,et al.  Error estimation with guaranteed accuracy of finite element method in nonconvex polygonal domains , 2003 .

[53]  Zhengyu Wang Extensions of the Newton-Kantorovich Theorem to Variational Inequality Problems , 2009 .

[54]  Paluri S. V. Nataraj,et al.  Reliable Computation of Frequency Response Plots for Nonrational Transfer Functions to Prescribed Accuracy , 2003, Reliab. Comput..

[55]  P.S.V. Nataraj,et al.  Reliable and accurate algorithm to compute the limit cycle locus for uncertain nonlinear systems , 2003 .

[56]  Matthew D. Stuber,et al.  Robust simulation and design using semi-infinite programs with implicit functions , 2011 .

[57]  M. Hinze,et al.  Proper Orthogonal Decomposition Surrogate Models for Nonlinear Dynamical Systems: Error Estimates and Suboptimal Control , 2005 .

[58]  Siegfried M. Rump,et al.  Adaptive and efficient algorithm for 2D orientation problem , 2009 .

[59]  Takeshi Ogita Accurate and verified numerical computation of the matrix determinant , 2012 .

[60]  T. Csendes Developments in Reliable Computing , 2000 .

[61]  Konstantin Mischaikow,et al.  Rigorous Numerics for Symmetric Connecting Orbits: Even Homoclinics of the Gray-Scott Equation , 2011, SIAM J. Math. Anal..

[62]  Stephen Ehidiamhen Uwamusi Towards acceleration of Rump's fast and parallel circular interval arithmetic for enclosing solution of non linear system of equations , 2007 .

[63]  Mitsuhiro T. Nakao,et al.  A numerical verification method for a periodic solution of a delay differential equation , 2010, J. Comput. Appl. Math..

[64]  Siegfried M. Rump,et al.  Ultimately Fast Accurate Summation , 2009, SIAM J. Sci. Comput..

[65]  A. Neumaier Enclosing clusters of zeros of polynomials , 2003 .

[66]  G. Uma,et al.  Design and Simulation of MEMS Devices using Interval Analysis , 2006 .

[67]  Jean-Philippe Lessard,et al.  Chaotic Braided Solutions via Rigorous Numerics: Chaos in the Swift-Hohenberg Equation , 2008, SIAM J. Appl. Dyn. Syst..

[68]  Wah June Leong,et al.  On the Convergence Rate of Symmetric Single-Step Method ISS for Simultaneous Bounding Polynomial Zeros , 2011 .

[69]  A. Frommera,et al.  Proving the existence of zeros using the topological degree and interval arithmetic , 2006 .

[70]  Siegfried M. Rump,et al.  Verified error bounds for multiple roots of systems of nonlinear equations , 2010, Numerical Algorithms.

[71]  Athanasios C. Antoulas,et al.  Approximation of Large-Scale Dynamical Systems , 2005, Advances in Design and Control.

[72]  Mitsuhiro Nakao,et al.  Numerical enclosure of solutions for two dimensional driven cavity problems , 2004 .

[73]  Athanasios C. Antoulas,et al.  Balanced truncation model reduction for systems with inhomogeneous initial conditions , 2011, Autom..

[74]  Rabih A. Jabr Solution trajectories of the harmonic-elimination problem , 2006 .

[75]  Siegfried M. Rump,et al.  Fast algorithms for floating-point interval matrix multiplication , 2012, J. Comput. Appl. Math..

[76]  Jian Wan Computationally reliable approaches of contractive MPC for discrete-time systems , 2007 .

[77]  T Singh,et al.  Approximate interval method for epistemic uncertainty propagation using Polynomial Chaos and evidence theory , 2010, Proceedings of the 2010 American Control Conference.

[78]  Siegfried M. Rump 10. Computer-Assisted Proofs and Self-Validating Methods , 2005, Accuracy and Reliability in Scientific Computing.

[79]  Kazuyuki Yagasaki,et al.  Heteroclinic connections between triple collisions and relative periodic orbits in the isosceles three-body problem , 2009 .

[80]  S. Lesecq,et al.  Diagnosis of an Inertial Measurement Unit based on set membership estimation , 2009, 2009 17th Mediterranean Conference on Control and Automation.

[81]  Nathalie Revol,et al.  Solving and Certifying the Solution of a Linear System , 2011, Reliab. Comput..

[82]  Cheon Seoung Ryoo Solving obstacle problems with guaranteed accuracy , 2003 .

[83]  Daniel Bisig,et al.  Identity SA 1.6: an artistic software that produces a deformed audiovisual reflection based on a visually interactive swarm , 2008, ACE '08.

[84]  Carl Tim Kelley,et al.  Iterative methods for optimization , 1999, Frontiers in applied mathematics.

[85]  K. Hashimoto,et al.  Constructive error estimates of finite element approximations for non-coercive elliptic problems and its applications , .

[86]  Cheon Seoung Ryoo Numerical verification of solutions for Signorini problems using Newton-like method , 2008 .

[87]  Siegfried M. Rump,et al.  Accurate Floating-Point Summation Part II: Sign, K-Fold Faithful and Rounding to Nearest , 2008, SIAM J. Sci. Comput..

[88]  A. Karimi,et al.  Master‟s thesis , 2011 .

[89]  Branko Ristic,et al.  Bernoulli Particle/Box-Particle Filters for Detection and Tracking in the Presence of Triple Measurement Uncertainty , 2012, IEEE Transactions on Signal Processing.

[90]  Conversion and delivery of electrical energy in the 21st century , 2008, 2008 IEEE Power and Energy Society General Meeting - Conversion and Delivery of Electrical Energy in the 21st Century.

[91]  Renata Reiser,et al.  Probabilidades Intervalares em Modelos Ocultos de Markov , 2006 .

[92]  Siegfried M. Rump,et al.  Accurate Matrix Multiplication with Multiple Floating-point Numbers , 2007 .

[93]  Arnold Neumaier,et al.  A Simple Derivation of the Hansen-Bliek-Rohn-Ning-Kearfott Enclosure for Linear Interval Equations , 1999, Reliab. Comput..

[94]  S. Rump Ten methods to bound multiple roots of polynomials , 2003 .

[95]  Siegfried M. Rump,et al.  Self-validating methods , 2001 .

[96]  Siegfried M. Rump,et al.  High precision evaluation of nonlinear functions , 2005 .

[97]  I. VÁŇOVÁ,et al.  Academy of Sciences of the Czech Republic , 2020, The Grants Register 2021.

[98]  Wenyuan Li,et al.  Boundary Analysis of Distribution Reliability and Economic Assessment , 2010, IEEE Transactions on Power Systems.

[99]  Michael Plum,et al.  Computer-assisted proofs for semilinear elliptic boundary value problems , 2009 .

[100]  Kevin L. Moore,et al.  Monotonically convergent iterative learning control for linear discrete-time systems , 2005, Autom..

[101]  K. Ozaki,et al.  Fast and Robust Algorithm for Geometric Predicates using Floating-Point Arithmetic , 2006 .

[102]  Michael Plum,et al.  Eigenvalue excluding for perturbed-periodic one-dimensional Schrödinger operators , 2011, Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences.

[103]  Jiri Rohn,et al.  An algorithm for computing the hull of the solution set of interval linear equations , 2011 .

[104]  Siegfried M. Rump,et al.  A parallel algorithm for accurate dot product , 2008, Parallel Comput..

[105]  Siegfried M. Rump,et al.  Verification methods: rigorous results using floating-point arithmetic , 2010, Acta Numerica.

[106]  E. Hofer,et al.  Interval Techniques for Design of Optimal and Robust Control Strategies , 2006, 12th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN 2006).

[107]  Chen-Chang Peng,et al.  Numerical computation of orbits and rigorous verification of existence of snapback repellers. , 2007, Chaos.

[108]  Christian Jansson,et al.  Convex-Concave Extensions , 2000 .

[109]  S. P. Shary A comparison between the Apostolatos-Kulisch theorem and the Mayer-Warnke theorem in interval analysis , 2009 .

[110]  Siegfried M. Rump,et al.  Structured Perturbations Part II: Componentwise Distances , 2003, SIAM J. Matrix Anal. Appl..

[111]  A. K. Dhingra,et al.  Reliability Based Design Optimization Using Automatic Differentiation , 2011 .

[112]  Ivo Babuska,et al.  Interval arithmetic error estimation for the solution of Fredholm integral equation , 2009, Int. J. Comput. Math..

[113]  Andreas Frommer,et al.  Verified Computation of Square Roots of a Matrix , 2009, SIAM J. Matrix Anal. Appl..

[114]  Sergey Malinchik,et al.  A Broad and Narrow Approach to Interactive Evolutionary Design ? An Aircraft Design Example , 2004, GECCO.

[115]  Michael Zimmer,et al.  Sparse Matrices and Vectors in C-XSC , 2010, Reliab. Comput..

[116]  C. Jansson Guaranteed Accuracy for Conic Programming Problems in Vector Lattices , 2007, 0707.4366.

[117]  Xiaojun Chen,et al.  Well Conditioned Spherical Designs for Integration and Interpolation on the Two-Sphere , 2010, SIAM J. Numer. Anal..

[118]  S. Rump Fast and Parallel Interval Arithmetic , 1999 .

[119]  Filomena Pacella,et al.  A uniqueness result for a semilinear elliptic problem: A computer-assisted proof , 2009 .

[120]  C. Jansson VSDP : A MATLAB software package for Verified Semidefinite Programming , 2006 .

[121]  Daniel Stoffer,et al.  Rigorous verification of chaotic behaviour of maps using validated shadowing , 1999 .

[122]  Danny C. Sorensen,et al.  A Modified Low-Rank Smith Method for Large-Scale Lyapunov Equations , 2004, Numerical Algorithms.

[123]  S. Rump,et al.  Iterative Refinement for Ill-conditioned Linear Equations. , 2008 .

[124]  Stefano Gabriele,et al.  Model updating of Pescara Benchmark: interval vs. traditional method , 2011 .

[125]  Danny C. Sorensen,et al.  Domain Decomposition and Model Reduction of Systems with Local Nonlinearities , 2008 .

[126]  Tibor Csendes Global Optimization Software INTLAB implementation of an interval global optimization algorithm , 2008 .

[127]  P. S. V. Nataraj,et al.  Generation of Bode and Nyquist Plots for Nonrational Transfer Functions to Prescribed Accuracy , 2002 .

[128]  Alfio Quarteroni,et al.  Multimodels for Incompressible Flows , 2000 .

[129]  Shin'ichi Oishi,et al.  Tight Enclosures of Solutions of Linear Systems , 2008 .

[130]  Anil V. Rao,et al.  Algorithm 902: GPOPS, A MATLAB software for solving multiple-phase optimal control problems using the gauss pseudospectral method , 2010, TOMS.

[131]  Günter Mayer,et al.  A Contribution to the Feasibility of the Interval Gaussian Algorithm , 2006, Reliab. Comput..

[132]  Cheon Seoung Ryoo,et al.  Numerical verification of solutions for obstacle problems , 2001 .

[133]  Christian Jansson,et al.  Quasiconvex relaxations based on interval arithmetic , 2001 .

[134]  Manfred Morari,et al.  A Set-Theoretic Method for Verifying Feasibility of a Fast Explicit Nonlinear Model Predictive Controller , 2012 .

[135]  Hao Zhang,et al.  Nondeterministic Linear Static Finite Element Analysis: An Interval Approach , 2005 .

[136]  Paluri S. V. Nataraj,et al.  A Parallelized Version of the Covering Algorithm for Solving Parameter-Dependent Systems of Nonlinear Equations , 2002, Reliab. Comput..

[137]  P. Beran,et al.  Reduced-order modeling: new approaches for computational physics , 2004 .

[138]  Siegfried M. Rump,et al.  Inversion of extremely Ill-conditioned matrices in floating-point , 2009 .

[139]  Teruya Minamoto,et al.  A Digital Image Watermarking Method Using Interval Arithmetic , 2007, IEICE Trans. Fundam. Electron. Commun. Comput. Sci..

[140]  David R. Stoutemyer,et al.  Useful computations need useful numbers , 2007, ACCA.

[141]  Siegfried M. Rump Ill-Conditioned Matrices Are Componentwise Near to Singularity , 1999, SIAM Rev..

[142]  Keith Worden,et al.  Prognosis under Uncertainty – An Idealised Computational Case Study , 2008 .

[143]  Christian Jansson,et al.  Rigorous Lower and Upper Bounds in Linear Programming , 2003, SIAM J. Optim..

[144]  G. V. Pendse,et al.  ADIS: A robust pursuit algorithm for probabilistic and constrained blind source separation , 2009, NeuroImage.

[145]  Mitsuhiro Nakao,et al.  Verified numerical computations for multiple and nearly multiple eigenvalues of elliptic operators , 2002 .

[146]  Siegfried M. Rump,et al.  Accurate Sum and Dot Product , 2005, SIAM J. Sci. Comput..

[147]  Andreas Griewank,et al.  Evaluating derivatives - principles and techniques of algorithmic differentiation, Second Edition , 2000, Frontiers in applied mathematics.

[148]  R. Hoppe,et al.  Optimal design of stationary flow problems by path-following interior-point methods , 2008 .

[149]  Markus Neher,et al.  Complex standard functions and their implementation in the CoStLy library , 2007, TOMS.

[150]  A.M. Stankovic,et al.  An application of interval analysis and optimization to electric energy markets , 2006, IEEE Transactions on Power Systems.

[151]  Nobito Yamamoto,et al.  On error estimation of finite element approximations to the elliptic equations in nonconvex polygonal domains , 2007 .

[152]  Andreas Rauh,et al.  Interval Methods for Optimal Control , 2009 .

[153]  P. Glarborg,et al.  Direct Partial Oxidation of Natural Gas to Liquid Chemicals : Chemical Kinetic Modeling and Global Optimization , 2007 .

[154]  Michael L. Overton,et al.  Numerical Computing with IEEE Floating Point Arithmetic , 2001 .

[155]  Paluri S. V. Nataraj,et al.  A Polynomial-Time Algorithm for Efficient Extraction of Boundary Rectangles From Interval Templates , 2003 .

[156]  Siegfried M. Rump,et al.  Positive entries of stable matrices , 2005 .

[157]  Qingguo Wang,et al.  Forward Kinematics Analysis and Tension Distribution of a Cable-Driven Sinking Winches Mechanism , 2010, ArXiv.

[158]  R. Baker Kearfott,et al.  Global Optimization and Singular Nonlinear Programs: New Techniques , 2011, Reliab. Comput..

[159]  ANDREAS FROMMER,et al.  Stopping Criteria for Rational Matrix Functions of Hermitian and Symmetric Matrices , 2008, SIAM J. Sci. Comput..

[160]  Valeria Simoncini,et al.  Error Bounds for Lanczos Approximations of Rational Functions of Matrices , 2009, Numerical Validation in Current Hardware Architectures.

[161]  Siegfried M. Rump,et al.  Accurate Floating-Point Summation Part I: Faithful Rounding , 2008, SIAM J. Sci. Comput..

[162]  K. Glover All optimal Hankel-norm approximations of linear multivariable systems and their L, ∞ -error bounds† , 1984 .

[163]  Tetsuya Sakurai,et al.  A verified method for bounding clusters of zeros of analytic functions , 2007 .

[164]  Jürgen Garloff Pivot tightening for direct methods for solving symmetric positive definite systems of linear interval equations , 2011, Computing.

[165]  K. Toyonaga A method for separating nearly multiple eigenvalues for Hermitian matrix , 2007 .

[166]  Shinya Miyajima Fast enclosure for solutions in underdetermined systems , 2010, J. Comput. Appl. Math..

[167]  Paluri S. V. Nataraj,et al.  Limit cycle computation for describing function approximable nonlinear systems with box‐constrained parametric uncertainties , 2005 .

[168]  Jiri Rohn,et al.  A Handbook of Results on Interval Linear Problems , 2005 .

[169]  A Gerschgorin-type theorem for zeros of polynomials , .

[170]  Siegfried M. Rump,et al.  Structured Perturbations Part I: Normwise Distances , 2003, SIAM J. Matrix Anal. Appl..

[171]  E. van Kampen,et al.  Interval Analysis as a System Identification Tool , 2011 .

[172]  Paluri S. V. Nataraj,et al.  Constrained global optimization of multivariate polynomials using Bernstein branch and prune algorithm , 2011, J. Glob. Optim..

[173]  Jiri Rohn,et al.  INVERSE INTERVAL MATRIX: A SURVEY ∗ , 2011 .

[174]  M. H. van Emden,et al.  Functions to Support Input and Output of Intervals , 2007, ArXiv.

[175]  Shin'ichi Oishi,et al.  Numerical existence theorem for solutions of two-point boundary value problems of nonlinear differential equations , 2010 .

[176]  Siegfried M. Rump,et al.  Ill-Conditionedness Need not be Componentwise Near to Ill-Posedness for Least Squares Problems , 1999 .

[177]  A. Neumaier,et al.  Computer-assisted proofs , 2006, 12th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN 2006).

[178]  Hermann Schichl,et al.  Vienna proposal for interval standardization , 2008 .

[179]  Jens-Peter M. Zemke,et al.  Krylov Subspace Methods in Finite Precision : A Unified Approach , 2003 .

[180]  Ivan Petkovic,et al.  Interval matrix models of design iteration , 2010, 2010 International Conference on Electronics and Information Engineering.

[181]  Xian Zhang,et al.  Interval iterative methods for computing Moore-Penrose inverse , 2006, Appl. Math. Comput..

[182]  J. Marsden,et al.  A subspace approach to balanced truncation for model reduction of nonlinear control systems , 2002 .

[183]  S. Rump A model problem for global optimization , 2011 .

[184]  Paluri S. V. Nataraj,et al.  Interval QFT: a mathematical and computational enhancement of QFT , 2002 .

[185]  Fernando Paganini,et al.  A Course in Robust Control Theory , 2000 .

[186]  David J. Lucia,et al.  Domain Decomposition for Reduced-Order Modeling of a Flow with Moving Shocks , 2002 .

[187]  Siegfried M. Rump Fast Verification Algorithms in MATLAB , 2001, Symbolic Algebraic Methods and Verification Methods.

[188]  Annie A. M. Cuyt,et al.  Blending Set and Interval Arithmetic for Maximal Reliability , 2005, Computing.

[189]  Nacim Ramdani,et al.  Camera calibration and 3D reconstruction using interval analysis , 2003, 12th International Conference on Image Analysis and Processing, 2003.Proceedings..

[190]  C. Jansson VSDP : Verified SemiDefinite Programming USER ’ S GUIDE , Beta Version 0 . 1 for MATLAB 7 . 0 , 2006 .

[191]  Aixiang Wang,et al.  Interval algorithm for absolute value equations , 2011 .

[192]  Nacim Ramdani,et al.  Guaranteed 3D visual sensing based on interval analysis , 2003, Proceedings 2003 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2003) (Cat. No.03CH37453).

[193]  John D. Pryce,et al.  Interval Arithmetic with Containment Sets , 2006, Computing.

[194]  R. Michael Buehrer,et al.  Cooperative Indoor Position Location Using Reflected Estimations , 2011, EW.

[195]  Siegfried M. Rump,et al.  Convergence of Rump's method for inverting arbitrarily ill-conditioned matrices , 2007 .

[196]  Ioannis Z. Emiris,et al.  Design framework for a simple robotic ankle evaluation and rehabilitation device , 2008, 2008 30th Annual International Conference of the IEEE Engineering in Medicine and Biology Society.

[197]  Alfio Quarteroni,et al.  Computational vascular fluid dynamics: problems, models and methods , 2000 .

[198]  Siegfried M. Rump,et al.  A Method for the Generation of a Class of Ill-conditioned Matrices , 2008 .

[199]  Siegfried M. Rump Error bounds for extremely ill-conditioned problems , 2006 .

[200]  Jiri Rohn,et al.  DESCRIPTION OF ALL SOLUTIONS OF A LINEAR COMPLEMENTARITY PROBLEM , 2009 .

[201]  S. E. Uwamusi Verified bounds for nonlinear systems via Hansen-Sengupta method , 2009 .

[202]  Kevin R. Long,et al.  A variational finite element method for source inversion for convective-diffusive transport , 2003 .

[203]  Arnold Neumaier,et al.  Introduction to Numerical Analysis , 2001 .

[204]  Shin'ichi Oishi,et al.  Fast verified solutions of linear systems , 2009 .

[205]  Frédéric Vignat,et al.  Tolerance analysis in machining using the model of manufactured part (MMP) – comparison and evaluation of three different approaches , 2012, Int. J. Comput. Integr. Manuf..

[206]  G. Bohlender,et al.  Extension of the C-XSC Library with Scalar Products with Selectable Accuracy , 2010, Serdica Journal of Computing.

[207]  Shin'ichi Oishi,et al.  Fast Inclusion of Interval Matrix Multiplication , 2005, Reliab. Comput..

[208]  Siegfried M. Rump,et al.  A method of obtaining verified solutions for linear systems suited for Java , 2007 .

[209]  Andreas Frommer,et al.  Verified error bounds for solutions of Sylvester matrix equations , 2012 .

[210]  Siegfried M. Rump,et al.  Error-free transformations of matrix multiplication by using fast routines of matrix multiplication and its applications , 2011, Numerical Algorithms.

[211]  Rafael M. Frongillo,et al.  Efficient Automation of Index Pairs in Computational Conley Index Theory , 2012, SIAM J. Appl. Dyn. Syst..

[212]  Yoshitaka Watanabe,et al.  A Numerical Method to Verify the Invertibility of Linear Elliptic Operators with Applications to Nonlinear Problems , 2005, Computing.

[213]  Matthew D. Stuber,et al.  Robust Simulation and Design using Parametric Interval Methods , 2010 .

[214]  Tibor Csendes,et al.  INTLAB implementation of an interval global optimization algorithm , 2009, Optim. Methods Softw..

[215]  Nathalie Revol,et al.  Certification of a Numerical Result: Use of Interval Arithmetic and Multiple Precision , 2010 .

[216]  Nathalie Revol,et al.  Refining and verifying the solution of a linear system , 2012, SNC '11.

[217]  Zhengyu Wang,et al.  Error Estimation for Nonlinear Complementarity Problems via Linear Systems with Interval Data , 2008 .

[218]  Zhengyu Wang,et al.  Bounding the error for approximate solutions of almost linear complementarity problems using feasible vectors , 2011, Numer. Linear Algebra Appl..

[219]  Christian Bischof,et al.  Automatisches Differenzieren für MATLAB , 2009 .

[220]  Andreas Rauh,et al.  Verification Techniques for Sensitivity Analysis and Design of Controllers for Nonlinear Dynamic Systems with Uncertainties , 2009, Int. J. Appl. Math. Comput. Sci..

[221]  Siegfried M. Rump,et al.  Numerical Verification Method for Arbitrarily Ill-conditioned Linear Systems , 2005 .

[222]  Zhengyu Wang,et al.  Numerical Validation of Solutions of Variational Inequalities via Poincaré-Miranda Theorem : Theory , 2009 .

[223]  Fabrice Thouverez,et al.  Global search of non-linear systems periodic solutions: A rotordynamics application , 2010 .

[224]  S. Sheela,et al.  Template Generation Algorithm Using Vectorized Function Evaluations and Adaptive Subdivisions , 2002 .

[225]  J. Doyle,et al.  Robust and optimal control , 1995, Proceedings of 35th IEEE Conference on Decision and Control.

[226]  Jian Wan,et al.  A numerical approach to design control invariant sets for constrained nonlinear discrete-time systems with guaranteed optimality , 2009, J. Glob. Optim..

[227]  Arnold Neumaier,et al.  Grand Challenges and Scientific Standards in Interval Analysis , 2002, Reliab. Comput..

[228]  Alfredo D. S. Lordelo,et al.  ROBUST POLE ASSIGNMENT BY STATE FEEDBACK CONTROL USING INTERVAL ANALYSIS , 2005 .

[229]  Almerico Murli,et al.  Numerical Mathematics and Advanced Applications , 2003 .

[230]  Nianfeng Wang,et al.  Hybrid genetic algorithm for designing structures subjected to uncertainty , 2008, 2008 IEEE International Conference on Systems, Man and Cybernetics.

[231]  Andrew J. Sommese,et al.  The numerical solution of systems of polynomials - arising in engineering and science , 2005 .

[232]  Warwick Tucker,et al.  Validated Numerics for Pedestrians , 2005 .

[233]  Keith Worden,et al.  Uncertainty analysis of a neural network used for fatigue lifetime prediction , 2008 .

[234]  Alexandre Goldsztejn,et al.  Tinkerbell Is Chaotic , 2011, SIAM J. Appl. Dyn. Syst..

[235]  石井 大輔,et al.  Simulation and verification of hybrid systems based on interval analysis and constraint programming , 2010 .

[236]  Z. Wang Extensions of Kantorovich theorem to complementarity problem , 2008 .

[237]  Branko Ristic,et al.  A box particle filter for stochastic and set-theoretic measurements with association uncertainty , 2011, 14th International Conference on Information Fusion.

[238]  Mark Sofroniou,et al.  Precise numerical computation , 2005, J. Log. Algebraic Methods Program..

[239]  Siegfried M. Rump,et al.  Verified Solutions of Sparse Linear Systems by LU factorization , 2005 .

[240]  Andrzej Pownuk,et al.  Stress distribution in a reinforced concrete flexural member with uncertain structural parameters, part-I , 2007 .

[241]  Andreas Rauh,et al.  Towards the Development of an Interval Arithmetic Environment for Validated Computer-Aided Design and Verification of Systems in Control Engineering , 2009, Numerical Validation in Current Hardware Architectures.

[242]  A. Quarteroni,et al.  On the coupling of 3D and 1D Navier-Stokes equations for flow problems in compliant vessels , 2001 .

[243]  Toshio Suzuki,et al.  An eigenvalue problem for derogatory matrices , 2007 .

[244]  Erik M. Bollt,et al.  Judging Model Reduction of Chaotic Systems via Optimal Shadowing Criteria , 2010, 1003.0254.

[245]  W. Leong,et al.  On the Interval Zoro Symmetric Single-step Procedure for Simultaneous Finding of Polynomial Zeros , 2011 .

[246]  Yan Wang Algebraic interval constraint driven exploration in human-agent collaborative problem solving , 2007, 2007 International Symposium on Computational Intelligence in Robotics and Automation.

[247]  Andrea Toselli,et al.  Domain decomposition methods : algorithms and theory , 2005 .

[248]  Zeng Fang-ling,et al.  Parameter Estimation of the AR Model Based on Interval Analysis , 2008, 2008 International Symposium on Intelligent Information Technology Application Workshops.

[249]  T. Ogita,et al.  Exact Determinant of Integer Matrices , 2010 .

[250]  Siegfried M. Rump,et al.  Super-fast validated solution of linear systems , 2007 .

[251]  Nathalie Revol Standardized Interval Arithmetic and Interval Arithmetic Used in Libraries , 2010, ICMS.

[252]  Nobito Yamamoto,et al.  An application of Taylor models to the Nakao method on ODEs , 2009 .

[253]  Alfio Quarteroni,et al.  Optimal Control and Numerical Adaptivity for Advection-Diffusion Equations , 2005 .

[254]  Claire S. Adjiman,et al.  A Rigorous Global Optimization Algorithm for Problems with Ordinary Differential Equations , 2002, J. Glob. Optim..

[255]  Paulo Romero Martins Maciel,et al.  Interval Generalized Stochastic Petri Net Models in Performance Evaluation , 2006, 2006 IEEE International Conference on Systems, Man and Cybernetics.

[256]  Stefano Gabriele The interval intersection method for FE model updating , 2011 .

[257]  A. Tiano,et al.  Application of interval and fuzzy techniques to integrated navigation systems , 2001, Proceedings Joint 9th IFSA World Congress and 20th NAFIPS International Conference (Cat. No. 01TH8569).

[258]  Guillaume Melquiond,et al.  Computing predecessor and successor in rounding to nearest , 2009 .

[259]  Keith Worden,et al.  A novel information-gap technique to assess reliability of neural network-based damage detection , 2006 .

[260]  Carme Torras,et al.  A branch-and-prune algorithm for solving systems of distance constraints , 2003, 2003 IEEE International Conference on Robotics and Automation (Cat. No.03CH37422).

[261]  Siegfried M. Rump,et al.  Fast verification of solutions of matrix equations , 2002, Numerische Mathematik.

[262]  Philippe Poignet,et al.  Robust estimation of parallel robot dynamic parameters with interval analysis , 2003, 42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475).

[263]  Siegfried M. Rump,et al.  Verified computation of a disc containing exactly k roots of a univariate nonlinear function , 2010 .

[264]  Siegfried M. Rump,et al.  Componentwise Verified Solutions of Linear Systems Suited for Java , 2005 .

[265]  M. Morari,et al.  Fast explicit nonlinear model predictive control via multiresolution function approximation with guaranteed stability , 2010 .

[266]  Takeshi Ogita Accurate Matrix Factorization: Inverse LU and Inverse QR Factorizations , 2010, SIAM J. Matrix Anal. Appl..

[267]  S. Rump Computational error bounds for multiple or nearly multiple eigenvalues , 2001 .

[268]  Uwe Schäfer,et al.  A Linear Complementarity Problem with a P-Matrix , 2004, SIAM Rev..

[269]  S. Rump Rigorous and Portable Standard Functions , 2001 .

[270]  Mitsuhiro Nakao,et al.  Numerical verification methods for solutions of semilinear elliptic boundary value problems , 2011 .

[271]  Teruya Minamoto,et al.  A Non-blind Digital Image Watermarking Method Based on the Dyadic Wavelet Transform and Interval Arithmetic , 2011, FGIT-SIP.

[272]  SIEGFRIED M. RUMP,et al.  VERIFIED SOLUTIONS OF LINEAR SYSTEMS WITHOUT DIRECTED ROUNDING , 2005 .

[273]  Shin'ichi Oishi,et al.  Tight and efficient enclosure of matrix multiplication by using optimized BLAS , 2011, Numer. Linear Algebra Appl..

[274]  R. Baker Kearfott,et al.  Introduction to Interval Analysis , 2009 .

[275]  B. Moore Principal component analysis in linear systems: Controllability, observability, and model reduction , 1981 .

[276]  Hirohiko Honda,et al.  Canards in a slow-fast continuous piecewise linear vector field , 2005, 2005 IEEE International Symposium on Circuits and Systems.

[277]  Siegfried M. Rump,et al.  Verification of Positive Definiteness , 2006 .

[278]  Siegfried M. Rump,et al.  On Eigenvector Bounds , 2003 .

[279]  Paluri S. V. Nataraj,et al.  An algorithm for constrained global optimization of multivariate polynomials using the Bernstein form and John optimality conditions , 2009 .

[280]  Czech Republic,et al.  HIGHER-ORDER DISCRETE MAXIMUM PRINCIPLE FOR 1D DIFFUSION-REACTION PROBLEMS ∗ , 2007 .

[281]  Harbir Antil,et al.  Reduced order modeling based shape optimization of surface acoustic wave driven microfluidic biochips , 2012, Math. Comput. Simul..

[282]  Alfio Quarteroni,et al.  MULTIMODELS FOR INCOMPRESSIBLE FLOWS: ITERATIVE SOLUTIONS FOR THE NAVIER-STOKES/OSEEN COUPLING , 2001 .

[283]  Fabrice Rouillier,et al.  Motivations for an Arbitrary Precision Interval Arithmetic and the MPFI Library , 2005, Reliab. Comput..

[284]  Siegfried M. Rump,et al.  INTLAB - INTerval LABoratory , 1998, SCAN.

[285]  H. Aschemann,et al.  Robust controller design for bounded state and control variables and uncertain parameters using interval methods , 2005, 2005 International Conference on Control and Automation.