
PRISM
 Referenced in 442 articles
[sw01186]
 decision processes and continuoustime Markov chains. Analysis is performed through model checking such systems...

CONTSID
 Referenced in 37 articles
[sw14945]
 software support for databased continuoustime modelling. This chapter describes the continuoustime system ... MATLAB®, which supports continuoustime (CT) transfer function and statespace model identification directly from ... direct timedomain identification of continuoustime linear models but also to provide the potential ... identifying linear dynamic continuoustime 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 continuoustime Markov and hidden...

PSPManalysis
 Referenced in 18 articles
[sw20475]
 class of models that consistently translates continuoustime 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 rewardbounded reachability probabilities, (propertydriven) bisimulation ... reachability analysis for continuoustime Markov decision processes (CTMDPs) and CSL model checking by discrete...

TREX
 Referenced in 46 articles
[sw01388]
 present time, parametric (continuoustime) timed automata, extended with integer counters and finitedomain variables ... lossy FIFO channels and shared variables. This model is a subset of the model taken...

MCQueue
 Referenced in 149 articles
[sw05198]
 steadyanalysis of discretetime and continuoustime Markov chains up to 100 states ... length probabilities and waitingtime 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 continuoustime model. Currently it implements Gillespie’s exact...

crawl
 Referenced in 6 articles
[sw21678]
 package crawl: Fit ContinuousTime Correlated Random Walk Models to Animal Movement Data. Fit continuous ... model is fit using the Kalmanfilter 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 continuoustime processes having discrete or continuous spatial...

FFJORD
 Referenced in 9 articles
[sw34244]
 neural network. Likelihoodbased training of these models requires restricting their architectures to allow cheap ... density. The result is a continuoustime invertible generative model with unbiased density estimation...

EpiILMCT
 Referenced in 3 articles
[sw31969]
 package EpiILMCT: Continuous Time DistanceBased and NetworkBased Individual Level Models for Epidemics ... Provides tools for simulating from continuoustime individual level models of disease transmission, and carrying ... same models. The epidemic models considered are distancebased and/or contact networkbased models within ... overview of the implemented continuoustime individual level models for epidemics is given by Almutiry...

GTAEXPRESS
 Referenced in 4 articles
[sw06520]
 called GTAexpress, to handle structured continuoustime 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 continuoustime 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 transdimensional Markov Chain ... Carlo (MCMC) approach based on a continuoustime birthdeath process. We cover the theory...

CONSER
 Referenced in 1 article
[sw20985]
 server model as a nonlinear continuoustime model using fluid approximations. Second, we develop concurrency...

Visual DSD
 Referenced in 10 articles
[sw35128]
 construction of continuoustime Markov chains and various export formats which allow models...

ctime
 Referenced in 1 article
[sw28190]
 discrete capture sessions. We show how continuoustime models can be fitted as easily...

POREM
 Referenced in 1 article
[sw00726]
 policy optimisation of linear dynamic, continuoustime models with constant coefficients and rational expectations...

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