1 Introduction
Estimating probabilistic models for sequential data is central to many domains, such as audio, natural language or physical plants, Graves (2013); Watter et al. (2015); Chung et al. (2015); Deisenroth & Rasmussen (2011); Ko & Fox (2011). The goal is to obtain a model that best reflects a data set of observed sequences
. Recent advances in deep learning have paved the way to powerful models capable of representing highdimensional sequences with temporal dependencies, e.g.,
Graves (2013); Watter et al. (2015); Chung et al. (2015); Bayer & Osendorfer (2014).Time series for dynamic systems have been studied extensively in systems theory, cf. McGoff et al. (2015) and sources therein. In particular, state space models
have shown to be a powerful tool to analyze and control the dynamics. Two tasks remain a significant challenge to this day: Can we identify the governing system from data only? And can we perform inference from observables to the latent system variables? These two tasks are competing: A more powerful representation of system requires more computationally demanding inference, and efficient inference, such as the wellknown Kalman filters,
Kalman & Bucy (1961), can prohibit sufficiently complex system classes.Leveraging a recently proposed estimator based on variational inference, stochastic gradient variational Bayes (SGVB, Kingma & Welling (2013); Rezende et al. (2014)), approximate inference of latent variables becomes tractable. Extensions to time series have been shown in Bayer & Osendorfer (2014); Chung et al. (2015). Empirically, they showed considerable improvements in marginal data likelihood, i.e., compression, but lack fullinformation latent states, which prohibits, e.g., longterm sampling. Yet, in a wide range of applications, fullinformation latent states should be valued over compression. This is crucial if the latent spaces are used in downstream applications.
Our contribution is, to our knowledge, the first model that (i) enforces
the latent statespace model assumptions, allowing for reliable system identification, and plausible longterm prediction of the observable system, (ii) provides the corresponding inference mechanism with rich dependencies, (iii) inherits the merit of neural architectures to be trainable on raw data such as images or other sensory inputs, and (iv) scales to large data due to optimization of parameters based on stochastic gradient descent,
Bottou (2010). Hence, our model has the potential to exploit systems theory methodology for downstream tasks, e.g., control or modelbased reinforcement learning,
Sutton (1996).2 Background and Related Work
2.1 Probabilistic Modeling and Filtering of Dynamical Systems
We consider nonlinear dynamical systems with observations , depending on control inputs (or actions) . Elements of can be highdimensional sensory data, e.g., raw images. In particular they may exhibit complex nonMarkovian transitions. Corresponding timediscrete sequences of length T are denoted as and .
We are interested in a probabilistic model^{1}^{1}1Throughout this paper, we consider as given. The case without any control inputs can be recovered by setting , i.e., not conditioning on control inputs. . Formally, we assume the graphical model
(1) 
where denotes the corresponding latent sequence. That is, we assume a generative model with an underlying latent dynamical system with emission model and transition model . We want to learn both components, i.e., we want to perform latent system identification. In order to be able to apply the identified system in downstream tasks, we need to find efficient posterior inference distributions . Three common examples are prediction, filtering, and smoothing: inference of from , , or , respectively. Accurate identification and efficient inference are generally competing tasks, as a wider generative model class typically leads to more difficult or even intractable inference.
The transition model is imperative for achieving good longterm results: a bad transition model can lead to divergence of the latent state. Accordingly, we put special emphasis on it through a Bayesian treatment. Assuming that the transitions may differ for each time step, we impose a regularizing prior distribution on a set of transition parameters :
(2) 
To obtain statespace models, we impose assumptions on emission and state transition model,
(3)  
(4) 
Equations 4 and 3 assume that the current state contains all necessary information about the current observation , as well as the next state (given the current control input and transition parameters ). That is, in contrast to observations, exhibits Markovian behavior.
A typical example of these assumptions are Linear Gaussian Models (LGMs), i.e., both state transition and emission model are affine transformations with Gaussian offset noise,
(5)  
(6) 
Typically, state transition matrix and controlinput matrix are assumed to be given, so that . Section 3.3 will show that our approach allows other variants such as . Under the strong assumptions (5) and (6) of LGMs, inference is provably solved optimally by the wellknown Kalman filters. While extensions of Kalman filters to nonlinear dynamical systems exist, Julier & Uhlmann (1997), and are successfully applied in many areas, they suffer from two major drawbacks: firstly, its assumptions are restrictive and are violated in practical applications, leading to suboptimal results. Secondly, parameters such as and have to be known in order to perform posterior inference. There have been efforts to learn such system dynamics, cf. Ghahramani & Hinton (1996); Honkela et al. (2010)
based on the expectation maximization (EM) algorithm or
Valpola & Karhunen (2002), which uses neural networks. However, these algorithms are not applicable in cases where the true posterior distribution is intractable. This is the case if, e.g., image sequences are used, since the posterior is then highly nonlinear—typical meanfield assumptions on the approximate posterior are too simplified. Our new approach will tackle both issues, and moreover learn both identification and inference jointly by exploiting Stochastic Gradient Variational Bayes.
2.2 Stochastic Gradient Variational Bayes (SGVB) for Time Series Distributions
Replacing the bottleneck layer of a deterministic autoencoder with stochastic units , the variational autoencoder (VAE, Kingma & Welling (2013); Rezende et al. (2014)) learns complex marginal data distributions on in an unsupervised fashion from simpler distributions via the graphical model
In VAEs, is typically parametrized by a neural network with parameters . Within this framework, models are trained by maximizing a lower bound to the marginal data loglikelihood via stochastic gradients:
(7) 
This is provably equivalent to minimizing the KLdivergence between the approximate posterior or recognition model and the true, but usually intractable posterior distribution . is parametrized by a neural network with parameters .
The principle of VAEs has been transferred to time series, Bayer & Osendorfer (2014); Chung et al. (2015). Both employ nonlinear state transitions in latent space, but violate eq. 4: Observations are directly included in the transition process. Empirically, reconstruction and compression work well. The state space , however, does not reflect all information available, which prohibits plausible generative longterm prediction. Such phenomena with generative models have been explained in Theis et al. (2015).
In Krishnan et al. (2015), the statespace assumptions (3) and (4) are softly encoded in the Deep Kalman Filter (DKF) model. Despite that, experiments, cf. section 4, show that their model fails to extract information such as velocity (and in general time derivatives), which leads to similar problems with prediction.
Johnson et al. (2016) give an algorithm for general graphical model variational inference, not tailored to dynamical systems. In contrast to previously discussed methods, it does not violate eq. 4. The approaches differ in that the recognition model outputs node potentials in combination with message passing to infer the latent state. Our approach focuses on learning dynamical systems for controlrelated tasks and therefore uses a neural network for inferring the latent state directly instead of an inference subroutine.
Others have been specifically interested in applying variational inference for controlled dynamical systems. In Watter et al. (2015) (Embed to Control—E2C), a VAE is used to learn the mappings to and from latent space. The regularization is clearly motivated by eq. 7. Still, it fails to be a mathematically correct lower bound to the marginal data likelihood. More significantly, their recognition model requires all observations that contain information w.r.t. the current state. This is nothing short of an additional temporal i.i.d. assumption on data: Multiple raw samples need to be stacked into one training sample such that all latent factors (in particular all time derivatives) are present within one sample. The task is thus greatly simplified, because instead of timeseries, we learn a static autoencoder on the processed data.
A pattern emerges: good prediction should boost compression. Still, previous methods empirically excel at compression, while prediction will not work. We conjecture that this is caused by previous methods trying to fit the latent dynamics to a latent state that is beneficial for reconstruction. This encourages learning of a stationary autoencoder with focus of extracting as much from a single observation as possible. Importantly, it is not necessary to know the entire sequence for excellent reconstruction of single time steps. Once the latent states are set, it is hard to adjust the transition to them. This would require changing the latent states slightly, and that comes at a cost of decreasing the reconstruction (temporarily). The learning algorithm is stuck in a local optimum with good reconstruction and hence good compression only. Intriguingly, E2C bypasses this problem with its data augmentation.
This leads to a key contribution of this paper: We force the latent space to fit the transition—reversing the direction, and thus achieving the statespace model assumptions and full information in the latent states.
3 Deep Variational Bayes Filters
3.1 Reparametrizing the Transition
The central problem for learning latent states system dynamics is efficient inference of a latent space that obeys statespace model assumptions. If the latter are fulfilled, the latent space must contain all information. Previous approaches emphasized good reconstruction, so that the space only contains information necessary for reconstruction of one time step. To overcome this, we establish gradient paths through transitions over time so that the transition becomes the driving factor for shaping the latent space, rather than adjusting the transition to the recognition model’s latent space. The key is to prevent the recognition model from directly drawing the latent state .
Similar to the reparametrization trick from Kingma & Welling (2013); Rezende et al. (2014) for making the Monte Carlo estimate differentiable w.r.t. the parameters, we make the transition differentiable w.r.t. the last state and its parameters:
(8) 
Given the stochastic parameters , the state transition is deterministic (which in turn means that by marginalizing , we still have a stochastic transition). The immediate and crucial consequence is that errors in reconstruction of from are backpropagated directly through time.
This reparametrization has a couple of other important implications: the recognition model no longer infers latent states , but transition parameters . In particular, the gradient is welldefined from (8)—gradient information can be backpropagated through the transition.
This is different from the method used in Krishnan et al. (2015)
, where the transition only occurs in the KLdivergence term of their loss function (a variant of
eq. 7). No gradient from the generative model is backpropagated through the transitions.Much like in eq. 5, the stochastic parameters includes a corrective offset term , which emphasizes the notion of the recognition model as a filter. In theory, the learning algorithm could still learn the transition as . However, the introduction of also enables us to regularize the transition with meaningful priors, which not only prevents overfitting the recognition model, but also enforces meaningful manifolds in the latent space via transition priors. Ignoring the potential of the transition over time yields large penalties from these priors. Thus, the problems outlined in Section 2 are overcome by construction.
To install such transition priors, we split . The interpretation of is a samplespecific process noise which can be inferred from incoming data, like in eq. 5. On the other hand, are universal transition parameters, which are sampleindependent (and are only inferred from data during training). This corresponds to the idea of weight uncertainty in Hinton & Van Camp (1993). This interpretation leads to a natural factorization assumption on the recognition model:
(9) 
When using the fully trained model for generative sampling, i.e., sampling without input, the universal state transition parameters can still be drawn from , whereas is drawn from the prior in the absence of input data.
Figure 3 shows the underlying graphical model and the inference procedure. Figure 4(a) shows a generic view on our new computational architecture. An example of a locally linear transition parametrization will be given in section 3.3.
3.2 The Lower Bound Objective Function
In analogy to eq. 7, we now derive a lower bound to the marginal likelihood . After reflecting the Markov assumptions (3) and (4) in the factorized likelihood (2), we have:
Due to the deterministic transition given , the last term is a product of Dirac distributions and the overall distribution simplifies greatly:
The last formulation is for notational brevity: the term is not independent of and . We now derive the objective function, a lower bound to the data likelihood:
(10)  
(11)  
Our experiments show that an annealed version of (10) is beneficial to the overall performance:
Here, is an inverse temperature that increases linearly in the number of gradient updates until reaching 1 after annealing iterations. Similar annealing schedules have been applied in, e.g., Ghahramani & Hinton (2000); Mandt et al. (2016); Rezende & Mohamed (2015), where it is shown that they smooth the typically highly nonconvex error landscape. Additionally, the transition prior was estimated during optimization, i.e., through an empirical Bayes approach. In all experiments, we used isotropic Gaussian priors.
3.3 Example: Locally Linear Transitions
We have derived a learning algorithm for time series with particular focus on general transitions in latent space. Inspired by Watter et al. (2015), this section will show how to learn a particular instance: locally linear state transitions. That is, we set eq. 8 to
(12) 
where is a stochastic sample from the recognition model and and are matrices of matching dimensions. They are stochastic functions of and (thus local linearity). We draw
from , i.e., triplets of matrices, each corresponding to dataindependent, but learned globally linear system. These can be learned as point estimates. We employed a Bayesian treatment as in Blundell et al. (2015). We yield and as state and controldependent linear combinations:
is part of the trainable parameters of our model. The weight vector
is shared between the three matrices. There is a correspondence to eq. 5: and , and , as well as and are related.We used this parametrization of the state transition model for our experiments. It is important that the parametrization is up to the user and the respective application.
4 Experiments and Results
In this section we validate that DVBF with locally linear transitions (DVBFLL) (section 3.3) outperforms Deep Kalman Filters (DKF, Krishnan et al. (2015)) in recovering latent spaces with full information. ^{2}^{2}2We do not include E2C, Watter et al. (2015), due to the need for data modification and its inability to provide a correct lower bound as mentioned in section 2.2. We focus on environments that can be simulated with full knowledge of the ground truth latent dynamical system. The experimental setup is described in the Supplementary Material. We published the code for DVBF and a link will be made available at https://brml.org/projects/dvbf.
4.1 Dynamic Pendulum


