Propositional logic in control and monitoring problems
暂无分享,去创建一个
[1] Panos M. Pardalos,et al. Modeling and integer programming techniques applied to propositional calculus , 1990, Comput. Oper. Res..
[2] Matthew Lamont Tyler. Performance monitoring and fault detection in control systems , 1997 .
[3] Elliott Mendelson,et al. Introduction to Mathematical Logic , 1979 .
[4] Carlos E. García,et al. Fundamental Process Control , 1988 .
[5] Paul M. Frank,et al. Fuzzy supervision and application to lean production , 1993 .
[6] R. Raman,et al. Integration of logic and heuristic knowledge in MINLP optimization for process synthesis , 1992 .