Abstract: This paper presents a robust variational Bayesian (VB) method for identifying linear state space models (LSSM) with non-Gaussian observational noise. Appropriate prior information is ...

Abstract: Recent years have seen a surging interest in developing under-approximations of reachable sets due to their potential applications in control synthesis and verification. In this letter, we ...