10,012 research outputs found
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
Sequential Convex Programming Methods for Solving Nonlinear Optimization Problems with DC constraints
This paper investigates the relation between sequential convex programming
(SCP) as, e.g., defined in [24] and DC (difference of two convex functions)
programming. We first present an SCP algorithm for solving nonlinear
optimization problems with DC constraints and prove its convergence. Then we
combine the proposed algorithm with a relaxation technique to handle
inconsistent linearizations. Numerical tests are performed to investigate the
behaviour of the class of algorithms.Comment: 18 pages, 1 figur
Strong Stationarity Conditions for Optimal Control of Hybrid Systems
We present necessary and sufficient optimality conditions for finite time
optimal control problems for a class of hybrid systems described by linear
complementarity models. Although these optimal control problems are difficult
in general due to the presence of complementarity constraints, we provide a set
of structural assumptions ensuring that the tangent cone of the constraints
possesses geometric regularity properties. These imply that the classical
Karush-Kuhn-Tucker conditions of nonlinear programming theory are both
necessary and sufficient for local optimality, which is not the case for
general mathematical programs with complementarity constraints. We also present
sufficient conditions for global optimality.
We proceed to show that the dynamics of every continuous piecewise affine
system can be written as the optimizer of a mathematical program which results
in a linear complementarity model satisfying our structural assumptions. Hence,
our stationarity results apply to a large class of hybrid systems with
piecewise affine dynamics. We present simulation results showing the
substantial benefits possible from using a nonlinear programming approach to
the optimal control problem with complementarity constraints instead of a more
traditional mixed-integer formulation.Comment: 30 pages, 4 figure
Maximum Margin Clustering for State Decomposition of Metastable Systems
When studying a metastable dynamical system, a prime concern is how to
decompose the phase space into a set of metastable states. Unfortunately, the
metastable state decomposition based on simulation or experimental data is
still a challenge. The most popular and simplest approach is geometric
clustering which is developed based on the classical clustering technique.
However, the prerequisites of this approach are: (1) data are obtained from
simulations or experiments which are in global equilibrium and (2) the
coordinate system is appropriately selected. Recently, the kinetic clustering
approach based on phase space discretization and transition probability
estimation has drawn much attention due to its applicability to more general
cases, but the choice of discretization policy is a difficult task. In this
paper, a new decomposition method designated as maximum margin metastable
clustering is proposed, which converts the problem of metastable state
decomposition to a semi-supervised learning problem so that the large margin
technique can be utilized to search for the optimal decomposition without phase
space discretization. Moreover, several simulation examples are given to
illustrate the effectiveness of the proposed method
- …