Propositional logic in control and monitoring problems

By using linear constraints on integer variables, logical inference can be incorporated within Model Predictive Control and model based detection problems resulting in mixed integer quadratic or mixed integer linear programming problems. Qualitative knowledge can be used to prioritize control objectives, or to improve performance of detection schemes. This article demonstrates some capabilities of combining logic using integer variables with quantitative models. An extended version is available from: ftp://ftp.ant.ee.ethz.ch/pnb/reports/postscript/ AUT96-15.ps.