In order to test our algorithm on truly nonMarkovian observations of a dynamical system, we simulated a dynamic torquecontrolled pendulum governed by the differential equation
, via numerical integration, and then converted the groundtruth angle into an image observation in . The onedimensional control corresponds to angle acceleration (which is proportional to joint torque). Angle and angular velocity fully describe the system.
Figure 9 shows the latent spaces for identical input data learned by DVBFLL and DKF, respectively, colored with the ground truth in the top row. It should be noted that latent samples are shown, not means of posterior distributions. The statespace model was allowed to use three latent dimensions. As we can see in fig. 7(a), DVBFLL learned a twodimensional manifold embedding, i.e., it encoded the angle in polar coordinates (thus circumventing the discontinuity of angles modulo
). The bottom row shows ordinary leastsquares regressions (OLS) underlining the performance: there exists a high correlation between latent states and groundtruth angle and angular velocity for DVBFLL. On the contrary,
fig. 8(b) verifies our prediction that DKF is equally capable of learning the angle, but extracts little to no information on angular velocity.2cm Dependent  

ground truth  
variable 

The OLS regression results shown in table 1 validate this observation.^{3}^{3}3Linear regression is a natural choice: after transforming the ground truth to polar coordinates, an affine transformation should be a good fit for predicting ground truth from latent states. We also tried nonlinear regression with vanilla neural networks. While not being shown here, the results underlined the same conclusion. Predicting and , i.e., polar coordinates of the groundtruth angle , works almost equally well for DVBFLL and DKF, with DVBFLL slightly outperforming DKF. For predicting the ground truth velocity , DVBFLL shows remarkable performance. DKF, instead, contains hardly any information, resulting in a very low goodnessoffit score of .
Figure 13 shows that the strong relation between ground truth and latent state is beneficial for generative sampling. All plots show 100 time steps of a pendulum starting from the exact same latent state and not being actuated. The top row plots show a purely generative walk in the latent space on the left, and a walk in latent space that is corrected by filtering observations on the right. We can see that both follow a similar trajectory to an attractor. The generative model is more prone to noise when approaching the attractor.
The bottom plot shows the first 45 steps of the corresponding observations (top row), reconstructions (middle row), and generative samples (without correcting from observations). Interestingly, DVBF works very well even though the sequence is much longer than all training sequences (indicated by the red line).
Lower Bound  Reconstruction Error  KL divergence  

