• fda (R)

  • Referenced in 1317 articles [sw04511]
  • sample analyses through the CRAN distribution system. This is due to the pressure placed ... agreed to help out this situation by switching to distributing the Matlab functions and analyses...
  • d/dt

  • Referenced in 36 articles [sw10314]
  • which provides automatic safety verification of hybrid systems with linear continuous dynamics with uncertain input ... allows to synthesize a controller which switches the system between continuous modes in order...
  • CoSyma

  • Referenced in 9 articles [sw20124]
  • automatic controller synthesis for incrementally stable switched systems based on multi-scale discrete abstractions ... tool accepts a description of a switched system represented by a set of differential equations...
  • NetKAT

  • Referenced in 18 articles [sw16269]
  • NetKAT, a formal system for reasoning about packet switching networks, and its role...
  • LPG

  • Referenced in 12 articles [sw20690]
  • used by FF. The system can automatically switch to best-first search after a certain...
  • CrocoCosmos

  • Referenced in 4 articles [sw13547]
  • many application domains (e.g., e-business, switching systems) software systems with millions of lines...
  • KORALZ

  • Referenced in 14 articles [sw00493]
  • centre-of-mass system energy. The possibility to switch on different classes of anomalous couplings...
  • Switch

  • Referenced in 3 articles [sw34956]
  • platform for planning high-renewable power systems. Switch 2.0 is an open-source platform ... electric power systems, designed to satisfy 21st century grid planning requirements. Switch can plan investments ... economic, technical or policy analysis. Power system elements include unit commitment, part-load efficiency, fuel ... demand response, hydroelectric networks, and policy constraints. Switch’s novel architecture allows users to compose...
  • Ganga

  • Referenced in 11 articles [sw10312]
  • that researchers must regularly switch between different processing systems, each with its own command...
  • rcss

  • Referenced in 3 articles [sw26844]
  • package rcss: Convex Switching Systems. The numerical treatment of optimal switching problems in a finite...
  • Averist

  • Referenced in 3 articles [sw20133]
  • stability analysis of polyhedral switched systems. It implements an abstraction based model-checking approach proposed...
  • Siconos

  • Referenced in 10 articles [sw25724]
  • mechanics, contact dynamics, multibody systems dynamics or granular materials). Switched Electrical Circuit such as electrical ... Analog-to-Digital converter. Sliding mode control systems. Biology (Gene regulatory network). Other applications...
  • ALCON

  • Referenced in 35 articles [sw05315]
  • computation of solution paths of a nonlinear system ... computation of simple bifurcation points and branch switching at such points. Some numerical comparisons illustrate ... authors’ continuation code ALCON. ALCON1: (Al)gebraic system of equations (Con)tinuation method. Pathfollowing method...
  • MPDopt

  • Referenced in 1 article [sw23094]
  • predictive control of smooth and switched nonlinear dynamic systems. Over the years, adjoint-based model ... dynamical equation governing the physical system experiences sudden ”switches” when the system changes operational modes ... wide range of smooth and switched systems of the present class...
  • SGN Sim

  • Referenced in 8 articles [sw29325]
  • used to model specific GRNs and systems of chemical reactions. Perturbations, e.g. gene deletion, over ... toggle switch without cooperative binding subject to perturbations, a system of reactions within a compartmentalized...
  • MPTP 0.2

  • Referenced in 44 articles [sw02589]
  • Mizar Problems for Theorem Proving (MPTP) system and first experimental results obtained with ... based ATP methods. This version of MPTP switches to a generic extended TPTP syntax that ... Mizar schemes are now handled by the system, too, by remembering (and, if necessary, abstracting...
  • TSM

  • Referenced in 5 articles [sw09504]
  • APARCH and EGARCH variants, bilinear models, Markov-switching and smooth transition models. Most model features ... other features of the package. Dynamic equations systems can be specified and estimated easily, options ... simultaneous systems, error correction systems, multivariate GARCH and regime switching. Panel data models...
  • NetCore

  • Referenced in 3 articles [sw13063]
  • compiler and run-time system for network programming languages. Software-defined networks (SDNs ... controller machine manages a distributed collection of switches by instructing them to install or uninstall ... majority of packets are processed efficiently on switches -- instead of on the controller -- we present ... statistics queries to switches. Together, the compiler and run-time system generate efficient rules whenever...
  • MA48

  • Referenced in 22 articles [sw00535]
  • direct solution of sparse unsymmetric linear systems of equations. The new code utilizes a novel ... sacrifice of numerical stability. Other features include switching to full-matrix processing in all phases...
  • SWITCH

  • Referenced in 10 articles [sw02483]
  • A technology for developing software for reactive systems...