
HyTech
 Referenced in 332 articles
[sw04125]
 computes the condition under which a linear hybrid system satisfies a temporal requirement. Hybrid systems...

ANFIS
 Referenced in 285 articles
[sw08730]
 framework of adaptive networks. By using a hybrid learning procedure, the proposed ANFIS can construct...

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

Bonmin
 Referenced in 214 articles
[sw04766]
 optimization software. A class of hybrid algorithms, of which branchandbound and polyhedral outer...

Scilab
 Referenced in 174 articles
[sw00834]
 manage data exchanges with external tools. Xcos  Hybrid dynamic systems modeler and simulator: Modeling mechanical...

PHAVer
 Referenced in 117 articles
[sw04123]
 potentially powerful tool for verifying hybrid systems – yet it has remained severely limited ... exact veriﬁcation of safety properties of hybrid systems with piecewise constant bounds on the derivatives...

Nektar++
 Referenced in 104 articles
[sw11964]
 solve 2D elliptic finite element problems: a hybridized discontinuous Galerkin (HDG) case study. Numerical methods ... differential equations (PDEs) within both continuous and hybridized discontinuous Galerkin (HDG) frameworks share the same...

SpaceEx
 Referenced in 75 articles
[sw10939]
 SpaceEx: Scalable Verification of Hybrid Systems. We present a scalable reachability algorithm for hybrid systems ... SpaceEx, a new verification platform for hybrid systems, available at spaceex.imag.fr. Experimental results of full ... fixedpoint computations with hybrid systems with more than 100 variables illustrate the scalability...

BiCGstab
 Referenced in 128 articles
[sw04022]
 BiCGstab($l$) and other hybrid BiCG methods. Various implementations of the modification BiCGstab...

PPL
 Referenced in 104 articles
[sw05357]
 languages and synchronization protocols, realtime and hybrid systems. Since the seminal work...

MAGMA
 Referenced in 56 articles
[sw12741]
 address the complex challenges of the emerging hybrid environments, optimal software solutions will themselves have ... hybridize, combining the strengths of different algorithms within a single framework. Building on this idea ... design linear algebra algorithms and frameworks for hybrid manycore and GPU systems that can enable ... exploit the power that each of the hybrid components offers...

KeYmaera
 Referenced in 48 articles
[sw03709]
 KeYmaera: A hybrid theorem prover for hybrid systems. KeYmaera is a hybrid verification tool ... hybrid systems that combines deductive, real algebraic, and computer algebraic prover technologies ... natural specification and verification logic for hybrid systems. KeYmaera supports differential dynamic logic, which ... realvalued firstorder dynamic logic for hybrid programs, a program notation for hybrid automata...

GpBiCg
 Referenced in 65 articles
[sw07030]
 iterative method which is a hybrid of the BiCGSTAB and GPBiCG methods is proposed ... BiCGSTAB2 method which is a hybrid type method, two parameters of the BiCGSTAB method...

CellPLoc
 Referenced in 90 articles
[sw09126]
 package of Web servers developed recently by hybridizing the ’higher level’ approach with...

KEMDEM
 Referenced in 60 articles
[sw03093]
 Mechanism), for formalizing and realizing onedirectional hybrid encryption; KEM is a formalization of asymmetric ... encryption. This paper investigates a more general hybrid protocol, secure channel, using...

GloMIQO
 Referenced in 80 articles
[sw06266]
 sequences, wastewater treatment and total water systems, hybrid energy systems, heat exchanger networks, reactorseparator...

bnlearn
 Referenced in 77 articles
[sw08265]
 based (HillClimbing and Tabu Search) and hybrid (MMHC and RSMAX2) structure learning algorithms...

STRUCTURE
 Referenced in 75 articles
[sw13672]
 distinct populations, assigning individuals to populations, studying hybrid zones, identifying migrants and admixed individuals...

TAU
 Referenced in 74 articles
[sw04967]
 Overview of the hybrid RANS code TAU. A brief introduction is given which first describes...

NinfG/MPI
 Referenced in 45 articles
[sw03461]
 hybrid parallel method for large sparse eigenvalue problems on a grid computing environment using Ninf ... present paper, we propose a hybrid parallel method for large sparse eigenvalue problems ... efficiency of the method, we propose a hybrid implementation using a GridRPC system Ninf...