
EGO
 Referenced in 393 articles
[sw07588]
 solves costly boxbounded global optimization problems with additional linear, nonlinear and integer constraints ... approximation by sampling where the prediction error may be high...

INTLAB
 Referenced in 464 articles
[sw04004]
 computations, fast) Gradients (to solve systems of nonlinear equations) Hessians (for global optimization) Taylor series ... slow) multiple precision interval arithmetic with error bounds (does the job, slow...

dReal
 Referenced in 30 articles
[sw07157]
 reals. The tool can handle various nonlinear real functions such as polynomials, trigonometric functions, exponential ... formulas, where δ is a numerical error bound specified by the user. dReal also produces...

veDYNA
 Referenced in 10 articles
[sw04237]
 appropriate integration methods that can solve the nonlinear constraints without exceeding an a priori fixed ... stabilization techniques to keep the error in the constraints bounded for arbitrary time intervals. These...

IBEX
 Referenced in 12 articles
[sw11947]
 handling nonlinear constraints. In particular, roundoff errors are also taken into account ... each solution of a system of (nonlinear) equations is calculated. Global optimization. A global minimizer ... linear constraints is calculated with guaranteed bounds on the objective minimum. IBEX is an open...

FaSTrack
 Referenced in 3 articles
[sw40044]
 along with a guaranteed tracking error bound. This bound captures all possible deviations ... demonstrate this framework using a 10D nonlinear quadrotor model tracking a 3D path obtained from...

StoDCuP
 Referenced in 2 articles
[sw39816]
 does, but also for some or all nonlinear cost and constraint functions. We show ... subproblems are solved approximately (with bounded errors) and show the almost sure convergence of this...

SnadiOpt
 Referenced in 4 articles
[sw14988]
 function subject to bounds on the variables and sparse linear or nonlinear constraints ... constrained optimization, as well as for general nonlinear programs. The method used by Snopt requires ... users to avoid the timeconsuming and errorprone process of evaluating and coding these...

Functions and Equations
 Referenced in 0 articles
[sw05986]
 predefine constants and specify the error bound for the results. Handles a wide variety ... hyperbolic. Numerically solves systems of simultaneous nonlinear equations. It can fully explore defined intervals ... predefine constants and specify the error bound for the results. Handles a wide variety...

PSIMR
 Referenced in 1 article
[sw09558]
 fixed frequency operation and guarantees null error in each switching period, thus achieving a highly ... robust in the face of bounded nonlinear and resistive loads. Realistic simulation results obtained with...

FACTEST
 Referenced in 1 article
[sw41311]
 FACTEST is tool for synthesizing controllers for nonlinear systems with reachavoid requirements. The controllers ... reference trajectory such that the tracking error between the actual trajectory of the closedloop ... system and the reference trajectory can be bounded and precomputed. Moreover, such a bound...

HyCreate
 Referenced in 2 articles
[sw20138]
 overapproximations of reachable sets for systems with nonlinear, nondeterministic dynamics with a small number ... computation time for overapproximation accuracy, both timebounded and unbounded (complete) reachability can be computed ... used to track the reach set. Error is controlled by splitting hyperrectangles when they...

SISTOS
 Referenced in 1 article
[sw14820]
 Carlo sampling in hidden Markov models of nonlinear dynamical systems. We investigate the issue ... variance of the SMC method is bounded linearly in the number of time steps when ... moderate large number of steps the error produced by approximation of dynamical systems linearly accumulates...

BEMLIB
 Referenced in 108 articles
[sw00005]
 BEMLIB is a boundaryelement software library of...

ACRITHXSC
 Referenced in 49 articles
[sw00015]
 ACRITHXSC is a Fortranlike programming language...

ADOLC
 Referenced in 249 articles
[sw00019]
 ADOLC: Automatic Differentiation of C/C++. We present...

ALBERT
 Referenced in 82 articles
[sw00025]
 ALBERT  Software for scientific computations and applications. Adaptive...

ANSYS
 Referenced in 703 articles
[sw00044]
 ANSYS offers a comprehensive software suite that spans...

ATLAS
 Referenced in 199 articles
[sw00056]
 This paper describes the Automatically Tuned Linear Algebra...