DVBFLL  798.56  802.06  3.50  
DKF  784.70  788.58  3.88 
4.2 Bouncing Ball
The bouncing ball experiment features a ball rolling within a bounding box in a plane. The system has a twodimensional control input, added to the directed velocity of the ball. If the ball hits the wall, it bounces off, so that the true dynamics are highly dependent on the current position and velocity of the ball. The system’s state is fourdimensional, two dimensions each for position and velocity.

Consequently, we use a DVBFLL with four latent dimensions. Figure 16 shows that DVBF again captures the entire system dynamics in the latent space. The checkerboard is quite a remarkable result: the ground truth position of the ball lies within the 2D unit square, the bounding box. In order to visualize how ground truth reappears in the learned latent states, we show the warping of the ground truth bounding box into the latent space. To this end, we partitioned (discretized) the ground truth unit square into a regular 3x3 checkerboard with respective coloring. We observed that DVBF learned to extract the 2D position from the 256 pixels, and aligned them in two dimensions of the latent space in strong correspondence to the physical system. The algorithm does the exact same pixelto2D inference that a human observer automatically does when looking at the image.
4.3 Two Bouncing Balls
Another more complex environment^{4}^{4}4We used the script attached to Sutskever & Hinton (2007) for generating our datasets. features two balls in a bounding box. We used a 10dimensional latent space to fully capture the position and velocity information of the balls. Reconstruction and generative samples are shown in fig. 17. Same as in the pendulum example we get a generative model with stable predictions beyond training data sequence length.
5 Conclusion
We have proposed Deep Variational Bayes Filters (DVBF), a new method to learn state space models from raw nonMarkovian sequence data. DVBFs perform latent dynamic system identification, and subsequently overcome intractable inference. As DVBFs make use of stochastic gradient variational Bayes they naturally scale to large data sets. In a series of visionbased experiments we demonstrated that latent states can be recovered which identify the underlying physical quantities. The generative model showed stable longterm predictions far beyond the sequence length used during training.
Acknowledgements
Part of this work was conducted at Chair of Robotics and Embedded Systems, Department of Informatics, Technische Universität München, Germany, and supported by the TACMAN project, EC Grant agreement no. 610967, within the FP7 framework programme.
We would like to thank Jost Tobias Springenberg, Adam Kosiorek, Moritz Münst, and anonymous reviewers for valuable input.
References
 Bayer & Osendorfer (2014) Justin Bayer and Christian Osendorfer. Learning stochastic recurrent networks. arXiv preprint arXiv:1411.7610, 2014.
 Blundell et al. (2015) Charles Blundell, Julien Cornebise, Koray Kavukcuoglu, and Daan Wierstra. Weight uncertainty in neural networks. arXiv preprint arXiv:1505.05424, 2015.

