• PRISM

• Referenced in 442 articles [sw01186]
• systems. PRISM supports three probabilistic models: discrete-time Markov chains, Markov decision processes and continuous...

• MCQueue

• Referenced in 148 articles [sw05198]
• transient and steady-analysis of discrete-time and continuous-time Markov chains...

• MISER3

• Referenced in 84 articles [sw04190]
• Fortran programs for solving continuous and discrete-time optimal control problems, optimal parameter selection problems...

• RICPAC

• Referenced in 65 articles [sw15253]
• equations arising in both continuous-and discrete-time applications. This general form is derived from...

• MR and LTV Synthesis Tools

• Referenced in 36 articles [sw05190]
• synthesis methods H-infinity synthesis of discrete-time LTV systems using LMI synthesis methods System ... conversion (i.e. multi-rate LTI to discrete-time LTV) LTV system balance, reduction, and truncation...

• Uhlig Toolkit

• Referenced in 50 articles [sw15482]
• toolkit for solving such nonlinear dynamic discrete-time stochastic models easily, building on log-linearizing...

• Polynomial Toolbox

• Referenced in 33 articles [sw07237]
• Discrete-time symmetric polynomial equations with complex coefficients. Discrete-time symmetric polynomial equations with complex...

• bc-prod

• Referenced in 43 articles [sw10663]
• tackle a wide variety of the discrete-time lot-sizing problems arising both in practice...

• CONTSID

• Referenced in 37 articles [sw14945]
• without requiring the determination of a discrete-time (DT) model. The motivation for developing...

• Ellipsoidal Toolbox

• Referenced in 38 articles [sw10826]
• backward reach sets of continuous- and discrete-time piecewise affine systems. Forward and backward reach...

• LFR-toolbox

• Referenced in 28 articles [sw04756]
• class of uncertainty descriptions: continuous- and discrete-time uncertain models, regular and singular parametric expressions...

• Algorithm 735

• Referenced in 15 articles [sw04403]
• Wavelet transform algorithms for finite-duration discrete-time signals. The algorithms split for the wavelet ... transform are presented for finite-duration discrete-time signals of arbitrary length not restricted...

• DCVALID

• Referenced in 15 articles [sw20416]
• automata theoretic decision procedure for Quantified Discrete-time Duration Calculus (QDDC). For every formula...

• SCASY

• Referenced in 12 articles [sw03251]
• standard and generalized continuous-time and discrete-time Sylvester-type matrix equations. The analysis...

• PARAM

• Referenced in 14 articles [sw09669]
• model checker for parametric discrete-time Markov chains (PMCs). PARAM can evaluate temporal properties...

• FAUST2

• Referenced in 14 articles [sw23682]
• formal abstractions of (possibly non-deterministic) discrete-time Markov processes (dtMP) defined over uncountable (continuous...

• HQP/OMUSES

• Referenced in 9 articles [sw05158]
• motivated by discrete-time optimal control problems, solves general NLP using Powell’s or Schittkowski...

• momentuHMM

• Referenced in 9 articles [sw21676]
• hidden Markov models of animal movement. Discrete-time hidden Markov models (HMMs) have become...

• recsy

• Referenced in 7 articles [sw04139]
• standard and generalized continuous-time and discrete-time Sylvester-type matrix equations. The analysis...

• SABRE

• Referenced in 7 articles [sw12884]
• either as continuous-time or as discrete-time Markov chains. Besides operating in a stochastic...