• MPT

  • Referenced in 230 articles [sw04732]
  • optimal controllers for constrained linear, nonlinear and hybrid systems. Efficiency of the code is guaranteed...
  • dReach

  • Referenced in 18 articles [sw20164]
  • bounded reachability analysis tool for nonlinear hybrid systems. It encodes reachability problems of hybrid systems ... handle a wide range of highly nonlinear hybrid systems. It has scaled well on various...
  • ANFIS

  • Referenced in 279 articles [sw08730]
  • inference system implemented in the framework of adaptive networks. By using a hybrid learning procedure ... model nonlinear functions, identify nonlinear components on-line in a control system, and predict...
  • HYBRJ

  • Referenced in 46 articles [sw05309]
  • system of N nonlinear functions in N variables by a modification of the Powell hybrid...
  • SReach

  • Referenced in 5 articles [sw20158]
  • models of stochastic hybrid systems. The first one is (nonlinear) hybrid automata with parametric uncertainty ... hybrid systems require numerical solutions for large optimization problems, and become infeasible for systems involving ... both nonlinear dynamics over the reals and stochasticity. SReach encodes stochastic information by using ... biological models and additional benchmarks for nonlinear hybrid systems with multiple probabilistic system parameters...
  • HyFIS

  • Referenced in 13 articles [sw24184]
  • nonlinear dynamical systems. This paper proposes an adaptive neuro-fuzzy system, HyFIS (Hybrid neural Fuzzy ... neuro-fuzzy hybrid model, extensive simulation studies of nonlinear complex dynamic systems are carried...
  • C2e2

  • Referenced in 11 articles [sw20139]
  • invariant properties of hybrid system and Stateflow models. It supports nonlinear dynamics...
  • CGMurphi

  • Referenced in 2 articles [sw09556]
  • automatic synthesis of numerical controllers for nonlinear hybrid systems. In the last years...
  • Bellerophon

  • Referenced in 4 articles [sw23943]
  • tactics for decomposing hybrid systems, discovering and establishing invariants of nonlinear continuous systems, arithmetic simplifications...
  • Hybrid-SINDy

  • Referenced in 1 article [sw34619]
  • Hybrid-SINDy: Sparse Identification of Nonlinear Dynamics for Hybrid Systems...
  • c05nbf

  • Referenced in 3 articles [sw36289]
  • system of nonlinear equations by a modification of the Powell hybrid method...
  • HyCreate

  • Referenced in 2 articles [sw20138]
  • defining hybrid automata and computing overapproximations of reachable sets for systems with nonlinear, nondeterministic dynamics ... dimensions. The user of HyCreate specifies a hybrid automata through the interface, using the standard...
  • SONIC

  • Referenced in 4 articles [sw10883]
  • methods for the verified solution of nonlinear systems of equations and a set of sophisticated ... extended Newton method, hybrid Newton method with probation approach, and a hybrid subdivision scheme ... total functions in SONIC allows for solving nonlinear problems which arise in chemical process engineering...
  • JBernstein

  • Referenced in 2 articles [sw19486]
  • automated verification and synthesis tasks for hybrid systems, control algorithms, digital signal processors, and mixed ... complexity issues with classical decision procedures for nonlinear real arithmetic are still a major obstacle...
  • EFSMT

  • Referenced in 2 articles [sw19487]
  • nonlinear control systems, distributed priority synthesis for orchestrating system components, and synthesis for hybrid control ... EFSMT solver uses Bernstein polynomials for solving nonlinear arithmetic constraints...
  • DNSQ

  • Referenced in 1 article [sw17056]
  • Find a zero of a system of a N nonlinear functions in N variables ... modification of the Powell hybrid method...
  • MUSCOP

  • Referenced in 7 articles [sw06143]
  • reduction of 68% in runtime for a nonlinear benchmark problem compared ... generation for the model functions and dynamic system solutions of first and second order, parallelization ... multiple shooting structure, and a hybrid language programming paradigm to minimize setup and solution time ... ranging from linear academic problems, over highly nonlinear academic problems of mathematical biology...
  • HYST

  • Referenced in 8 articles [sw20137]
  • them honor roughly the same hybrid systems semantics, they have drastically different model description languages ... difficult to quickly evaluate a specific hybrid automaton model using the different tools, (b) obstructs ... this paper, we present HYST, a HYbrid Source Transformer. HYST is a source-to-source ... benchmarks in several classes (including affine and nonlinear hybrid automata) to the input formats...
  • HBGC123D

  • Referenced in 1 article [sw13445]
  • coupled processes, HBGC123D. The model uses a hybrid Eulerian–Lagrangian finite element method to solve ... Newton’s method to solve the system of nonlinear, mixed kinetics and equilibrium reaction equations...
  • FOXTAIL

  • Referenced in 1 article [sw22273]
  • particles in tokamaks. FOXTAIL is a new hybrid magnetohydrodynamic-kinetic code used to describe interactions ... with realistic geometries. The code simulates the nonlinear dynamics of the amplitudes of individual eigenmodes ... distribution. Action-angle coordinates of the equilibrium system are used for efficient tracing of energetic...