Bottou (2010)
Léon Bottou.
Largescale machine learning with stochastic gradient descent.
In Proceedings of COMPSTAT’2010, pp. 177–186. Springer, 2010.  Chung et al. (2015) Junyoung Chung, Kyle Kastner, Laurent Dinh, Kratarth Goel, Aaron C. Courville, and Yoshua Bengio. A recurrent latent variable model for sequential data. CoRR, abs/1506.02216, 2015. URL http://arxiv.org/abs/1506.02216.
 Deisenroth & Rasmussen (2011) Marc Deisenroth and Carl E Rasmussen. Pilco: A modelbased and dataefficient approach to policy search. In Proceedings of the 28th International Conference on machine learning (ICML11), pp. 465–472, 2011.
 Ghahramani & Hinton (1996) Zoubin Ghahramani and Geoffrey E Hinton. Parameter estimation for linear dynamical systems. Technical report, Technical Report CRGTR962, University of Toronto, Dept. of Computer Science, 1996.
 Ghahramani & Hinton (2000) Zoubin Ghahramani and Geoffrey E Hinton. Variational learning for switching statespace models. Neural computation, 12(4):831–864, 2000.
 Graves (2013) Alex Graves. Generating sequences with recurrent neural networks. arXiv preprint arXiv:1308.0850, 2013.

