• MPT

  • Referenced in 181 articles [sw04732]
  • design, analysis and deployment of optimal controllers for constrained linear, nonlinear and hybrid systems. Efficiency ... field of computational geometry and multi-parametric optimization. The toolbox offers a broad spectrum ... systems with persistent additive and polytopic uncertainties. Users can add custom constraints, such as polytopic ... create custom objective functions. Resulting optimal control laws can either be embedded into your applications...
  • Mu Analysis and Synthesis Toolbox

  • Referenced in 99 articles [sw19506]
  • emphasis on quantifying the effects of uncertainty. μ-Tools provides a consistent set of data ... access to recent developments in control theory, namely H∞ optimal control and m analysis...
  • FATODE

  • Referenced in 6 articles [sw11044]
  • include parameter estimation, data assimilation, optimal control, and uncertainty quantification...
  • OPTCON

  • Referenced in 14 articles [sw02660]
  • optimal control of nonlinear dynamic control that allows for additive uncertainty as well ... Bellman’s principle of optimality to solve the problem. These two steps are repeated until...
  • R-MAX

  • Referenced in 32 articles [sw02539]
  • dilemma. (3) It formally justifies the “optimism under uncertainty” bias used in many RL algorithms ... algorithm for learning in single controller stochastic games. (5) It generalizes the algorithm by Monderer...
  • SciDB

  • Referenced in 3 articles [sw18791]
  • query language, the issues facing our query optimizer and executor and efficient storage management ... usually present in DBMSs, including version control, uncertainty and provenance...
  • CORSAR

  • Referenced in 2 articles [sw11695]
  • Control of resource-intensive computations under uncertainty. II. Scheduling complex. The CORSAR model software complex ... sliding scheduling methods and optimize parallelizing processes when processing requests. Tasks are executed ... specialized computing system. The developed multiparametric model control scheme is invariant to types of computational...
  • DESPOT

  • Referenced in 2 articles [sw27455]
  • standard belief tree, for online planning under uncertainty. A DESPOT focuses online planning ... optimal, with a regret bound that depends on the representation size of the optimal policy ... searches a DESPOT for a policy that optimizes a regularized objective function. Regularization balances ... autonomous driving system for real-time vehicle control. The source code for the algorithm...
  • SimplicialVIEW

  • Referenced in 1 article [sw21821]
  • crossover region in the uncertainty space of a feedback control system, from which the robustness ... margin of the feedback control system is obtained. This package is the materialization ... optimized computational geometry algorithms. The SimplicialVIEW graphical user interface ( GUI ) is presented and some control ... stability crossover problem in the uncertainty space of a feedback control system, from which...
  • MPiTOUGH2

  • Referenced in 1 article [sw23340]
  • based on the parameter estimation and uncertainty analysis tool iTOUGH2, which we have parallelized using ... pursued a consequent merge of the hydrological optimization framework with the geophysical component in order ... synthetic joint inversion example where controlled-source electromagnetic observations are combined with hydrological data simulated...
  • ADOL-C

  • Referenced in 207 articles [sw00019]
  • ADOL-C: Automatic Differentiation of C/C++. We present...
  • BARON

  • Referenced in 265 articles [sw00066]
  • BARON is a computational system for solving nonconvex...
  • BPMPD

  • Referenced in 38 articles [sw00088]
  • BPMPD is a state-of-the-art implementation...
  • cdd

  • Referenced in 100 articles [sw00114]
  • The program cdd+ (cdd, respectively) is a C...
  • CGAL

  • Referenced in 304 articles [sw00118]
  • The goal of the CGAL Open Source Project...
  • CSDP

  • Referenced in 179 articles [sw00169]
  • CSDP, A C Library for Semidefinite Programming. This...
  • C-XSC

  • Referenced in 103 articles [sw00181]
  • C-XSC. A programming environment for verified scientific...
  • C-XSC 2.0

  • Referenced in 118 articles [sw00182]
  • A C++ class library for extended scientific computing...
  • GLOPT

  • Referenced in 19 articles [sw00359]
  • GLOPT is a Fortran 77 program for global...