
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 Statespace 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]
 timeinvariant, time series models. This includes ARMA and statespace 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 statespace 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 nonlinear nonGaussian state space models. The state vector consists...

spate
 Referenced in 6 articles
[sw12265]
 spatiotemporal 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 lowtemperature 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 modelbuilding are developed in detail. Numerous exercises ... ARIMA processes, multivariate time series and statespace 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 onthefly modelchecking of reachability...

Uppaal2k
 Referenced in 43 articles
[sw01595]
 interface to the verifier of Uppaal2k. A modelchecker for automatic verification of safety ... reachability analysis of the symbolic statespace. Since version 3.2 it can also check liveness...

abcsde
 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 ”statespace” modelling framework. Both one and multidimensional...

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, onthefly model checking of regular alternationfree 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 StateSpace Modeling. The MARSS package provides maximumlikelihood parameter estimation ... unconstrained linear multivariate autoregressive statespace (MARSS) models fit to multivariate timeseries data. Fitting...

UPPAAL TIGA
 Referenced in 38 articles
[sw12913]
 Smolka [LS98] for lineartime modelchecking of finitestate systems. Being ... long before having explored the entire statespace. 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...