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

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

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

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

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

PHAVer
 Referenced in 113 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...

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

SpaceEx
 Referenced in 70 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...

Nektar++
 Referenced in 72 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...

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

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

MAGMA
 Referenced in 52 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...

GpBiCg
 Referenced in 60 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...

KEMDEM
 Referenced in 59 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...

KeYmaera
 Referenced in 41 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...

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

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

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

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

PSwarm
 Referenced in 62 articles
[sw00742]
 PSwarm: a hybrid solver for linearly constrained global derivativefree optimization. PSwarm was developed originally...