
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 multiscale 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 bestfirst search after a certain...

CrocoCosmos
 Referenced in 4 articles
[sw13547]
 many application domains (e.g., ebusiness, switching systems) software systems with millions of lines...

KORALZ
 Referenced in 14 articles
[sw00493]
 centreofmass 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 modelchecking approach proposed...

Siconos
 Referenced in 10 articles
[sw25724]
 mechanics, contact dynamics, multibody systems dynamics or granular materials). Switched Electrical Circuit such as electrical ... AnalogtoDigital 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, adjointbased 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, Markovswitching 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 runtime system for network programming languages. Softwaredefined 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 runtime 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 fullmatrix 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...