• HyTech

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

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

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

  • Referenced in 183 articles [sw04766]
  • optimization software. A class of hybrid algorithms, of which branch-and-bound and polyhedral outer...
  • Scilab

  • Referenced in 166 articles [sw00834]
  • manage data exchanges with external tools. Xcos - Hybrid dynamic systems modeler and simulator: Modeling mechanical...
  • PHAVer

  • Referenced in 108 articles [sw04123]
  • potentially powerful tool for verifying hybrid systems – yet it has remained severely limited ... exact verification of safety properties of hybrid systems with piecewise constant bounds on the derivatives...
  • BiCGstab

  • Referenced in 120 articles [sw04022]
  • BiCGstab($l$) and other hybrid Bi-CG methods. Various implementations of the modification BiCGstab...
  • SpaceEx

  • Referenced in 66 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 ... fixed-point computations with hybrid systems with more than 100 variables illustrate the scalability...
  • PPL

  • Referenced in 93 articles [sw05357]
  • languages and synchronization protocols, real-time and hybrid systems. Since the seminal work...
  • Nektar++

  • Referenced in 65 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...
  • Cell-PLoc

  • 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...
  • KEM-DEM

  • Referenced in 58 articles [sw03093]
  • Mechanism), for formalizing and realizing one-directional hybrid encryption; KEM is a formalization of asymmetric ... encryption. This paper investigates a more general hybrid protocol, secure channel, using...
  • GpBiCg

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

  • Referenced in 40 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 ... real-valued first-order dynamic logic for hybrid programs, a program notation for hybrid automata...
  • Ninf-G/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 67 articles [sw06266]
  • sequences, wastewater treatment and total water systems, hybrid energy systems, heat exchanger networks, reactor-separator...
  • STRUCTURE

  • Referenced in 66 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 61 articles [sw00742]
  • PSwarm: a hybrid solver for linearly constrained global derivative-free optimization. PSwarm was developed originally...