• d/dt

  • Referenced in 36 articles [sw10314]
  • automatic safety verification of hybrid systems with linear continuous dynamics with uncertain input. The verification ... allows to synthesize a controller which switches the system between continuous modes in order...
  • 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...
  • MPDopt

  • Referenced in 1 article [sw23094]
  • predictive control of smooth and switched nonlinear dynamic systems. Over the years, adjoint-based model ... which the dynamical equation governing the physical system experiences sudden ”switches” when the system changes...
  • MCAMC

  • Referenced in 12 articles [sw02829]
  • kinetic Monte Carlo simulations from magnetization switching to protein folding We present the Monte Carlo ... MCAMC algorithm does not modify the system dynamics. It is extremely useful for models with...
  • TSM

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

  • Referenced in 1 article [sw32749]
  • Switch of Sensitivity Dynamics Revealed with DyGloSA Toolbox for Dynamical Global Sensitivity Analysis ... Early Warning for System’s Critical Transition. Systems with bifurcations may experience abrupt irreversible ... their performance, called critical transitions. For many systems like climate, economy, ecosystems it is highly ... equations models. We suggest that the switch in dynamics of parameter sensitivities revealed...
  • LIFT

  • Referenced in 3 articles [sw20596]
  • flow tracking system, called LIFT, which minimizes run-time overhead by exploiting dynamic binary instrumentation ... eliminates unnecessary dynamic information flow tracking, coalesces information checks, and efficiently switches between target programs ... LIFT on a dynamic binary instrumentation framework on Windows. Our real-system experiments with...
  • PSIM

  • Referenced in 6 articles [sw06601]
  • power electronics, motor control, and dynamic system simulation. Below are available add-on Modules ... Control Module: For analysis of digital control systems in z-domain... SimCoupler Module ... loss calculation and thermal analysis of switching devices... HEV Design Suite: For hybrid electric vehicle...
  • rcss

  • Referenced in 3 articles [sw26844]
  • package rcss: Convex Switching Systems. The numerical treatment of optimal switching problems in a finite ... uncontrolled continuous component following linear dynamics and a controlled Markov chain taking values...
  • SGN Sim

  • Referenced in 8 articles [sw29325]
  • multiple time delayed events and its dynamics is driven by a stochastic simulation algorithm ... used to model specific GRNs and systems of chemical reactions. Perturbations, e.g. gene deletion, over ... present a model of a toggle switch without cooperative binding subject to perturbations, a system...
  • LPG

  • Referenced in 12 articles [sw20690]
  • current partial plan, and are dynamically evaluated during search using discrete Lagrange multipliers. The evaluation ... mutex relations of the planning graph. The system can produce good quality plans in terms ... used by FF. The system can automatically switch to best-first search after a certain...
  • GRM

  • Referenced in 4 articles [sw00391]
  • library designed for use in spoken-dialogue systems, speech synthesis, and other speech processing applications ... dynamically modify the compiled grammar automata. The dynamic modifications allowed include: grammar switching, dynamic modification...
  • PSLF

  • Referenced in 2 articles [sw35154]
  • algorithms for power-flow and dynamic system analysis in the PSLF suite have been developed ... handle large utility-scale systems of up to 125,000 buses. A complete ... tools allows the user to switch smoothly between data visualization, system simulation, and results analysis...
  • BAL

  • Referenced in 1 article [sw17648]
  • classify the asymptotic trajectory of a dynamical system for bifurcation analysis. Some examples of application ... Lyapunov exponents, basins of attraction, simulation of switching ODE systems, and integration with AUTO...
  • HyCreate

  • Referenced in 2 articles [sw20138]
  • overapproximations of reachable sets for systems with nonlinear, nondeterministic dynamics with a small number ... mode differential equations, guard conditions, discrete switch resets, and mode invariants are all input using...
  • HMM_based_method

  • Referenced in 1 article [sw34269]
  • complex biological systems by hidden Markov model. Results: By exploring the rich dynamical information provided ... model (HMM) based approach, to detect the switching point of the two Markov processes from ... imminent phase transitions of complex systems based on the simulated datasets, and further identify...
  • CINSim

  • Referenced in 3 articles [sw30208]
  • interconnection networks that are composed of switches, buffers, sources, and destinations. This includes regular networks ... allowing to estimate the distribution of results. Dynamic reconfiguration of interconnection networks can also ... executed on parallel or distributed systems to speed up simulations. To the best...
  • Ocelot

  • Referenced in 3 articles [sw09713]
  • bulk-synchronous applications in heterogeneous systems. Ocelot is a dynamic compilation framework designed ... onto diverse multithreaded platforms. Ocelot includes a dynamic binary translator from Parallel Thread eXecution ... target x86 and other ISAs. The dynamic compiler is able to execute existing CUDA binaries ... without recompilation from source and supports switching between execution on an NVIDIA...
  • MassiveThreads

  • Referenced in 1 article [sw33051]
  • best of our knowledge, none of such systems satisfy both requirements. To address this issue ... only lightweight threads and a scalable dynamic load-balancing mechanism among CPU cores, but also ... call triggers a user-level context switch instead of blocking the underlying OS-level thread...
  • dMPC

  • Referenced in 1 article [sw35809]
  • distributed MPC stratgy. The method applies a dynamic threshold to evaluate the deviation trend over ... indicators such as residual deviation, number of switching events and computation and communication requirements ... methodology for the control design of systems of different dimensions...