
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 online 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 neurofuzzy system, HyFIS (Hybrid neural Fuzzy ... neurofuzzy 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...

HybridSINDy
 Referenced in 1 article
[sw34619]
 HybridSINDy: 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 sourcetosource ... 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 magnetohydrodynamickinetic code used to describe interactions ... with realistic geometries. The code simulates the nonlinear dynamics of the amplitudes of individual eigenmodes ... distribution. Actionangle coordinates of the equilibrium system are used for efficient tracing of energetic...