Abstract: As a result of climate change, the difficulty in the prediction of short-term rainfall amounts has become a necessary area of research. The existing numerical weather prediction models have ...
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 ...