Capacitated Clustering Problems by Hybrid Simulated Annealing and Tabu Search

The capacitated clustering problem (CCP) is the problem in which a given set of weighted objects is to be partitioned into clusters so that the total weight of objects in each cluster is less than a given value (cluster ‘capacity’). The objective is to minimize the total scatter of objects from the ‘centre’ of the cluster to which they have been allocated. A simple constructive heuristic, a R-interchange generation mechanism, a hybrid simulated annealing (SA) and tabu search (TS) algorithm which has computationally desirable features using a new non-monotonic cooling schedule, are developed. A classification of the existing SA cooling schedules is presented. The effects on the final solution quality of the initial solutions, the cooling schedule parameters and the neighbourhood search strategies are investigated. Computational results on randomly generated problems with size ranging from 50 to 100 customers indicate that the hybrid SA/TS algorithm out-performs previous simulated annealing algorithms, a simple tabu search and local descent algorithms.     

Lyapunov-Based Model Predictive Control of Nonlinear Systems Subject to Data Losses

In this work, we focus on model predictive control of nonlinear systems subject to data losses. The motivation for considering this problem is provided by wireless networked control systems and control of nonlinear systems under asynchronous measurement sampling. In order to regulate the state of the system towards an equilibrium point while minimizing a given performance index, we propose a Lyapunov-based model predictive controller which is designed taking data losses explicitly into account, both in the optimization problem formulation and in the controller implementation. The proposed controller allows for an explicit characterization of the stability region and guarantees that this region is an invariant set for the closed-loop system under data losses, if the maximum time in which the loop is open is shorter than a given constant that depends on the parameters of the system and the Lyapunov-based controller that is used to formulate the optimization problem. The theoretical results are demonstrated through a chemical process example.     

Automatically performing weak mutation with the aid of symbolic execution,concolic testing and search-based testing

Automating software testing activities can increase the quality and drastically decrease the cost of software development. Toward this direction, various automated test data generation tools have been developed. The majority of existing tools aim at structural testing, while a quite limited number aim at a higher level of testing thoroughness such as mutation. In this paper, an attempt toward automating the generation of mutation-based test cases by utilizing existing automated tools is proposed. This is achieved by reducing the killing mutants’ problem into a covering branches one. To this extent, this paper is motivated by the use of state of the art techniques and tools suitable for covering program branches when performing mutation. Tools and techniques such as symbolic execution, concolic execution, and evolutionary testing can be easily adopted toward automating the test input generation activity for the weak mutation testing criterion by simply utilizing a special form of the mutant schemata technique. The propositions made in this paper integrate three automated tools in order to illustrate and examine the method’s feasibility and effectiveness. The obtained results, based on a set of Java program units, indicate the applicability and effectiveness of the suggested technique. The results advocate that the proposed approach is able to guide existing automating tools in producing test cases according to the weak mutation testing criterion. Additionally, experimental results with the proposed mutation testing regime show that weak mutation is able to speedup the mutant execution time by at least 4.79 times when compared with strong mutation.     

Photopyroelectric measurement of the thermal diffusivity of recrystallized high purity aluminum

Thermal diffusivity measurements on high purity (99.99% pure) aluminum samples are reported, using chirped and sinusoidally-modulated laser excitation and photopyroelectric detection of the thermal wave response. The results are found to be dependent on the degree of recrystallization of the specimen: for cold-rolled aluminum, the thermal diffusivity is measured to be =3.10×10^–5 m²/s, which rises to 3.88×10^–5 m²/s for fully recrystallized samples, and then falls to 3.53×10^–5 m²/s for samples exhibiting the initial stages of grain growth.     

Uniting bounded control and MPC for stabilization of constrained linear systems

