In this paper a method for solving control and estimation problems has been demonstrated. The method uses a moving horizon controller in conjunction with a moving horizon propositional logic estimation method. The estimation method assumes that only a single, step-like, disturbance is present during a estimation period. As a result, the estimation method can distinguish between two faults that produce very similar process outputs. The estimation and control method has also been shown to be amenable to large scale application. In addition, the estimation computation can be distributed across multiple machines so that on-line estimates can be obtained quickly and efficiently.