Hinton & Van Camp (1993)
Geoffrey E Hinton and Drew Van Camp.
Keeping the neural networks simple by minimizing the description
length of the weights.
In
Proceedings of the sixth annual conference on Computational learning theory
, pp. 5–13. ACM, 1993.  Honkela et al. (2010) Antti Honkela, Tapani Raiko, Mikael Kuusela, Matti Tornio, and Juha Karhunen. Approximate riemannian conjugate gradient learning for fixedform variational bayes. Journal of Machine Learning Research, 11(Nov):3235–3268, 2010.
 Johnson et al. (2016) Matthew J Johnson, David Duvenaud, Alexander B Wiltschko, Sandeep R Datta, and Ryan P Adams. Structured VAEs: Composing probabilistic graphical models and variational autoencoders. arXiv preprint arXiv:1603.06277, 2016.
 Julier & Uhlmann (1997) Simon J Julier and Jeffrey K Uhlmann. New extension of the kalman filter to nonlinear systems. In AeroSense’97, pp. 182–193. International Society for Optics and Photonics, 1997.
 Kalman & Bucy (1961) Rudolph E Kalman and Richard S Bucy. New results in linear filtering and prediction theory. Journal of basic engineering, 83(1):95–108, 1961.
 Kingma & Welling (2013) Diederik P Kingma and Max Welling. Autoencoding variational bayes. arXiv preprint arXiv:1312.6114, 2013.
 Ko & Fox (2011) Jonathan Ko and Dieter Fox. Learning gpbayesfilters via gaussian process latent variable models. Autonomous Robots, 30(1):3–23, 2011.
 Krishnan et al. (2015) Rahul G Krishnan, Uri Shalit, and David Sontag. Deep Kalman filters. arXiv preprint arXiv:1511.05121, 2015.

Mandt et al. (2016)
Stephan Mandt, James McInerney, Farhan Abrol, Rajesh Ranganath, and David Blei.
Variational tempering.
In
Proceedings of the 19th International Conference on Artificial Intelligence and Statistics
, pp. 704–712, 2016.  McGoff et al. (2015) Kevin McGoff, Sayan Mukherjee, Natesh Pillai, et al. Statistical inference for dynamical systems: A review. Statistics Surveys, 9:209–252, 2015.
 Rezende et al. (2014) Danilo J. Rezende, Shakir Mohamed, and Daan Wierstra. Stochastic backpropagation and approximate inference in deep generative models. In Tony Jebara and Eric P. Xing (eds.), Proceedings of the 31st International Conference on Machine Learning (ICML14), pp. 1278–1286. JMLR Workshop and Conference Proceedings, 2014. URL http://jmlr.org/proceedings/papers/v32/rezende14.pdf.
 Rezende & Mohamed (2015) Danilo Jimenez Rezende and Shakir Mohamed. Variational inference with normalizing flows. arXiv preprint arXiv:1505.05770, 2015.

