Điều khiển Gauss tuyến tính-bậc hai

Trong lý thuyết điều khiển tự động, bài toán điều khiển Gauss tuyến tính-bậc hai (LQG) là một trong những bài toán điều khiển tối ưu cơ bản nhất. Nó liên quan đến các hệ thống tuyến tính bị nhiễu bởi nhiễu phụ trắng Gaussian, có thông tin trạng thái không hoàn toàn (tức là không phải tất cả các biến trạng thái đo lường được và sẵn sàng phản hồi) và trải qua đối tượng điều khiển với chi phí bậc hai. Hơn nữa, lời giải là duy nhất và tạo thành một luật điều khiển phản hồi động học tuyến tính dễ dàng tính toán và thực hiện. Cuối cùng bộ điều khiển LQG cũng là nền tảng cho điều khiển tối ưu của các hệ thống phi tuyến nhiễu loạn.

Bộ điều khiển LQG chỉ đơn giản là sự kết hợp của một bộ lọc Kalman, tức là hàm ước lượng tuyến tính bậc hai (LQE), với một bộ điều chỉnh tuyến tính bậc hai (LQR). Nguyên tắc tách biệt đảm bảo rằng chúng có thể được thiết kế và tính toán độc lập. Điều khiển LQG áp dụng cho cả các hệ thống tuyến tính thời gian bất biến và các hệ thống tuyến tính thời gian biến đổi. Việc áp dụng vào các hệ thống tuyến tính biến đổi theo thời gian là nổi tiếng. Việc áp dụng đối với các hệ thống tuyến tính thời gian biến đổi cho phép thiết kế các bộ điều khiển phản hồi tuyến tính cho các hệ thống phi tuyến không ổn định.

Chính bộ điều khiển LQG là một hệ thống động học giống như hệ thống mà nó điều khiển. Cả hai hệ thống đều có cùng kích thước trạng thái. Do đó, việc thực thi bộ điều khiển LQG có thể có vấn đề nếu kích thước của trạng thái hệ thống là lớn. Bài toán LQG giảm bậc (bài toán LQG bậc cố định) sẽ khắc phục điều này bằng cách cố định một "tiên nghiệm "số lượng trạng thái của bộ điều khiển LQG. Bài toán này khó giải hơn vì nó không còn tách rời. Ngoài ra lời giải không còn là duy nhất. Mặc dù những thuật toán số học này là có sẵn  để giải các phương trình chiếu tối ưu liên quan tạo thành điều kiện cần và đủ cho một bộ điều khiển LQG giảm bậc tối ưu cục bộ.

Tính tối ưu của LQG không tự động đảm bảo tính bền vững tốt. Sự ổn định mạnh mẽ của hệ thống vòng kín phải được kiểm tra riêng biệt sau khi bộ điều khiển LQG được thiết kế. Để thúc đẩy mạnh mẽ một số các thông số hệ thống có thể được giả thiết ngẫu nhiên thay vì xác định. Bài toán điều khiển liên quan khó hơn dẫn đến một bộ điều khiển tối ưu tương tự trong đó chỉ có các thông số điều khiển là khác nhau.

== Mô tả toán học của bài toán và lời giải ==
=== Thời gian liên tục ===
Xem xét hệ thống động học tuyến tính thời gian liên tục
trong đó formula_3 đại diện cho các biến trạng thái của hệ thống, formula_4 là vector đầu vào điều khiển và formula_5 là vector đầu ra được đo lường dùng để phản hồi. Cả nhiễu hệ thống Gauss phụ trắng formula_6 và nhiễu đo lường Gauss phụ trắng đều tác động tới hệ thống. Với hệ thống này, mục tiêu là phải tìm thấy lịch sử đầu vào điều khiển formula_7 tại mọi lúc formula_8 có thể chỉ phụ thuộc vào các phép đo quá khứ formula_9 như vậy mà hàm chi phí sau đây được cực tiểu hóa:

trong đó formula_12 là ký hiệu của giá trị mong muốn. Thời gian cuối cùng (chân trời) formula_13 có thể là hữu hạn hoặc vô hạn. Nếu đường chân trời có xu hướng tiến đến vô cùng số hạng đầu tiên formula_14 của hàm chi phí trở nên không đáng kể và không liên quan đến bài toán. Ngoài ra để giữ cho chi phí hữu hạn, hàm chi phí phải được thực hiện để có formula_15.

