• 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...