Branch and bound method for regression-based controlled variable selection

Self-optimizing control is a promising method for selection of controlled variables (CVs) from available measurements. Recently, Ye, Cao, Li, and Song (2012) have proposed a globally optimal method for selection of self-optimizing CVs by converting the CV selection problem into a regression problem. In this approach, the necessary conditions of optimality (NCO) are approximated by linear combinations of available measurements over the entire operation region. In practice, it is desired that a subset of available measurements be combined as CVs to obtain a good trade-off between the economic performance and the complexity of control system. The subset selection problem, however, is combinatorial in nature, which makes the application of the globally optimal CV selection method to large-scale processes difficult. In this work, an efficient branch and bound (BAB) algorithm is developed to handle the computational complexity associated with the selection of globally optimal CVs. The proposed BAB algorithm identifies the best measurement subset such that the regression error in approximating NCO is minimized and is also applicable to the general regression problem. Numerical tests using randomly generated matrices and a binary distillation column case study demonstrate the computational efficiency of the proposed BAB algorithm

No elliptic islands for the universal area-preserving map

A renormalization approach has been used in \cite{EKW1} and \cite{EKW2} to prove the existence of a \textit{universal area-preserving map}, a map with hyperbolic orbits of all binary periods. The existence of a horseshoe, with positive Hausdorff dimension, in its domain was demonstrated in \cite{GJ1}. In this paper the coexistence problem is studied, and a computer-aided proof is given that no elliptic islands with period less than 20 exist in the domain. It is also shown that less than 1.5% of the measure of the domain consists of elliptic islands. This is proven by showing that the measure of initial conditions that escape to infinity is at least 98.5% of the measure of the domain, and we conjecture that the escaping set has full measure. This is highly unexpected, since generically it is believed that for conservative systems hyperbolicity and ellipticity coexist

Designing optimal mixtures using generalized disjunctive programming: Hull relaxations

A general modeling framework for mixture design problems, which integrates Generalized Disjunctive Programming (GDP) into the Computer-Aided Mixture/blend Design (CAMbD) framework, was recently proposed (S. Jonuzaj, P.T. Akula, P.-M. Kleniati, C.S. Adjiman, 2016. AIChE Journal 62, 1616–1633). In this paper we derive Hull Relaxations (HR) of GDP mixture design problems as an alternative to the big-M (BM) approach presented in this earlier work. We show that in restricted mixture design problems, where the number of components is fixed and their identities and compositions are optimized, BM and HR formulations are identical. For general mixture design problems, where the optimal number of mixture components is also determined, a generic approach is employed to enable the derivation and solution of the HR formulation for problems involving functions that are not defined at zero (e.g., logarithms). The design methodology is applied successfully to two solvent design case studies: the maximization of the solubility of a drug and the separation of acetic acid from water in a liquid-liquid extraction process. Promising solvent mixtures are identified in both case studies. The HR and BM approaches are found to be effective for the formulation and solution of mixture design problems, especially via the general design problem