• CONTSID

  • Referenced in 31 articles [sw14945]
  • continuous-time (CT) transfer function and state-space model identification directly from regularly or irregularly ... data; it provides transfer function and state-space model identification methods for single-input single...
  • Uppaal2k

  • Referenced in 43 articles [sw01595]
  • reachability analysis of the symbolic state-space. Since version 3.2 it can also check liveness...
  • SHARPE

  • Referenced in 39 articles [sw03100]
  • fault-trees and queuing networks and state-space ones such as Markov and semi-Markov...
  • UPPAAL TIGA

  • Referenced in 38 articles [sw12913]
  • long before having explored the entire state-space. Also the individual steps of the algorithm...
  • pomp

  • Referenced in 35 articles [sw10664]
  • processes (POMPs, AKA stochastic dynamical systems, state-space models). ’pomp’ provides facilities for implementing POMP...
  • SMART_

  • Referenced in 33 articles [sw04097]
  • logical behavior, both explicit and symbolic state-space generation techniques, as well as symbolic...
  • E4

  • Referenced in 12 articles [sw17878]
  • Espacio de los Estados, meaning ”State-Space Estimation of Econometric Models.” E4 uses state-space ... reliability. Despite its orientation to state-space, it provides interface functions to support many standard ... Jerez, Sonia Sotoca, A. Alexandre Trindade: ”State-Space Methods for Time Series Analysis: Theory, Applications...
  • SymmSpin

  • Referenced in 21 articles [sw07517]
  • Spin. It offers four strategies for state-space reduction, based on the heuristic that...
  • LibBi

  • Referenced in 12 articles [sw19384]
  • Bayesian State-Space Modelling on High-Performance Hardware Using LibBi. LibBi is a software package ... state-space modelling and Bayesian inference on modern computer hardware, including multi-core central processing ... work serves as an introduction to state-space models and the specialised methods developed...
  • Supremica

  • Referenced in 12 articles [sw18546]
  • main approaches to handle large state-spaces. The first approach exploits modularity in order...
  • CoSyma

  • Referenced in 8 articles [sw20124]
  • define an approximation of the state-space on which discrete abstractions are computed. The tool...
  • REDLIB

  • Referenced in 5 articles [sw21175]
  • carry out basic Boolean and state-space operations, postcondtion/precondition calculation, state-space representation normalizations, greatest...
  • dse

  • Referenced in 4 articles [sw24866]
  • series models. This includes ARMA and state-space representations, and methods for converting between them ... from the state space model, and state-space model reduction techniques are implemented. An introduction...
  • CTDSX

  • Referenced in 5 articles [sw04620]
  • collection of benchmark examples for state-space realizations of continuous-time dynamical system This paper...
  • ITSM2000

  • Referenced in 5 articles [sw16941]
  • ARIMA processes, multivariate time series and state-space models, with an optional chapter on spectral...
  • SMI Toolbox

  • Referenced in 4 articles [sw32062]
  • data. The acronym SMI stands for State-space Model Identification toolbox. The toolbox...
  • DDLab

  • Referenced in 4 articles [sw07888]
  • objects representing the convergent flow in state-space. Applications range within physics, mathematics, biology, cognition...
  • EKF/UKF Toolbox

  • Referenced in 4 articles [sw21920]
  • most common methods used in stochastic state-space estimation. The purpose of the toolbox...