
CONTSID
 Referenced in 31 articles
[sw14945]
 continuoustime (CT) transfer function and statespace model identification directly from regularly or irregularly ... data; it provides transfer function and statespace model identification methods for singleinput single...

Uppaal2k
 Referenced in 43 articles
[sw01595]
 reachability analysis of the symbolic statespace. Since version 3.2 it can also check liveness...

SHARPE
 Referenced in 39 articles
[sw03100]
 faulttrees and queuing networks and statespace ones such as Markov and semiMarkov...

UPPAAL TIGA
 Referenced in 38 articles
[sw12913]
 long before having explored the entire statespace. Also the individual steps of the algorithm...

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

SMART_
 Referenced in 33 articles
[sw04097]
 logical behavior, both explicit and symbolic statespace generation techniques, as well as symbolic...

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

SymmSpin
 Referenced in 21 articles
[sw07517]
 Spin. It offers four strategies for statespace reduction, based on the heuristic that...

LibBi
 Referenced in 12 articles
[sw19384]
 Bayesian StateSpace Modelling on HighPerformance Hardware Using LibBi. LibBi is a software package ... statespace modelling and Bayesian inference on modern computer hardware, including multicore central processing ... work serves as an introduction to statespace models and the specialised methods developed...

Supremica
 Referenced in 12 articles
[sw18546]
 main approaches to handle large statespaces. The first approach exploits modularity in order...

CoSyma
 Referenced in 8 articles
[sw20124]
 define an approximation of the statespace on which discrete abstractions are computed. The tool...

REDLIB
 Referenced in 5 articles
[sw21175]
 carry out basic Boolean and statespace operations, postcondtion/precondition calculation, statespace representation normalizations, greatest...

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

CTDSX
 Referenced in 5 articles
[sw04620]
 collection of benchmark examples for statespace realizations of continuoustime dynamical system This paper...

ITSM2000
 Referenced in 5 articles
[sw16941]
 ARIMA processes, multivariate time series and statespace models, with an optional chapter on spectral...

SMI Toolbox
 Referenced in 4 articles
[sw32062]
 data. The acronym SMI stands for Statespace Model Identification toolbox. The toolbox...

DDLab
 Referenced in 4 articles
[sw07888]
 objects representing the convergent flow in statespace. Applications range within physics, mathematics, biology, cognition...

EKF/UKF Toolbox
 Referenced in 4 articles
[sw21920]
 most common methods used in stochastic statespace estimation. The purpose of the toolbox...