• MPT

• Referenced in 235 articles [sw04732]
• deployment of optimal controllers for constrained linear, nonlinear and hybrid systems. Efficiency of the code ... field of computational geometry and multi-parametric optimization. The toolbox offers a broad spectrum ... create custom objective functions. Resulting optimal control laws can either be embedded into your applications...

• Scilab

• Referenced in 175 articles [sw00834]
• discrete optimization problems. Statistics: Tools to perform data analysis and modeling Control System Design & Analysis ... Standard algorithms and tools for control system study Signal Processing: Visualize, analyze and filter signals ... manage data exchanges with external tools. Xcos - Hybrid dynamic systems modeler and simulator: Modeling mechanical...

• HIFOO

• Referenced in 63 articles [sw05188]
• often desired to compute a single controller which stabilizes multiple plants simultaneously. HIFOO is aimed ... order stabilization and performance optimization problems. It depends on a hybrid algorithm for nonsmooth, nonconvex...

• Siconos

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

• HYSDEL

• Referenced in 39 articles [sw05200]
• else and propositional logic rules. Once a hybrid system is modeled in a human-readable ... immediately used for optimization, to solve, e.g., optimal control, safety verification, or estimation and fault...

• Mesquite

• Referenced in 37 articles [sw10590]
• advanced smoothing and optimization to: Untangle meshes, Provide local size control, Improve angles, orthogonality ... surface meshes, adapt to surface curvature, Improve hybrid meshes (including pyramids & wedges), Smooth meshes with...

• S-TaLiRo

• Referenced in 22 articles [sw09775]
• tool for temporal logic falsification for hybrid systems. S-TaLiRo is a Matlab (TM) toolbox ... stochastic optimization techniques including Monte-Carlo methods and Ant-Colony Optimization. Among the advantages ... industry for model-based development of control software. We present the architecture of S-TaLiRo...

• CGMurphi

• Referenced in 2 articles [sw09556]
• nonlinear hybrid systems. In the last years, the use of controllers has become very common ... times such controllers are required to be {it optimal} and {it robust}, i.e., they must ... even more challenging when dealing with {it hybrid systems}, which represent a wide range ... optimal and robust numerical controllers for systems having complex dynamics, possibly hybrid systems. The tool...

• HyFIS

• Referenced in 13 articles [sw24184]
• functions can be optimally tuned from training examples by a hybrid learning scheme comprised ... applicability of the proposed neuro-fuzzy hybrid model, extensive simulation studies of nonlinear complex dynamic ... incremental adaptive learning for the prediction and control of nonlinear dynamical systems. Two benchmark case...

• UDDAE_Optimization

• Referenced in 3 articles [sw38320]
• optimization of uncertain time-delay systems. This eigenvalue-based stabilization method tunes the controller parameters ... controller and distributed terms. The time-delay system may non-linearly depend on the controller ... software HANSO (Hybrid Algorithm for Non Smooth Optimization...

• AltAlt

• Referenced in 7 articles [sw20691]
• problems is remarkably robust. AltAlt is a hybrid planner implemented ... been enhanced with a variety of optimizations to drive down the cost of heuristic computation ... have use partial constructed planning graphs to control the cost of computing the heuristics...

• CorrT

• Referenced in 6 articles [sw26432]
• turn, result in the severe lack of control of Type-I error. In this article ... optimal in a variety of frameworks: sparse, non-sparse and hybrid models where sparse...

• SimHPN

• Referenced in 2 articles [sw06443]
• synthesis of dynamical systems modeled by hybrid Petri nets. The package supports several server semantics ... such a class of nets, optimal control and observability algorithms are also implemented. The package...

• samoa2

• Referenced in 4 articles [sw25252]
• concrete simulation scenarios are implemented based on control loops and event hooks, which hide ... Japan. sam(oa) 2 features hybrid MPI+OpenMP parallelization based on the Sierpinski order induced ... grid cells between MPI processes. Using optimized communication and load balancing algorithms...

• POS3POLY

• Referenced in 3 articles [sw09847]
• powerful instrument having applications in signal processing, control and other engineering fields. Hence, appeared ... positive polynomials as variables in a convex optimization problem. We present here the POS3POLY library ... three types of polynomials: trigonometric, real and hybrid. The positivity of the polynomials...

• MUSCOP

• Referenced in 7 articles [sw06143]
• that the quality of the fine grid controls the accuracy of the solution while ... convergence of a one-shot one-step optimization method is neither necessary nor sufficient ... multiple shooting structure, and a hybrid language programming paradigm to minimize setup and solution time...

• sitar

• Referenced in 2 articles [sw40191]
• falsification of hybrid systems. Falsification techniques for models of embedded control systems automate the process ... which allows formulating bug-finding as an optimization problem. In this paper, we present...

• VFloat

• Referenced in 1 article [sw33310]
• subsets of our format. Custom datapaths with optimal bitwidths for each operation can be built ... three types of hardware modules for format control, arithmetic operations, and conversions between fixed-point ... point formats. The format conversions allow for hybrid fixed- and floating-point operations...

• MIN3P-HPC

• Referenced in 1 article [sw39509]
• methods. MIN3P-HPC uses a vertex-centered control volume method with consideration of both vertex ... OpenMP, MPI and hybrid MPI-OpenMP, making optimized use of computer resources ranging from desktop...

• PAIsing

• Referenced in 1 article [sw28327]
• complex free-energy landscapes. It is a hybrid method, combining importance sampling through Markov chains ... Monte Carlo in the form of population control. While it appears to provide algorithmic capabilities ... this structural advantage and present a highly optimized implementation of the population annealing algorithm...