Equivalence Notions for State-Space Minimization of Combinatorial Filters

Combinatorial filters are formal structures for filtering and reasoning over discrete sensor data. This article presents a series of results addressing the question whether the filter minimization (FM) problem, an NP-hard problem of state-space reduction on such filters, and a variant of it, the filter partitioning minimization (FPM) problem, which requires the re...