• 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...