
EnKF
 Referenced in 376 articles
[sw02066]
 handle strongly nonlinear dynamics and large state spaces and is now used in realistic applications...

Java PathFinder
 Referenced in 120 articles
[sw07658]
 PROMELA model with the same state space characteristics as the JAVA program. Hence, the JAVA ... must have a finite and tractable state space. The work should be seen...

forecast
 Referenced in 122 articles
[sw04505]
 series forecasts including exponential smoothing via state space models and automatic ARIMA modelling...

PHAVer
 Referenced in 116 articles
[sw04123]
 ﬂy overapproximation and by partitioning the state space based on userdeﬁnable constraints...

SsfPack
 Referenced in 65 articles
[sw09502]
 Statistical algorithms for models in state space using SsfPack 2. 2. The authors discuss ... univariate and multivariate models in state space form. The emphasis is on documenting the link ... full range of different state space forms: from a simple timeinvariant model ... ARMA and cubic spline models in state space form. Basic functions are available for filtering...

Forecast
 Referenced in 87 articles
[sw07972]
 series forecasts including exponential smoothing via state space models and automatic ARIMA modelling...

TINA
 Referenced in 45 articles
[sw03280]
 tool TINA  construction of abstract state spaces for Petri nets and time Petri nets ... certain classes of properties of their state spaces. For Petri nets, these abstractions help prevent ... nets, which have, in general, infinite state spaces, they provide a finite symbolic representation...

RICPAC
 Referenced in 63 articles
[sw15253]
 generalized (or implicit or descriptor) state space form. A software package called RICPACK has been...

expsmooth
 Referenced in 37 articles
[sw11122]
 book ”Forecasting with exponential smoothing: the state space approach” by Hyndman, Koehler, Ord and Snyder ... Forecasting with exponential smoothing. The state space approach. Exponential smoothing methods have been around since ... complete modeling framework incorporating innovations state space models, likelihood calculation, prediction intervals and procedures...

Zing
 Referenced in 38 articles
[sw01037]
 build a flexible and scalable systematic state space exploration infrastructure for software. This infrastructure includes ... push the frontier on exploring large state spaces of software. We believe that such...

dlm
 Referenced in 29 articles
[sw04503]
 Bayesian analysis of Normal linear State Space models, also known as Dynamic Linear Models. This ... notions of dynamic linear models and state space models, the Kalman filter for estimation ... dynamic linear models. State space models, dynamic linear models, state estimation and forecasting, filtering...

CONTSID
 Referenced in 34 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...

CHomP
 Referenced in 47 articles
[sw09358]
 scales, both in the state space and in parameter space. Somewhat paradoxically, this points...

SHARPE
 Referenced in 42 articles
[sw03100]
 faulttrees and queuing networks and statespace ones such as Markov and semiMarkov ... models as well stochastic Petri nets. Steadystate, transient and interval measures can be computed...

STAMP
 Referenced in 43 articles
[sw09536]
 signal extraction is carried out using state space methods and Kalman filtering. However, STAMP...

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

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