• PRISM

  • Referenced in 442 articles [sw01186]
  • decision processes and continuous-time Markov chains. Analysis is performed through model checking such systems...
  • CONTSID

  • Referenced in 37 articles [sw14945]
  • software support for data-based continuous-time modelling. This chapter describes the continuous-time system ... MATLAB®, which supports continuous-time (CT) transfer function and state-space model identification directly from ... direct time-domain identification of continuous-time linear models but also to provide the potential ... identifying linear dynamic continuous-time parametric models from measured input/output sampled data; it provides transfer...
  • msm

  • Referenced in 57 articles [sw08096]
  • hidden Markov models in continuous time. Functions for fitting general continuous-time Markov and hidden...
  • PSPManalysis

  • Referenced in 18 articles [sw20475]
  • class of models that consistently translates continuous-time models of individual life history...
  • MRMC

  • Referenced in 72 articles [sw04129]
  • probabilistic models. It supports PCTL and CSL model checking, and their reward extensions. Distinguishing features ... MRMC are its support for computing time- and reward-bounded reachability probabilities, (property-driven) bisimulation ... reachability analysis for continuous-time Markov decision processes (CTMDPs) and CSL model checking by discrete...
  • TREX

  • Referenced in 46 articles [sw01388]
  • present time, parametric (continuous-time) timed automata, extended with integer counters and finite-domain variables ... lossy FIFO channels and shared variables. This model is a subset of the model taken...
  • MCQueue

  • Referenced in 149 articles [sw05198]
  • steady-analysis of discrete-time and continuous-time Markov chains up to 100 states ... length probabilities and waiting-time probabilities for basic queueing models (M/G/1 queue, M/M/c queue, M/D/c...
  • GillespieSSA

  • Referenced in 10 articles [sw21016]
  • generating simulated trajectories of finite population continuous-time model. Currently it implements Gillespie’s exact...
  • crawl

  • Referenced in 6 articles [sw21678]
  • package crawl: Fit Continuous-Time Correlated Random Walk Models to Animal Movement Data. Fit continuous ... model is fit using the Kalman-filter on a state space version of the continuous ... time stochastic movement process...
  • Surveillance

  • Referenced in 33 articles [sw00932]
  • categorical data time series as well as continuous-time processes having discrete or continuous spatial...
  • FFJORD

  • Referenced in 9 articles [sw34244]
  • neural network. Likelihood-based training of these models requires restricting their architectures to allow cheap ... density. The result is a continuous-time invertible generative model with unbiased density estimation...
  • EpiILMCT

  • Referenced in 3 articles [sw31969]
  • package EpiILMCT: Continuous Time Distance-Based and Network-Based Individual Level Models for Epidemics ... Provides tools for simulating from continuous-time individual level models of disease transmission, and carrying ... same models. The epidemic models considered are distance-based and/or contact network-based models within ... overview of the implemented continuous-time individual level models for epidemics is given by Almutiry...
  • GTAEXPRESS

  • Referenced in 4 articles [sw06520]
  • called GTAexpress, to handle structured continuous-time Markovian models expressed using Generalized Tensor Algebra, also...
  • CCMC

  • Referenced in 2 articles [sw13324]
  • time Markov chains. We present CCMC (conditional CSL model checker), a model checker for continuous ... properties specified in continuous-time stochastic logic (CSL). Existing CTMC model checkers such as PRISM...
  • BDgraph

  • Referenced in 18 articles [sw14815]
  • efficient Bayesian framework for Gaussian graphical model determination which is a trans-dimensional Markov Chain ... Carlo (MCMC) approach based on a continuous-time birth-death process. We cover the theory...
  • CONSER

  • Referenced in 1 article [sw20985]
  • server model as a nonlinear continuous-time model using fluid approximations. Second, we develop concurrency...
  • Visual DSD

  • Referenced in 10 articles [sw35128]
  • construction of continuous-time Markov chains and various export formats which allow models...
  • ctime

  • Referenced in 1 article [sw28190]
  • discrete capture sessions. We show how continuous-time models can be fitted as easily...
  • POREM

  • Referenced in 1 article [sw00726]
  • policy optimisation of linear dynamic, continuous-time models with constant coefficients and rational expectations...
  • StoTree

  • Referenced in 1 article [sw40130]
  • formulation and solution of continuous-time Markov models of medical interventions, implemented in the Excel ... handle the same types of models in a continuous-time framework. Like Precision Tree from ... implement both decision trees and Markov models...