• EGO

  • Referenced in 393 articles [sw07588]
  • solves costly box-bounded 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 non-linear 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 time-consuming and error-prone 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 reach-avoid requirements. The controllers ... reference trajectory such that the tracking error between the actual trajectory of the closed-loop ... system and the reference trajectory can be bounded and pre-computed. 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 time-bounded 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 boundary-element software library of...
  • ADOL-C

  • Referenced in 249 articles [sw00019]
  • ADOL-C: 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...