Abstract: Various computational problems can be reduced to computing the marginals and the partition function of a suitably defined standard factor graph (S-FG). The sum-product algorithm (SPA) is an ...

Abstract: This letter presents a novel approach for reachability analysis of using constrained polynomial logical zonotopes. We perform reachability analysis to compute the set of reachable states ...