Controle ótimo de sistemas algébrico-diferenciais com flutuação do índice diferencial

Abstract

Optimal Control Problems (OCP), also known as Dynamic Optimization Problems, consist of an Objective Function to be maximized or minimized, associated with a set of differential and algebraic equations which include equality and inequality constraints in the state or control variables and characterize a system of Differential-Algebraic Equations (DAE). The differential-algebraic approach of numerical solution widely used in process simulation due the guarantee of attendance of the implicit algebraic constraints in the original formulation and the elimination of the necessary manipulations to transform the original problem into a purely differential system,was extended to OCP characterizing the called Differential-Algebraic Optimal Control Problem (DAOCP). A category of DAOCP of special interest includes inequality constraints, due the necessity of previous knowledge of the activations and deactivations sequence of these constraints along the trajectory and also of the instants where they occur, named Events. This DAOCPs with inequality constraints is equivalent to a class of hybrid dynamic optimization problems, where continuous and discrete behaviors are associated (FEEHERY, 1998). A particular type of hybrid OCP is that one where continuous state does not present jumps in the Events, called Switched OCP, for which Xu e Antsaklis (2004) considers a solution methodology based on the parameterization of Events with a previous specification of active subsystems sequence, resulting in the solution of a two-point boundary value differential-algebraic problem, formed by the state, co-state and stationarity equations, boundary and continuity conditions and its differentiations, called sensitivity equations. In this work, this indirect approach for Switched OCP was extended for DAOCP with inequality constraints, with the objective to estimate the Events, along the control, state and adjoint variables. The developed approach for Switched OCP described by Xu e Antsaklis (2004) was implemented in a specific code using Maple 9.5, called EVENTS, with the objective to symbolically generate the equations based on the parameterization of Events. This code was incorporated in a interface named OpCol, that collect characterization tools of DAE systems and generation of the optimality conditions extended Pontryagin s Principle for PCOAD of different types. The characterization tools are the INDEX of Murata (1996) that symbolically identifies the index, the resolubility and the consistency of initial conditions and the ACIG of Cunha e Murata (1999) that implements the Gear s algorithm for the index reduction and the index 1 equivalent system generation. The OTIMA (GOMES, 2000; LOBATO, 2004) generates the Euler-Lagrange equations for DAOCP. These tools had been implemented initially in different versions of Maple and all had been update to 9.5 version using the Maplets package that allows the data entry through interactive windows with the user, demanding a little knowledge of the Maple syntax. The OpCol interface was tested for four cases and for each tool a example data bank with typical problems of literature was created to assist the user in its use. Moreover, the direct method implemented in DIRCOL code was extended for multi-phases formulation with estimates of Events and the indirect method with Events Parameterization and differential-algebraic approach implemented in a Matlab code had been used for the numerical solution of three cases: a switched OCP and 2 DAOCP of batch reactors where the control variable is the feed rate of the component B - the first one has parallel reactions and selectivity constraints with 3 phases of index 1, 3 and 1 and the second a safety constraint with 2 phases of index 2 and 1 respectively and had been described by Srinivasan et al. (2003). The methodology used by this authors was applied to attained analytical expressions for the control variable in each phase necessary in indirect method, composing the called Switching Functions, from the optimality conditions based in the Pontryagin s Principle - specifically from the stationarity condition and the active constraint identification that will allow the control variable determination - and of the physical analysis of the problem in order to discard not appropriate activations/deactivations sequences. The results obtained by indirect and direct methods are compared for the 3 cited problems, showing the viability as much of the multiphase formulation using the DIRCOL and also the satisfactory performance of the indirect method with estimates of Events, beyond the utility of the tools of characterization of EADs, of attainment of optimality conditions and parameterization of Events available in Opcol interface.