State space estimation and distributed predicate detection