Bộ điều khiển LQG mà giải quyết được bài toán điều khiển LQG được quy định bởi các phương trình sau đây:

Ma trận formula_18 được gọi là độ lợi Kalman của bộ lọc Kalman liên quan được thể hiện bởi phương trình đầu tiên. Tại mỗi thời điểm formula_8 bộ lọc này tạo ra ước tính formula_20 của trạng thái formula_21 sử dụng các phép đo và đầu vào trong quá khứ. Độ lợi Kalman formula_18 được tính toán từ các ma trận formula_23, hai ma trận cường độ formula_24 liên quan đến các nhiếu Gauss trắng formula_6 và formula_26 và cuối cùng formula_27. Năm ma trận này xác định độ lợi Kalman thông qua ma trận phương trình vi phân Riccati liên quan sau đây:

Với các giải pháp formula_30 độ lợi Kalman bằng
Ma trận formula_32 được gọi là ma trận độ lợi phản hồi. Ma trận này được xác định bởi các ma trận formula_33và formula_34 thông qua ma trận phương trình vi phân Riccati liên quan sau đây:
Với các lời giải formula_36 độ lợi phản hồi bằng
Quan sát sự giống nhau của hai ma trận phương trình vi phân Riccati, phương trình đầu tiên chạy về phía trước theo thời gian, phương trình thứ hai chạy về phía ngược theo thời gian. sự tương đồng này được gọi là nhị nguyên. Ma trận phương trình vi phân Riccati đầu tiên giải quyết bài toán ước lượng tuyến tính bậc hai (LQE). Ma trận phương trình vi phân Riccati thứ hai giải quyết bài toán bộ điều chỉnh tuyến tính bậc hai (LQR). Những bài toán này là sóng đôi và chúng cùng nhau giải quyết bài toán tuyến tính bậc hai-Gaussian (LQG). Vì vậy, bài toán LQG chia tách thành bài toán LQE và LQR có thể được giải quyết một cách độc lập. Do đó, bài toán LQG được gọi là có thể tách rời.

Khi formula_38 và các ma trận cường độ nhiễuformula_39, formula_40 không phụ thuộc vào formula_8 và khi formula_13 có xu hướng tiến đến vô cùng, bộ điều khiển LQG trở thành một hệ động lực biến đổi theo thời gian. Trong trường hợp đó cả hai ma trận phương trình vi phân Riccati có thể được thay thế bằng hai phương trình Riccati đại số liên quan.

=== Thời gian rời rạc ===
Do bài toán điều khiển LQG thời gian rời rạc tương tự với bài toán trong thời gian liên tục, mô tả dưới đây tập trung vào các phương trình toán học.

Các phương trình hệ thống tuyến tính thời gian rời rạc là

Trong đó formula_45 đại diện cho các chỉ số thời gian rời rạc và formula_46 đại diện cho nhiễu trắng Gauss thời gian rời rạc xử lý với các ma trận hiệp phương sai formula_47 tương ứng.

Hàm chi phí bậc hai được cực tiểu hóa là

Bộ điều khiển LQG thời gian rời rạc là
Độ lợi Kalman bằng
trong đó formula_52 được xác định bởi ma trận phương trình vi phân Riccati sau đây mà chạy về phía trước theo thời gian:

Ma trận độ lợi phản hồi bằng
trong đó formula_54 được xác định bởi ma trận phương trình vi phân Riccati sau đây theo hướng ngược thời gian:
Nếu tất cả các ma trận trong việc xây dựng bài toán là thời gian bất biến và nếu đường chân trời formula_56 có xu hướng tiến đến vô cùng, bộ điều khiển thời gian rời rạc LQG sẽ trở thành thời gian bất biến. Trong trường hợp đó, ma trận phương trình vi phân Riccati có thể được thay thế bằng phương trình đại số Riccati thời gian rời rạc liên quan của chúng. Những bộ ước lượng tuyến tính bậc hai bất biến theo thời gian và bộ điều chỉnh tuyến tính bậc hai thời gian bất biến được xác định trong thời gian rời rạc. Để giữ cho các chi phí hữu hạn thay vì formula_57 ta phải xem xét formula_58 trong trường hợp này.

== Xem thêm ==
- Điều khiển ngẫu nhiên
- Phản ví dụ Witsenhausen