In this article, an overview of Bayesian methods for sequential simulation from posterior distributions nonlinear and non-Gaussian dynamic systems is presented. The focus mainly laid on Monte Carlo methods, which are based particle representations probability densities can be seamlessly generalized to any state-space representation. Within context, a unified framework the various Particle Filte...

Reachable set computation is an important technique for the verification of safety properties dynamical systems. In this paper, we investigate reachable discrete nonlinear systems based on parallelotope bundles. The algorithm relies computing upper bound supremum a function over rectangular domain, which has been traditionally done using Bernstein polynomials. We strive to remove manual step te...