Propositional logic in control and monitoring problems

Automatica

Volumn 35, Issue 4, 1999, Pages 565-582

  Tyler, Matthew L ^a   Morari, Manfred ^b  

^a California Institute of Technology   (United States)

^b ETH ZURICH   (Switzerland)

Author keywords

[No Author keywords available]

Indexed keywords

CONSTRAINT THEORY; FAILURE ANALYSIS; INTEGER PROGRAMMING; LINEAR PROGRAMMING; MATHEMATICAL MODELS; MONITORING; PREDICTIVE CONTROL SYSTEMS; QUADRATIC PROGRAMMING;

FAULT DETECTION; MIXED INTEGER LINEAR PROGRAMMING; MIXED INTEGER QUADRATIC PROGRAMMING; PROPOSITIONAL LOGIC;

PROCESS CONTROL;

EID: 0033115935     PISSN: 00051098     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0005-1098(98)00198-8     Document Type: Article

References (28)

1. Cavalier, T. M., Pardalos, P. M., & Soyster, A. L. (1990). Modeling and integer programming techniques applied to propositional calculus. Comput. Oper. Res., 17(6), 561-570.
2. de Kleer, J., & Brown, J. S. (1984). A qualitative physics based on confluences, Artif. Intelligence, 24(1-3), 7-83.
3. Geoffrion, A. M. (1970). Elements of large-scale mathematical programming, Management Sci., 16(11).
4. Geoffrion, A. M. (1972). Generalized benders decomposition, J. Opt. Theory Appl., 10(4), 237-260.
5. Han, C., Shih, R., & Lee, L. (1994). Quantifying signed directed graphs with the fuzzy set for fault diagnosis resolution improvement, Ind. Eng. Chem. Res., 33(8), 1943-1954.
6. Iri, M., Aoki, K., O'Shima, E., & Matsuyama, H. (1979). An algorithm for diagnosis of system failures in the chemical process. Comp. Chem. Eng., 3, 489-93.
7. Kuipel, N., & Frank, P. (1993). Fuzzy supervision and application to lean production Int. J. Systems SCI, 24, 1935-1944.
8. Kuipel, N., Koppen-Seliger, S., Kellinghaus, H., & Frank, P. (1995). Fuzzy residual evaluation concept. In: Proc. IEEE/SMC Conf., Vancouver, Canada (pp. 13-18).
9. Meadowcroft, T. A., Stephanopoulos, G., & Brosilow, C. (1992). The modular multivariate controller: Part I: Steady-state properties, AIChE J., 38(8), 1254-1278.
10. Mendelson, E. (1964). Introduction to Mathematical Logic. Princeton, NJ: Van Nostrand.
11. Mohindra, S., & Clark, P. A. (1993). A distributed fault diagnosis method based on digraph models: Steady-state analysis, Comp. Chem. Eng., 17(2), 193-209.
12. Morari, M., Garcia, C. E., Lee, J. H., & Prett D. M. (1997). Model Predictive Control. Englewood Cliffs, NJ: Prentice-Hall, Inc. (in preparation).
13. Morari, M., & Zafiriou, E. (1989). Robust Process Control. Englewood Cliffs, NJ: Prentice-Hall, Inc.
14. Moré, J. J., & Wright, S. J. (1993). Optimization Software Guide. Philadelphia: SIAM.
15. Oyeleye, O. O., & Kramer, M. A. (1988). Qualitative simulation of chemical process systems: Steady-state analysis, AIChE, J., 34(9), 1441-1454.
16. Post, S. (1987). Reasoning with incomplete and uncertain knowledge as an integer linear program. In Expert Systems and their Applications (Vol. 2, pp. 1361-1377) France, Avignon.
17. Prett, D. M., & Garcia, C. E. (1988). Fundamental Process Control. Stoneham, MA: Butterworths.
18. Prett, D. M., Garcia, C. E., & Ramaker, B. L. (Eds.) (1990). Shell Process Control Workshop. Buttwerworths, Stoneham, MA.
19. Raman, R., & Grossman, I. E. (1992). Integration of logic and heuristic knowledge in minlp optimization for process synthesis. Comp. Chem. Eng., 16(3), 155-171.
20. Raman, R., & Grossmann, I. E. (1994). Modelling and computational techniques for logic based integer programming, Comp. Chem. Eng., 18(7), 563-578.
21. Robertson, D. G., Lee, J. H., & Rawlings, J. B. (1996). A moving horizon-based approach to least squares estimation. AIChE J. 42(8), 2209-2224.
22. Türkay, M., & Grossmann, I. E. (1996a). Disjunctive programming techniques for the optimization of process systems with discontinuous investment costs - Multiple size regions, Ind. Eng. Chem. Res., 35, 2611-2623.
23. Türkay, M., & Grossmann, I. E. (1996b). Logic-base MINLP algorithms for the optimal synthesis of process networks. Comp. Chem. Eng., 20(8), 959-978.
24. Tyler, M. L., Asano, K., & Morari, M. (1996). Application of moving horizon estimation based fault detection to cold tandem steel mill. Technical Report AUT96-06, Automatic Control Laboratory, Swiss Federal Institute of Technology.
25. Ulieru, M. (1993). A fuzzy logic based computer assisted fault diagnosis system. TOOLDIAG'93, Toulouse, France (pp. 689-698).
26. Wang, X. Z., Yang, S. A., Veloso, E., Lu, M., & McGreavy, C. (1995). Qualitative process modeling - A fuzzy signed directed graph method. Comp. Chem. Eng., 19(Suppl.), S735-S740.
27. Williams, H. P. (1987). Linear and integer programming applied to the propositional calculus. System Res. Inform. Sci., 2, 81-100.
28. Zheng, Z. Q., & Morari, M. (1995). Stability of model predictive control with mixed constraints, IEEE Trans. Automat. Control 40(10) 1818-1823.