• Scilab

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

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

  • Referenced in 38 articles [sw05200]
  • else and propositional logic rules. Once a hybrid system is modeled in a human-readable ... mixed-logical dynamical (MLD) form which can be immediately used for optimization, to solve...
  • Flow*

  • Referenced in 22 articles [sw20162]
  • based flowpipe construction for non-linear (polynomial) hybrid systems. Flow* combines well-known Taylor model ... techniques for guaranteed approximations of the continuous dynamics in each mode with a combination ... transitions. Flow* supports a wide variety of optimizations including adaptive step sizes, adaptive selection ... series of non-linear continuous and hybrid system benchmarks. Our comparisons show that Flow...
  • Evolino

  • Referenced in 18 articles [sw36450]
  • Evolino: hybrid neuroevolution / optimal linear search for sequence learning. Current Neural Network learning algorithms ... their ability to model non-linear dynamical systems. Most supervised gradient-based recurrent neural networks...
  • BoxLib

  • Referenced in 20 articles [sw11472]
  • dynamically evaluate the necessary communication patterns for sharing data amongst processors, enabling us to optimize ... computing with fewer, larger grids in the hybrid OpenMP--MPI approach (see below) is that...
  • Siconos

  • Referenced in 12 articles [sw25724]
  • impact (nonsmooth mechanics, contact dynamics, multibody systems dynamics or granular materials). Switched Electrical Circuit such ... found in Systems and Control (hybrid systems, differential inclusions, optimal control with state constraints), Optimization...
  • PyDSTool

  • Referenced in 13 articles [sw06718]
  • environment for dynamical systems models of physical systems (ODEs, DAEs, maps, and hybrid systems). PyDSTool ... scipy libraries. PyDSTool supports symbolic math, optimization, phase plane analysis, continuation and bifurcation analysis, data...
  • HyFIS

  • Referenced in 12 articles [sw24184]
  • nonlinear dynamical systems. This paper proposes an adaptive neuro-fuzzy system, HyFIS (Hybrid neural Fuzzy ... functions can be optimally tuned from training examples by a hybrid learning scheme comprised ... proposed neuro-fuzzy hybrid model, extensive simulation studies of nonlinear complex dynamic systems are carried...
  • SReach

  • Referenced in 5 articles [sw20158]
  • problems for linear hybrid systems require numerical solutions for large optimization problems, and become infeasible ... systems involving both nonlinear dynamics over the reals and stochasticity. SReach encodes stochastic information ... biological models and additional benchmarks for nonlinear hybrid systems with multiple probabilistic system parameters...
  • XSpeed

  • Referenced in 5 articles [sw20159]
  • space exploration of continuous systems with linear dynamics and non-deterministic inputs. XSpeed exploits ... Performance of XSpeed is compared with an optimized implementation of the support function algorithm ... scenario), a scalable tool for hybrid systems with linear dynamics. Experiments on Intel core...
  • LaGriT

  • Referenced in 14 articles [sw13624]
  • tools that provide mesh generation, mesh optimization and dynamic mesh maintenance in two and three ... compact and powerful and expandable to include hybrid meshes (tet, hex, prism, pyramid, quadrilateral, triangle...
  • CGMurphi

  • Referenced in 1 article [sw09556]
  • 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...
  • MUSCOP

  • Referenced in 7 articles [sw06143]
  • convergence of a one-shot one-step optimization method is neither necessary nor sufficient ... derivative generation for the model functions and dynamic system solutions of first and second order ... multiple shooting structure, and a hybrid language programming paradigm to minimize setup and solution time...
  • EZFF

  • Referenced in 1 article [sw35241]
  • several molecular dynamics engines against multiple objectives using genetic-algorithm-based global optimization methods ... unique functionality such as the parameterization of hybrid forcefields composed of multiple forcefield interactions...
  • AGX Dynamics

  • Referenced in 2 articles [sw27309]
  • Dynamics is a professional multi-purpose physics engine for simulators, Virtual Reality (VR), engineering, large ... hundreds of C++ classes of highly optimized and portable code and is the obvious choice ... high performance hybrid equation solvers and novel multi-physics models. Therefore AGX Dynamics combines accuracy...
  • ADMC++

  • Referenced in 2 articles [sw07460]
  • with high fidelity as periodic orbits of dynamical systems is challenging. Moreover, mathematical models ... computing periodic orbits in systems of hybrid differential-algebraic equations and parameter estimation methods ... time integration, parameter sensitivities, root finding and optimization. The resulting algorithms allow periodic orbits ... periodic orbit problem in rigid-body dynamics and a parameter estimation problem in neural oscillations...
  • SONIC

  • Referenced in 4 articles [sw10883]
  • support the parametrically robust design of dynamic systems, SONIC can also be used to solve ... different basic interval libraries, it can achieve optimized performance while maintaining a high degree ... known techniques: optimal linear programming preconditioners, extended Newton method, hybrid Newton method with probation approach...
  • UDDAE_Optimization

  • Referenced in 2 articles [sw38320]
  • MATLAB package UDDAE_Optimization: Stability optimization of uncertain time-delay systems. This eigenvalue-based stabilization ... method tunes the controller parameters (static or dynamic feedbacks) in order to improve the stability ... software HANSO (Hybrid Algorithm for Non Smooth Optimization...
  • COBAYN

  • Referenced in 1 article [sw28818]
  • compiler optimization phases. The proposed framework is based on the application characterization done dynamically ... evaluation based on using static analysis and hybrid feature collection approaches. In addition, the article...