• 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]
  • fly overapproximation and by partitioning the state space based on user-definable 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 time-invariant 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]
  • continuous-time (CT) transfer function and state-space model identification directly from regularly or irregularly ... data; it provides transfer function and state-space model identification methods for single-input 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]
  • fault-trees and queuing networks and state-space ones such as Markov and semi-Markov ... models as well stochastic Petri nets. Steady-state, 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 state-space. Since version 3.2 it can also check liveness...
  • UPPAAL TIGA

  • Referenced in 42 articles [sw12913]
  • long before having explored the entire state-space. Also the individual steps of the algorithm...