• SSMMATLAB

  • Referenced in 5 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...
  • SMART_

  • Referenced in 33 articles [sw04097]
  • symbolic state-space generation techniques, as well as symbolic CTL model-checking algorithms, are available...
  • sspir

  • Referenced in 6 articles [sw24865]
  • language to define dynamic generalized linear models (state space models). Includes functions for Kalman filtering...
  • STAMP

  • Referenced in 45 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...
  • FAUST2

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

  • Referenced in 32 articles [sw01934]
  • unbounded state space, and verify finite state programs by explicit state model checking. Both Java...
  • 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...
  • 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 11 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...
  • Romeo

  • Referenced in 26 articles [sw00812]
  • Romeo allows state space computation of TPN and on-the-fly model-checking of reachability...
  • 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...
  • FKF

  • Referenced in 4 articles [sw14663]
  • fitting of high-dimensional linear state space models to large datasets becomes possible. This package ... plot function for the visualization of the state vector and graphical diagnostics of the residuals...
  • 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...
  • PySSM

  • Referenced in 2 articles [sw24400]
  • Bayesian Inference of Linear Gaussian State Space Models. PySSM is a Python package that ... time series using linear Gaussian state space models. PySSM is easy to use; models...
  • 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...
  • UPPAAL TIGA

  • Referenced in 45 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...
  • dynr

  • Referenced in 3 articles [sw18446]
  • kinds in R. These include models of processes in discrete time or continuous time. They ... Latent variables can be continuous (e.g. state space models) or discrete (e.g. regime-switching models...
  • 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...