• Scilab

  • Referenced in 173 articles [sw00834]
  • Statistics: Tools to perform data analysis and modeling Control System Design & Analysis: Standard algorithms ... exchanges with external tools. Xcos - Hybrid dynamic systems modeler and simulator: Modeling mechanical systems, hydraulic...
  • HyTech

  • Referenced in 331 articles [sw04125]
  • linear hybrid system satisfies a temporal requirement. Hybrid systems are specified as collections of automata ... temporal requirements are verified by symbolic model checking. If the verification fails, then HyTech generates...
  • ParaDisEO

  • Referenced in 45 articles [sw01948]
  • most common parallel and distributed models and hybridization mechanisms, etc. This high content and utility ... provide the most common parallel and distributed models. Their implementation is portable on distributed-memory...
  • HYSDEL

  • Referenced in 39 articles [sw05200]
  • HYSDEL allows modeling a class of hybrid systems described by interconnections of linear dynamic systems ... propositional logic rules. Once a hybrid system is modeled in a human-readable fashion, HYSDEL...
  • Hybrid Toolbox

  • Referenced in 28 articles [sw15053]
  • MATLAB/Simulink toolbox for modeling, simulating, and verifying hybrid dynamical systems, for designing and simulating model...
  • HySAT

  • Referenced in 25 articles [sw01980]
  • efficient proof engine for bounded model checking of hybrid systems n this paper we present ... HySAT, a bounded model checker for linear hybrid systems, incorporating a tight integration ... optimizations that arise naturally in the bounded model checking context, e.g. isomorphic replication of learned ... decision strategies, and extends them to the hybrid domain. We demonstrate that those optimizations...
  • Breach

  • Referenced in 26 articles [sw20822]
  • toolbox for verification and parameter synthesis of hybrid systems. We describe Breach, a Matlab/C++ toolbox ... aimed at the analysis of deterministic models of hybrid dynamical systems. The primary feature ... analysis of complex non-linear models from systems biology...
  • nuXmv

  • Referenced in 28 articles [sw18526]
  • requirements analysis, contract based design, model checking of hybrid systems, safety assessment, and software model...
  • ANFIS

  • Referenced in 279 articles [sw08730]
  • framework of adaptive networks. By using a hybrid learning procedure, the proposed ANFIS can construct ... simulation, the ANFIS architecture is employed to model nonlinear functions, identify nonlinear components on-line...
  • HyFIS

  • Referenced in 13 articles [sw24184]
  • system, HyFIS (Hybrid neural Fuzzy Inference System), for building and optimising fuzzy models. The proposed ... model introduces the learning power of neural networks to fuzzy logic systems and provides linguistic ... optimally tuned from training examples by a hybrid learning scheme comprised of two phases: rule ... applicability of the proposed neuro-fuzzy hybrid model, extensive simulation studies of nonlinear complex dynamic...
  • Flow*

  • Referenced in 27 articles [sw20162]
  • linear hybrid systems. The tool Flow* performs Taylor model-based flowpipe construction for non-linear ... polynomial) hybrid systems. Flow* combines well-known Taylor model arithmetic techniques for guaranteed approximations ... series of non-linear continuous and hybrid system benchmarks. Our comparisons show that Flow...
  • HYST

  • Referenced in 8 articles [sw20137]
  • Source Transformation and Translation Tool for Hybrid Automaton Models. A number of powerful and scalable ... hybrid systems model checkers have recently emerged. Although all of them honor roughly the same ... hybrid systems semantics, they have drastically different model description languages. This situation (a) makes ... difficult to quickly evaluate a specific hybrid automaton model using the different tools, (b) obstructs...
  • M3D-C

  • Referenced in 10 articles [sw09200]
  • fluid model are implemented. Particle-fluid hybrid options are currently being updated for parallel architecture ... Alfven Eigenmodes (TAE modes) (using a hybrid model); pellet injection; and the formation of current...
  • M3D

  • Referenced in 9 articles [sw20555]
  • magnetohydrodynamic (MHD) and two-fluids; and hybrid models, namely gyrokinetic-energetic-particle/MHD (5D energetic...
  • Scicos

  • Referenced in 19 articles [sw01941]
  • simulate the dynamics of hybrid dynamical systems and compile models into executable code. Scicos...
  • CompuCell3D

  • Referenced in 23 articles [sw34248]
  • simulations using the Glazier-Graner-Hogeweg (GGH) model, a cell-oriented framework designed to simulate ... simulation, based on the hybrid (continuum-discrete) model of Picioreanu, van Loosdrecht, and Heijnen...
  • WASP

  • Referenced in 56 articles [sw09565]
  • stable model checking. Concerning the branching heuristics, WASP adopts the BerkMin criterion hybridized with look...
  • DAEPACK

  • Referenced in 17 articles [sw12958]
  • applied to general FORTRAN models so that hybrid discrete/continuous dynamic simulation can be performed efficiently ... determining the analytical derivatives of the original model using automatic differentiation (AD) (automatic differentiation...
  • SpaceEx

  • Referenced in 75 articles [sw10939]
  • present a scalable reachability algorithm for hybrid systems with piecewise affine, non-deterministic dynamics ... addition, we propose an improved approximation model, which drastically improves the accuracy of the algorithm ... SpaceEx, a new verification platform for hybrid systems, available at spaceex.imag.fr. Experimental results of full...
  • Ninf-G/MPI

  • Referenced in 45 articles [sw03461]
  • present paper, we propose a hybrid parallel method for large sparse eigenvalue problems ... models. In order to improve the parallel efficiency of the method, we propose a hybrid...