In this work, a hybrid control scheme, uniting bounded control with model predictive control (MPC), is proposed for the stabilization of linear time-invariant systems with input constraints. The scheme is predicated upon the idea of switching between a model predictive controller, that minimizes a given performance objective subject to constraints, and a bounded controller, for which the region of constrained closed-loop stability is explicitly characterized. Switching laws, implemented by a logic-based supervisor that constantly monitors the plant, are derived to orchestrate the transition between the two controllers in a way that safeguards against any possible instability or infeasibility under MPC, reconciles the stability and optimality properties of both controllers, and guarantees asymptotic closed-loop stability for all initial conditions within the stability region of the bounded controller. The hybrid control scheme is shown to provide, irrespective of the chosen MPC formulation, a safety net for the practical implementation of MPC, for open-loop unstable plants, by providing a priori knowledge, through off-line computations, of a large set of initial conditions for which closed-loop stability is guaranteed. The implementation of the proposed approach is illustrated, through numerical simulations, for an exponentially unstable linear system.     

Economic model predictive control of nonlinear time‐delay systems: Closed‐loop stability and delay compensation

Closed‐loop stability of nonlinear time‐delay systems under Lyapunov‐based economic model predictive control (LEMPC) is considered. LEMPC is initially formulated with an ordinary differential equation model and is designed on the basis of an explicit stabilizing control law. To address closed‐loop stability under LEMPC, first, we consider the stability properties of the sampled‐data system resulting from the nonlinear continuous‐time delay system with state and input delay under a sample‐and‐hold implementation of the explicit controller. The steady‐state of this sampled‐data closed‐loop system is shown to be practically stable. Second, conditions such that closed‐loop stability, in the sense of boundedness of the closed‐loop state, under LEMPC are derived. A chemical process example is used to demonstrate that indeed closed‐loop stability is maintained under LEMPC for sufficiently small time‐delays. To cope with performance degradation owing to the effect of input delay, a predictor feedback LEMPC methodology is also proposed. The predictor feedback LEMPC design employs a predictor to compute a prediction of the state after the input delay period and an LEMPC scheme that is formulated with a differential difference equation (DDE) model, which describes the time‐delay system, initialized with the predicted state. The predictor feedback LEMPC is also applied to the chemical process example and yields improved closed‐loop stability and economic performance properties. © 2015 American Institute of Chemical Engineers AIChE J, 61: 4152–4165, 2015     

Modeling and Control of a Titania Aerosol Reactor

We focus on modeling and control of an aerosol flow reactor used to produce titania powder. We initially present a detailed population balance model for the process which accounts for simultaneous nucleation, Brownian and shearinduced coagulation, and convective transport and describe the spatio-temporal evolution of the aerosol volume distribution. Then, under the assumption of lognormal aerosol volume distribution, the method of moments is employed for the derivation of a model that describes the evolution of the three leading moments of the volume distribution. The moment model, together with the fundamental model that describes the temperature in the reactor and concentrations of the gas-phase species, are subsequently used to synthesize a nonlinear output feedback controller which manipulates the temperature of the reactor wall to achieve an aerosol size distribution in the outlet of the reactor with desired geometric average particle diameter. The nonlinear controller is successfully implemented on the process model and is shown to deal effectively with external disturbances.     

Predictive control of switched nonlinear systems with scheduled mode transitions

In this work, a predictive control framework is proposed for the constrained stabilization of switched nonlinear systems that transit between their constituent modes at prescribed switching times. The main idea is to design a Lyapunov-based predictive controller for each constituent mode in which the switched system operates and incorporate constraints in the predictive controller design which upon satisfaction ensure that the prescribed transitions between the modes occur in a way that guarantees stability of the switched closed-loop system. This is achieved as follows: For each constituent mode, a Lyapunov-based model predictive controller (MPC) is designed, and an analytic bounded controller, using the same Lyapunov function, is used to explicitly characterize a set of initial conditions for which the MPC, irrespective of the controller parameters, is guaranteed to be feasible, and hence stabilizing. Then, constraints are incorporated in the MPC design which, upon satisfaction, ensure that: 1) the state of the closed-loop system, at the time of the transition, resides in the stability region of the mode that the system is switched into, and 2) the Lyapunov function for each mode is nonincreasing wherever the mode is reactivated, thereby guaranteeing stability. The proposed control method is demonstrated through application to a chemical process example.