Control´Optimo de Sistemas Mecánicos Actuados ... - GMC Network
Control´Optimo de Sistemas Mecánicos Actuados ... - GMC Network
Control´Optimo de Sistemas Mecánicos Actuados ... - GMC Network
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
6.1. CONTROL ÓPTIMO 41<br />
Formulación General para el Problema <strong>de</strong> Control Óptimo<br />
Supongamos que tenemos un problema clásico <strong>de</strong> control óptimo,<br />
sujeto a las siguientes condiciones:<br />
mín<br />
u( · )<br />
T<br />
0<br />
g(q, u) dt, (6.1)<br />
una ecuación diferencial ˙q = f(q, u), el espacio <strong>de</strong> estados contiene a q ∈ Q y los<br />
controles están en Ω ∈ R k ;<br />
q(0) = q0, q(T ) = qT<br />
don<strong>de</strong> f y g ≥ 0 son funciones suaves, Ω es un subconjunto cerrado <strong>de</strong> R k , y Q es una<br />
variedad diferencial <strong>de</strong> dimensión n, llamada espacio <strong>de</strong> estados <strong>de</strong>l sistema. La función<br />
g es llamada comunmente función costo o objetivo.<br />
Principio <strong>de</strong>l Máximo <strong>de</strong> Pontryagin<br />
Consi<strong>de</strong>remos el Hamiltoniano parametrizado en T ∗ Q dado por<br />
H(q, p, u) = 〈p, f(q, u)〉 − p0g(q, u),<br />
don<strong>de</strong> p0 ≥ 0 es una constante positiva fija y p ∈ T ∗ Q. Observemos que p0 es un multiplo<br />
<strong>de</strong>l funcional costo y H es lineal en p. Denotaremos por t ↦→ u ∗ (t) la curva que satisface la<br />
siguente relación a lo largo <strong>de</strong> trayectorias t ↦→ (q(t), p(t)) ∈ T ∗ Q :<br />
H(q(t), p(t), u ∗ (t)) = máx<br />
u∈Ω<br />
H(q(t), p(t), u). (6.2)<br />
Entonces, si u ∗ <strong>de</strong>fine implícitamente una función <strong>de</strong> q y p por la ecuación (6.2) po<strong>de</strong>mos<br />
<strong>de</strong>finir H ∗ por<br />
H ∗ (q(t), p(t), t) = H(q(t), p(t), u ∗ (t)).<br />
La función H ∗ <strong>de</strong>fine un campo Hamiltoniano XH ∗ en T ∗ Q con respecto a la estructura<br />
simpléctica canónica en T ∗ Q.<br />
El principio <strong>de</strong>l máximo <strong>de</strong> Pontryagin da condiciones necesarias para los extremos <strong>de</strong>l<br />
problema <strong>de</strong> control óptimo general: Una trayectoria extremal t ↦→ q(t) para el problema<br />
<strong>de</strong> control óptimo es una proyeccion en Q <strong>de</strong> la trayectoria <strong>de</strong>l flujo <strong>de</strong>l campo vectorial XH ∗<br />
que satisface q(0) = q0, q(T ) = qT y que la aplciación t ↦→ (p(t), p0) = 0 para todo t ∈ [0, T ].<br />
Las trayectorias extremales se llaman normales cuando p0 = 0. Cuando p0 = 0 <strong>de</strong>cimos<br />
que es anormal.<br />
A<strong>de</strong>más u ∗ es <strong>de</strong>terminada <strong>de</strong> manera única bajo la condición<br />
Es <strong>de</strong>cir, u ∗ maximiza la función H.<br />
0 = ∂ H<br />
∂u (q(t), p(t), u∗ (t)), t ∈ [0, T ].