
MPT
 Referenced in 186 articles
[sw04732]
 design, analysis and deployment of optimal controllers for constrained linear, nonlinear and hybrid systems. Efficiency ... field of computational geometry and multiparametric 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...

RMAX
 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 resourceintensive 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...

WARGI
 Referenced in 1 article
[sw30179]
 WARGI, is proposed in the paper. The optimization tool utilizes agraphical interface to allow ... perform sensitivity analysis and to process data uncertainty using scenariooptimization. WARGI allows to start from ... control all the intermediate phases,easily to update system configuration and to consider different optimizers...

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 realtime 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 controlledsource electromagnetic observations are combined with hydrological data simulated...

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

BARON
 Referenced in 269 articles
[sw00066]
 BARON is a computational system for solving nonconvex...

BPMPD
 Referenced in 38 articles
[sw00088]
 BPMPD is a stateoftheart implementation...

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

CGAL
 Referenced in 309 articles
[sw00118]
 The goal of the CGAL Open Source Project...

CSDP
 Referenced in 183 articles
[sw00169]
 CSDP, A C Library for Semidefinite Programming. This...

CXSC
 Referenced in 104 articles
[sw00181]
 CXSC. A programming environment for verified scientific...

CXSC 2.0
 Referenced in 119 articles
[sw00182]
 A C++ class library for extended scientific computing...