• fda (R)

  • Referenced in 1217 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 35 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...
  • 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 34 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...
  • 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...
  • MPTP 0.2

  • Referenced in 43 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...
  • 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...
  • MR4UM

  • Referenced in 2 articles [sw08198]
  • control program from an automotive system and the altitude switch program from an aircraft altitude...