Sutskever & Hinton (2007)
Ilya Sutskever and Geoffrey E. Hinton.
Learning multilevel distributed representations for highdimensional sequences.
In Marina Meila and Xiaotong Shen (eds.), Proceedings of the Eleventh International Conference on Artificial Intelligence and Statistics (AISTATS07), volume 2, pp. 548–555. Journal of Machine Learning Research  Proceedings Track, 2007. URL http://jmlr.csail.mit.edu/proceedings/papers/v2/sutskever07a/sutskever07a.pdf.  Sutton (1996) Leonid Kuvayev Rich Sutton. Modelbased reinforcement learning with an approximate, learned model. In Proceedings of the ninth Yale workshop on adaptive and learning systems, pp. 101–105, 1996.
 Theis et al. (2015) Lucas Theis, Aäron van den Oord, and Matthias Bethge. A note on the evaluation of generative models. arXiv preprint arXiv:1511.01844, 2015.
 Valpola & Karhunen (2002) Harri Valpola and Juha Karhunen. An unsupervised ensemble learning method for nonlinear dynamic statespace models. Neural computation, 14(11):2647–2692, 2002.
 Watter et al. (2015) Manuel Watter, Jost Springenberg, Joschka Boedecker, and Martin Riedmiller. Embed to control: A locally linear latent dynamics model for control from raw images. In Advances in Neural Information Processing Systems, pp. 2728–2736, 2015.
Appendix A Supplementary to Lower Bound
a.1 Annealed KLDivergence
We used the analytical solution of the annealed KLdivergence in eq. 10 for optimization:
Appendix B Supplementary to Implementation
b.1 Experimental setup
In all our experiments, we use sequences of 15 raw images of the respective system with 1616 pixels each, i.e., observation space , as well as control inputs of varying dimension and interpretation depending on the experiment. We used training, validation and test sets with 500 sequences each. Control input sequences were drawn randomly (“motor babbling”). Additional details about the implementation can be found in the published code at https://brml.org/projects/dvbf.
b.2 Additional Experiment Plots
b.3 Implementation details for DVBF in Pendulum Experiment

Input: 15 timesteps of observation dimensions and 1 action dimension

Latent Space: 3 dimensions

Recognition Model: 128 ReLU + 6 identity output

Transition Network : 16 softmax output

Initial Network : Fast Dropout BiRNN with: 128 ReLU + 3 identity output

Initial Transition : 128 ReLU + 3 identity output

Optimizer: adadelta, 0.1 step rate

Inverse temperature: , updated every 250th gradient update, iterations

Batchsize: 500
b.4 Implementation details for DVBF in Bouncing Ball Experiment

Input: 15 timesteps of observation dimensions and 2 action dimension

Latent Space: 4 dimensions

Observation Network : 128 ReLU + identity output

Recognition Model: 128 ReLU + 8 identity output

Transition Network : 16 softmax output

Initial Network : Fast Dropout BiRNN with: 128 ReLU + 4 identity output

Initial Transition : 128 ReLU + 4 identity output

Optimizer: adadelta, 0.1 step rate

Inverse temperature: , updated every 250th gradient update, iterations

Batchsize: 500
b.5 Implementation details for DVBF in Two Bouncing Balls Experiment

Input: 15 timesteps of observation dimensions and 2000 samples

Latent Space: 10 dimensions

Observation Network : 128 ReLU + sigmoid output

Recognition Model: 128 ReLU + 20 identity output

Transition Network : 64 softmax output

Initial Network : MLP with: 128 ReLU + 10 identity output

Initial Transition : 128 ReLU + 10 identity output

Optimizer: adam, 0.001 step rate

Inverse temperature: , updated every gradient update, iterations

Batchsize: 80
b.6 Implementation details for DKF in Pendulum Experiment

Input: 15 timesteps of observation dimensions and 1 action dimension

Latent Space: 3 dimensions

Observation Network : 128 Sigmoid + 128 Sigmoid + identity output

Recognition Model: Fast Dropout BiRNN 128 Sigmoid + 128 Sigmoid + 3 identity output

Transition Network : 128 Sigmoid + 128 Sigmoid + 6 output

Optimizer: adam, 0.001 step rate

Inverse temperature: , updated every 25th gradient update, iterations

Batchsize: 500