• PRISM

  • Referenced in 442 articles [sw01186]
  • continuous-time Markov chains. Analysis is performed through model checking such systems against specifications written...
  • CONTSID

  • Referenced in 37 articles [sw14945]
  • time modelling. This chapter describes the continuous-time system identification (CONTSID) toolbox for MATLAB®, which ... years [17] for identifying linear dynamic continuous-time parametric models from measured input/output sampled data ... SISO) and multiple-input multiple-output (MIMO) systems, including both traditional and more recent approaches...
  • NLControl

  • Referenced in 7 articles [sw15154]
  • analysis, and synthesis problems for nonlinear control systems. The majority of provided tools rely ... website address both discrete- and continuous-time systems as well as systems, defined...
  • GPOPS

  • Referenced in 93 articles [sw05853]
  • problems where it is desired to optimize systems defined by differential-algebraic equations). GPOPS ... quadrature methods. Using GPOPS-II, the continuous-time optimal control problem is transcribed...
  • CTDSX

  • Referenced in 5 articles [sw04620]
  • state-space realizations of continuous-time dynamical system This paper describes Version...
  • AdvancedNoise

  • Referenced in 1 article [sw41325]
  • continuous system simulation. Noise for continuous-time system simulation is relevant for many applications, whenever...
  • LBS

  • Referenced in 15 articles [sw12372]
  • based on the Calculus of Biochemical Systems (CBS) which affords modular descriptions of metabolic, signalling ... nets, coloured Petri nets, ODEs and continuous-time Markov chains are also given...
  • pyCTQW

  • Referenced in 4 articles [sw16801]
  • large multi-particle CTQW (continuous-time quantum walk)-based systems. In this paper, we present...
  • CollocInfer

  • Referenced in 6 articles [sw14377]
  • Inference for Dynamic Systems. These functions implement collocation-inference for continuous-time and discrete-time...
  • BAL

  • Referenced in 1 article [sw17648]
  • brute-force analysis of dynamical systems. This paper describes the functionality and usage ... brute-force analysis of continuous-time dynamical systems described by ordinary differential equations (ODEs...
  • INFAMY

  • Referenced in 5 articles [sw21177]
  • complex concurrent systems often involves intricate performance and dependability considerations. Continuous-time Markov chains (CTMCs...
  • ADPT

  • Referenced in 1 article [sw36504]
  • solves optimal control problems for continuous-time nonlinear systems. Based on the adaptive dynamic programming...
  • SABRE

  • Referenced in 7 articles [sw12884]
  • reaction networks. Biochemical reactions networks represent biological systems studied at a molecular level and these ... interprets either as continuous-time or as discrete-time Markov chains. Besides operating ... computing a mean-field approximation of the system under study. We illustrate the different functionalities...
  • SeQuaiA

  • Referenced in 0 articles [sw37054]
  • biochemical systems. They induce continuous-time stochastic systems, whose analysis is a computationally intensive task...
  • CT-HYB

  • Referenced in 1 article [sw28325]
  • Continuous-time hybridization expansion quantum impurity solver for multi-orbital systems with complex hybridizations ... describe an open-source implementation of the continuous-time hybridization-expansion quantum Monte Carlo method...
  • HyVisual

  • Referenced in 0 articles [sw38887]
  • Visual Modeler. Hybrid systems are systems with continuous-time dynamics, discrete events, and discrete mode ... visual modeler supports construction of hierarchical hybrid systems. It uses a block-diagram representation...
  • GillespieSSA

  • Referenced in 10 articles [sw21016]
  • generating simulated trajectories of finite population continuous-time model. Currently it implements Gillespie’s exact ... included, decaying-dimerization reaction set, linear chain system, logistic growth model, Lotka predator-prey model...
  • Visual DSD

  • Referenced in 10 articles [sw35128]
  • analysis tool for dna strand displacement systems. Summary: The Visual DSD (DNA Strand Displacement) tool ... stochastic and deterministic simulation, construction of continuous-time Markov chains and various export formats which...
  • PRISM-PSY

  • Referenced in 3 articles [sw33601]
  • Precise GPU-Accelerated Parameter Synthesis for Stochastic Systems. In this paper we present PRISM ... precise GPU-accelerated parameter synthesis for continuous-time Markov chains and time-bounded temporal logic...
  • iQIST

  • Referenced in 2 articles [sw16777]
  • iQIST: An open source continuous-time quantum Monte Carlo impurity solver toolkit. Quantum impurity solvers ... theoretical studies of strongly correlated electron systems. Especially, they play a key role in dynamical ... based on the hybridization expansion continuous-time quantum Monte Carlo algorithm, as well as some...