
MPT
 Referenced in 212 articles
[sw04732]
 deployment of optimal controllers for constrained linear, nonlinear and hybrid systems. Efficiency of the code ... field of computational geometry and multiparametric optimization. The toolbox offers a broad spectrum...

Bonmin
 Referenced in 190 articles
[sw04766]
 development of the optimization software. A class of hybrid algorithms, of which branchandbound...

MAGMA
 Referenced in 52 articles
[sw12741]
 complex challenges of the emerging hybrid environments, optimal software solutions will themselves have to hybridize...

HIFOO
 Referenced in 55 articles
[sw05188]
 depends on a hybrid algorithm for nonsmooth, nonconvex optimization based on quasiNewton updating...

PSwarm
 Referenced in 66 articles
[sw00742]
 PSwarm: a hybrid solver for linearly constrained global derivativefree optimization. PSwarm was developed originally...

HOPSPACK
 Referenced in 12 articles
[sw04187]
 Hybrid Optimization Parallel Search PACKage. HOPSPACK solves derivativefree optimization problems in a C++ software...

BeamACO
 Referenced in 24 articles
[sw11745]
 BeamACO  hybridizing ant colony optimization with beam search: an application to open shop scheduling ... metaheuristic approach to tackle hard combinatorial optimization problems. The basic component ... search method. Based on this observation, we hybridize the solution construction mechanism of ACO with...

Evolino
 Referenced in 18 articles
[sw36450]
 Evolino: hybrid neuroevolution / optimal linear search for sequence learning. Current Neural Network learning algorithms...

GloMIQO
 Referenced in 72 articles
[sw06266]
 optimization problems include: pooling problems, distillation sequences, wastewater treatment and total water systems, hybrid energy ... polygon, and chip layout and compaction. Portfolio optimization in financial engineering can also be formulated...

SALSA
 Referenced in 30 articles
[sw02661]
 conjunction with other optimization paradigms such as local search, yielding hybrid algorithms with constraints. Such ... hybrid) search algorithms. We illustrate its use on a few examples from combinatorial optimization...

HySAT
 Referenced in 24 articles
[sw01980]
 HySAT, a bounded model checker for linear hybrid systems, incorporating a tight integration ... tool exploits the various optimizations that arise naturally in the bounded model checking context ... extends them to the hybrid domain. We demonstrate that those optimizations are crucial...

Scilab
 Referenced in 168 articles
[sw00834]
 solve constrained and unconstrained continuous and discrete optimization problems. Statistics: Tools to perform data analysis ... manage data exchanges with external tools. Xcos  Hybrid dynamic systems modeler and simulator: Modeling mechanical...

DEMORS
 Referenced in 8 articles
[sw02773]
 DEMORS: A hybrid multiobjective optimization algorithm using differential evolution and rough set theory ... this paper is to show how the hybridization of a multiobjective evolutionary algorithm (MOEA ... able to solve difficult constrained multiobjective optimization problems at a moderate computational cost. This ... objective optimization problems. Here, the main idea is to use this sort of hybrid approach...

HSolver
 Referenced in 42 articles
[sw07419]
 HSolver is a program for verification of hybrid systems based on the constraint solver RSOLVER ... linear ordinary differential equations, but is not optimized for simpler continuous dynamics...

HybridNET
 Referenced in 3 articles
[sw14682]
 program, named HybridNet, for constructing a hybridization network with the minimum number of reticulate vertices ... that it can construct an optimal hybridization network for each given maximum acyclic agreement forest ... this is the first time that optimal hybridization networks can be rapidly constructed...

Siconos
 Referenced in 12 articles
[sw25724]
 found in Systems and Control (hybrid systems, differential inclusions, optimal control with state constraints), Optimization...

HYSDEL
 Referenced in 38 articles
[sw05200]
 else and propositional logic rules. Once a hybrid system is modeled in a humanreadable ... form which can be immediately used for optimization, to solve, e.g., optimal control, safety verification...

HANSO
 Referenced in 15 articles
[sw05271]
 HANSO: Hybrid Algorithm for NonSmooth Optimization A MATLAB package based on the BFGS...

AbYSS
 Referenced in 20 articles
[sw09881]
 singleobjective optimization to the multiobjective domain. The result is a hybrid metaheuristic algorithm called ... ArchiveBased hYbrid Scatter Search (AbYSS), which follows the scatter search structure but uses mutation ... with two stateoftheart multiobjective optimizers, NSGAII and SPEA2. The results obtained...

Pueblo
 Referenced in 29 articles
[sw00743]
 This paper introduces a new hybrid method for efficiently integrating PseudoBoolean (PB) constraints into ... order to solve PB satisfiability and optimization problems. To achieve this, we adopt the cutting ... approach include a lightweight and efficient hybrid learning and backjumping strategy for analyzing...