• SSMMATLAB

  • Referenced in 4 articles [sw15531]
  • Programs for the Statistical Analysis of State Space Models. This article discusses and describes SSMMATLAB ... MATLAB for the statistical analysis of state space models. The state space model considered ... models, VARMAX models in echelon form, cointegrated VARMA models, and univariate structural or ARIMA model ... based unobserved components models, into state space form. There are also functions to implement...
  • SMI Toolbox

  • Referenced in 4 articles [sw32062]
  • toolbox : A Matlab toolbox for state space model identification. This paper presents version ... toolbox for the identification of MIMO state space models from measured input and output data ... acronym SMI stands for State-space Model Identification toolbox. The toolbox is a collection...
  • STAMP

  • Referenced in 41 articles [sw09536]
  • signal extraction is carried out using state space methods and Kalman filtering. However, STAMP ... which enables the user to concentrate on model selection and interpretation. STAMP...
  • JavaFAN

  • Referenced in 30 articles [sw01934]
  • unbounded state space, and verify finite state programs by explicit state model checking. Both Java...
  • dse

  • Referenced in 4 articles [sw24866]
  • time-invariant, time series models. This includes ARMA and state-space representations, and methods ... looking at model roots, stability, and forecasts at different horizons. The ARMA model representation ... estimates can be obtained from the state space model, and state-space model reduction techniques...
  • glarma

  • Referenced in 5 articles [sw23274]
  • generalized linear autoregressive moving average (GLARMA) models for discrete valued time series with regression variables ... observation driven non-linear non-Gaussian state space models. The state vector consists...
  • spate

  • Referenced in 6 articles [sw12265]
  • spatio-temporal modeling of large data sets. A Gaussian process in space and time ... time and space, a linear Gaussian state space model is obtained. When doing inference...
  • MCAMC

  • Referenced in 12 articles [sw02829]
  • extremely useful for models with discrete state spaces when low-temperature simulations are desired ... this algorithm we introduce a simple model involving random walkers on an energy landscape. This...
  • SSM

  • Referenced in 3 articles [sw24401]
  • State Space Models Toolbox for MATLAB. State Space Models (SSM) is a MATLAB toolbox ... state space methods. The software features fully interactive construction and combination of models, with support...
  • ITSM2000

  • Referenced in 5 articles [sw16941]
  • logic and tools of time series model-building are developed in detail. Numerous exercises ... ARIMA processes, multivariate time series and state-space models, with an optional chapter on spectral...
  • Zing

  • Referenced in 38 articles [sw01037]
  • Zing is a software model checking project at Microsoft Research. Our goal ... build a flexible and scalable systematic state space exploration infrastructure for software. This infrastructure includes...
  • Romeo

  • Referenced in 25 articles [sw00812]
  • Romeo allows state space computation of TPN and on-the-fly model-checking of reachability...
  • Uppaal2k

  • Referenced in 43 articles [sw01595]
  • interface to the verifier of Uppaal2k. A model-checker for automatic verification of safety ... reachability analysis of the symbolic state-space. Since version 3.2 it can also check liveness...
  • abc-sde

  • Referenced in 3 articles [sw24744]
  • performs approximate Bayesian computation for stochastic models having latent dynamics defined by stochastic differential equations ... SDEs) and not limited to the ”state-spacemodelling framework. Both one- and multi-dimensional...
  • CAESAR_SOLVE

  • Referenced in 14 articles [sw10194]
  • concurrent systems, such as equivalence checking and model checking. These problems can be solved ... without constructing explicitly the state space of the system under analysis) by using a demand ... widely used equivalence relations, on-the-fly model checking of regular alternation-free modal ... reduction of state spaces based on τ-confluence...
  • ISP

  • Referenced in 12 articles [sw04895]
  • Utah. Like model checkers, such as SPIN, ISP verifies the complete state space...
  • FAUST2

  • Referenced in 6 articles [sw23682]
  • dtMP) defined over uncountable (continuous) state spaces. A dtMP model is specified in MATLAB...
  • MARSS

  • Referenced in 2 articles [sw23275]
  • package MARSS: Multivariate Autoregressive State-Space Modeling. The MARSS package provides maximum-likelihood parameter estimation ... unconstrained linear multivariate autoregressive state-space (MARSS) models fit to multivariate time-series data. Fitting...
  • UPPAAL TIGA

  • Referenced in 38 articles [sw12913]
  • Smolka [LS98] for linear-time model-checking of finite-state systems. Being ... long before having explored the entire state-space. Also the individual steps of the algorithm...
  • StateSpace.jl

  • Referenced in 1 article [sw29997]
  • StateSpace.jl: A Julia package for state space modeling. State space models are a very general ... useful when we want to know the state of some process...