Domain decomposition and model reduction for the numerical solution of PDE constrained optimization problems with localized optimization variables
暂无分享,去创建一个
Harbir Antil | Danny C. Sorensen | Ronald H. W. Hoppe | Matthias Heinkenschloss | D. Sorensen | M. Heinkenschloss | R. Hoppe | Harbir Antil
[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.