Xem mã nguồn của Hamilton (lý thuyết điều khiển tự động)

'''Hamilton '''của [[Điều khiển tối ưu|lý thuyết điều khiển tối ưu]] được phát triển bởi [[Lev Pontryagin]] như là một phần của [[Nguyên lý cực đại Pontryagin|nguyên lý cực đại]] của ông.<ref>I. M. Ross ''A Primer on Pontryagin's Principle in Optimal Control'', Collegiate Publishers, 2009.</ref> Nó được lấy cảm hứng từ, nhưng là khác biệt với, [[Cơ học Hamilton|Hamilton]] của cơ học cổ điển. Pontryagin đã chứng minh rằng một điều kiện cần cho việc giải quyết bài toán điều khiển tối ưu là điều khiển nên được lựa chọn để cực tiểu hóa Hamilton. Để biết chi tiết hãy xem bài [[nguyên lý cực đại Pontryagin]].

== Ký hiệu và phát biểu của bài toán ==
Một điều khiển <math>u(t)</math> được lựa chọn để cực tiểu hóa hàm mục tiêu
: <math>
J(u)=\Psi(x(T))+\int^T_0 L(x,u,t) dt
</math>
trong đó <math>x(t)</math> là trạng thái của hệ thống, mà bao gồm các phương trình trạng thái
: <math>
\dot{x}=f(x,u,t) \qquad x(0)=x_0 \quad t \in [0,T]
</math>
và điều khiển phải thỏa mãn các hạn chế
: <math>
a \le u(t) \le b \quad t \in [0,T]
</math>

== Định nghĩa Hamilton ==
: <math>
H(x,\lambda,u,t)=\lambda^T(t)f(x,u,t)-L(x,u,t) \,
</math>
trong đó <math>\lambda(t)</math> là một vector của các biến [[Costate equations|costate]] của cùng kích thước như các biến trạng thái <math>x(t)</math>.

Để biết thêm thông tin về các thuộc tính của Hamilton, xin xem bài  [[Nguyên lý cực đại Pontryagin]].

== Hamilton trong thời gian rời rạc ==
Khi bài toán được xây dựng trong thời gian rời rạc, Hamilton được định nghĩa là:
: <math>
H(x,\lambda,u,t)=\lambda^T(t+1)f(x,u,t)-L(x,u,t) \,
</math>
và các [[Costate equations|phương trình costate]] là
: <math>
\lambda(t+1)=-\frac{\partial H}{\partial x} + \lambda(t)
</math>
(Lưu ý rằng Hamilton thời gian rời rạc tại thời điểm t liên quan đến biến costate tại thời điểm <math>t+1.</math><ref>Varaiya, Chapter 6</ref>  chi tiết nhỏ này là điều cần thiết để khi chúng ta lấy vi phân đối với <math>x</math> chúng ta có được một số hạng liên quan đến  <math>\lambda(t+1)</math> ở phía bên phải của hệ phương trình costate. Sử dụng một quy ước sai ở đây có thể dẫn đến kết quả không chính xác, tức là một phương trình costate mà không phải là một phương trình vi phân ngược).

== Hamilton của điều khiển so với Hamilton của cơ học ==
[[William Rowan Hamilton]] định nghĩa [[Cơ học Hamilton|Hamilton]] như một hàm ba biến:
: <math>\mathcal{H} = \mathcal{H}(p,q,t) = \langle p,\dot{q} \rangle -L(q,\dot{q},t)</math>
trong đó <math>\dot{q}</math> được định nghĩa ngầm bởi
: <math>p = \frac{\partial L}{\partial \dot{q}}</math>
Hamilton sau đó đã xây dựng hệ phương trình của mình như sau
: <math>\frac{ d}{ dt}p(t) = -\frac{\partial}{\partial q}\mathcal{H}</math>
: <math>\frac{ d}{ dt}q(t) =~~\frac{\partial}{\partial p}\mathcal{H}</math>
Tương tự như các Hamilton của lý thuyết điều khiển (như thường được định nghĩa) là một hàm gồm 4 biến
: <math>H(q,u,p,t)= \langle p,\dot{q} \rangle -L(q,u,t)</math>
và các điều kiện liên quan cho một cực đại hóa là
: <math>\frac{dp}{dt} = -\frac{\partial H}{\partial q}</math>

: <math>\frac{dq}{dt} = ~~\frac{\partial H}{\partial p}</math>

: <math>\frac{\partial H}{\partial u} = 0</math>
Định nghĩa này đồng ý với quan điểm đưa ra bởi bài viết của Sussmann và Willems.<ref>{{Chú thích tạp chí}}</ref> (Xem trang 39, phương trình 14). Sussmann-Willems cho thấy làm thế nào Hamilton điều khiển có thể được sử dụng trong các động lực học, ví dụ cho bài toán đường đoản thời, nhưng không đề cập đến các công trình trước đó của [[Carathéodory]] về cách tiếp cận này.<ref>See {{Chú thích tạp chí}}</ref>

== Tham khảo ==
{{tham khảo}}

== Liên kết ngoài ==
* {{Chú thích web|url=http://paleale.eecs.berkeley.edu/~varaiya/papers_ps.dir/NOO.pdf|title=Lecture Notes on Optimization|last=Varaiya|first=P.|year=1998|archiveurl=https://web.archive.org/web/20030410164534/http://paleale.eecs.berkeley.edu/~varaiya/papers_ps.dir/NOO.pdf|archivedate=ngày 10 tháng 4 năm 2003}}