• Charon

  • Referenced in 20 articles [sw19755]
  • Modular specification of hybrid systems in Charon. A new language, called Charon, is proposed ... modular specification of interacting hybrid systems. For a hierarchical description of the system architecture, Charon...
  • MAGMA

  • Referenced in 52 articles [sw12741]
  • heterogeneous/hybrid architectures, starting with current ”Multicore+GPU” systems. The MAGMA research is based ... address the complex challenges of the emerging hybrid environments, optimal software solutions will themselves have ... algebra algorithms and frameworks for hybrid manycore and GPU systems that can enable applications...
  • Breach

  • Referenced in 20 articles [sw20822]
  • verification and parameter synthesis of hybrid systems. We describe Breach, a Matlab/C++ toolbox providing ... analysis of deterministic models of hybrid dynamical systems. The primary feature of Breach...
  • SPIKE

  • Referenced in 36 articles [sw02780]
  • parallel environment for solving banded linear systems. The hybrid banded linear solver SPIKE is proposed...
  • nuXmv

  • Referenced in 21 articles [sw18526]
  • verification algorithms. For infinite-state systems, it extends the nuXmv language with new data types ... contract based design, model checking of hybrid systems, safety assessment, and software model checking...
  • dReach

  • Referenced in 11 articles [sw20164]
  • dReach:(δ)-reachability analysis for hybrid systems. dReach is a bounded reachability analysis tool ... nonlinear hybrid systems. It encodes reachability problems of hybrid systems to first-order formulas over ... wide range of highly nonlinear hybrid systems. It has scaled well on various realistic models...
  • HAS-QAP

  • Referenced in 35 articles [sw20506]
  • paper presents HAS-QAP, a hybrid ant colony system coupled with a local search, applied ... solutions, unlike more traditional ant systems that use pheromone trail information to construct complete solutions ... search, namely, robust and reactive tabu search, hybrid genetic algorithm, and a simulated annealing method...
  • S-TaLiRo

  • Referenced in 16 articles [sw09775]
  • tool for temporal logic falsification for hybrid systems. S-TaLiRo is a Matlab (TM) toolbox...
  • ForWaRD

  • Referenced in 53 articles [sw12296]
  • deconvolution for ill-conditioned systems. We propose an efficient, hybrid Fourier-wavelet regularized deconvolution (ForWaRD...
  • STAMP

  • Referenced in 14 articles [sw09533]
  • systems, including hardware, software, and hybrid systems. In this paper, we provide descriptions...
  • Ninf-G/MPI

  • Referenced in 45 articles [sw03461]
  • method, we propose a hybrid implementation using a GridRPC system Ninf...
  • SPeeDI

  • Referenced in 7 articles [sw00896]
  • SPeeDI -- a verification tool for polygonal hybrid systems Hybrid systems combining discrete and continuous dynamics ... anajysis of the behavior of hybrid systems is reachability. It is well-known that ... most nontrivial subclasses of hybrid systems this and all interesting verification problems are undecidable. Most ... interesting and still decidable class of hybrid system are the (two-dimensional) polygonal differential inclusions...
  • HyEQ

  • Referenced in 7 articles [sw14490]
  • toolbox for simulation of hybrid systems in Matlab/Simulink: Hybrid Equations (HyEQ) Toolbox. This paper describes ... comput- ing approximations of trajectories to hybrid systems given in terms of differential and difference ... suitable for the simulation of hybrid systems with different type of trajectories, including those that ... also capable of simulating hybrid systems without inputs, with inputs, as well as interconnections...
  • Scicos

  • Referenced in 19 articles [sw01941]
  • Scicos is a graphical dynamical system modeler and simulator developed in the Metalau project ... model and simulate the dynamics of hybrid dynamical systems and compile models into executable code...
  • HyFIS

  • Referenced in 12 articles [sw24184]
  • paper proposes an adaptive neuro-fuzzy system, HyFIS (Hybrid neural Fuzzy Inference System), for building ... power of neural networks to fuzzy logic systems and provides linguistic meaning to the connectionist ... optimally tuned from training examples by a hybrid learning scheme comprised of two phases: rule ... neuro-fuzzy hybrid model, extensive simulation studies of nonlinear complex dynamic systems are carried...
  • Siconos

  • Referenced in 10 articles [sw25724]
  • found in Systems and Control (hybrid systems, differential inclusions, optimal control with state constraints), Optimization...
  • RSBR_

  • Referenced in 18 articles [sw02934]
  • application of two rough sets based systems, namely Generalized Distribution Table and Rough ... dataset. GDT-RS is a soft hybrid induction system, and RSBR is used for discretization...
  • Hybrid Stable Spline Toolbox

  • Referenced in 7 articles [sw16024]
  • kernel-based approach to hybrid system identification. All the approaches for hybrid system identification appeared ... identification of piecewise affine systems, namely the Hybrid Stable Spline (HSS) algorithm. HSS exploits ... order) piecewise affine systems. MATLAB code implementing the approach, called Hybrid Stable Spline Toolbox...
  • PyDSTool

  • Referenced in 10 articles [sw06718]
  • physical systems (ODEs, DAEs, maps, and hybrid systems). PyDSTool is platform independent, written primarily...
  • HybridSal

  • Referenced in 7 articles [sw11781]
  • language extension to SAL for specifying Hybrid Systems and a tool that performs Hybrid Abstraction ... Symbolic Systems Biology to analyze hybrid systems with tens of continuous variables...