Luận án Nghiên cứu xây dựng thuật toán điều khiển dự báo theo mô hình cho đối tượng phi tuyến liên tục
Trang 1
Trang 2
Trang 3
Trang 4
Trang 5
Trang 6
Trang 7
Trang 8
Trang 9
Trang 10
Tải về để xem bản đầy đủ
Bạn đang xem 10 trang mẫu của tài liệu "Luận án Nghiên cứu xây dựng thuật toán điều khiển dự báo theo mô hình cho đối tượng phi tuyến liên tục", để tải tài liệu gốc về máy hãy click vào nút Download ở trên.
Tóm tắt nội dung tài liệu: Luận án Nghiên cứu xây dựng thuật toán điều khiển dự báo theo mô hình cho đối tượng phi tuyến liên tục
c và U là tập hở (hoặc trùng với tồn bộ khơng gian điều khiển, tức là bài tốn khơng bị ràng buộc) thì phương pháp thích hợp nhất là phương pháp biến phân. Hơn thế nữa, trong trường hợp điểm trạng thái cuối 45 T x là bất kỳ thì nghiệm tìm được theo phương pháp biến phân sẽ cĩ dạng phụ thuộc trạng thái *( ), 0 ≤ ≤t Tu x , hay nĩ cũng chính là một bộ điều khiển phản hồi trạng thái tối ưu. Bởi vậy, để phân biệt với nghiệm tối ưu phụ thuộc thời gian *( )tu , ở trường hợp này người ta thường gọi *( )u x là nghiệm tối ưu on-line (trực tuyến). 3.1.1. Nguyên lý biến phân Nguyên lý biến phân được phát biểu như sau [5]: Nếu *u là nghiệm bài tốn tối ưu cĩ 0x cho trước, T cũng cho trước và U là tập hở, thì nghiệm đĩ phải thỏa mãn: * ∂ = ∂ 0TH uu (3.4) (đạo hàm tại điểm tối ưu) trong đĩ: − ∂ ∂u là ký hiệu đạo hàm Jacobi của một hàm nhiều biến. − (0, ,0)=0 KT − ( , ) ( , )= −TH p f x u g x u , cĩ tên là hàm Hamilton, với p là vector biến đồng trạng thái (costates), thỏa mãn quan hệ Euler - Lagrange: ∂ = − ∂ & T H p x (3.5) và điều kiện biên ( ) = 0Tp khi điểm trạng thái cuối là bất kỳ. Dựa vào nguyên lý biến phân trên, nghiệm *u của bài tốn tối ưu liên tục sẽ được xác định qua các bước như sau [5]: 1. Từ điều kiện (3.4) xác định quan hệ phải cĩ ( , )u x p cho tín hiệu điều khiển tối ưu. 2. Thay quan hệ tìm được này vào hệ đã cho ( , )=&x f x u và phương trình Euler-Lagrange (3.5) sẽ được hệ phương trình vi phân bậc nhất của hai biến số , x p và tìm nghiệm hệ phương trình vi phân đĩ ứng với các điều kiện biên 0 (0)=x x , ( )=T Tx x nếu điểm cuối là cho trước hoặc ( ) = 0Tp nếu điểm cuối là bất kỳ. 46 3. Thay ngược nghiệm ( ), ( )t tx p tìm được vào quan hệ ( , )u x p đã cĩ từ bước 1 để được nghiệm tối ưu *( )tu của bài tốn. 3.1.2. Bộ điều khiển LQR (Linear Quadratic Regulator) Cĩ thể thấy việc áp dụng nguyên lý 3 bước nêu trên của phương pháp biến phân là hồn tồn khơng đơn giản cho hệ phi tuyến vì cho tới nay ta vẫn chưa cĩ được phương pháp tìm nghiệm tường minh của hệ phương trình vi phân phi tuyến (bước 2). Bởi vậy người ta thường chỉ áp dụng cho bài tốn cĩ hệ (3.2) ở dạng tuyến tính tham số hằng (linear): = +& A Bx x u (3.6) cĩ = ∞T (khoảng thời gian xảy ra quá trình tối ưu cho trước là vơ cùng), hàm mục tiêu (3.3) ở dạng tồn phương (quadratic): ( ) 0 ( ) ∞∫= +T TJ Q R dtu x x u u (3.7) và điểm cuối Tx là bất kỳ, trong đĩ Q là ma trận đối xứng bán xác định dương ( 0= ≥TQ Q ), R là ma trận đối xứng xác định dương ( 0= >TR R ) cho trước. Ở trường hợp đặc biệt này, nghiệm tối ưu *u tìm được theo phương pháp biến phân sẽ cĩ dạng on - line [5]: * 1 T LQR R B L R−= − = −u x x với 1−= T LQR R R B L (3.8) trong đĩ L là nghiệm đối xứng bán xác định dương của phương trình đại số Riccati: 1− − − = T TLBR B L A L LA Q (3.9) Lúc này LQR R cho bởi cơng thức (3.8) sẽ được gọi là bộ điều khiển (regulator) phản hồi trạng thái tối ưu. 3.1.3. ðiều kiện đủ cho tính ổn định của hệ LQR Hệ LQR được hiểu là hệ kín gồm đối tượng tuyến tính tham số hằng (3.6) và bộ điều khiển phản hồi trạng thái (3.8), như được mơ tả ở hình 3.1. Do bài tốn tối ưu này cĩ điểm cuối Tx là bất kỳ nên chưa thể khẳng định 47 được hệ LQR đĩ là đã ổn định, tức là chưa thể khẳng định được là ở hệ LQR cũng sẽ cĩ: lim ( ) →∞ = = 0T t tx x Tuy nhiên, nếu một trong các điều kiện nêu sau đây được thỏa mãn (điều kiện đủ), thì ta luơn khẳng định được hệ LQR là ổn định [5]: − Bài tốn cĩ 0= >TQ Q , tức là ma trận Q là xác định dương chứ khơng chỉ là bán xác định dương. − Nghiệm L tìm được của phương trình Riccati (3.9) là xác định dương (chứ khơng chỉ là bán xác định dương) − Cặp ma trận ( , )AQ là quan sát được. Hình 3.1. Hệ kín với bộ điều khiển phản hồi trạng thái tối ưu LQR 3.1.4. Áp dụng nguyên tắc điều khiển LQR để điều khiển tối ưu hệ tuyến tính bám ổn định theo giá trị đầu ra cho trước ðể tạo được khả năng sử dụng bộ điều khiển LQR như trên vào bài tốn điều khiển dự báo hệ song tuyến bám theo được giá trị đầu ra cho trước, sẽ được trình bày ngay ở mục 3.2 sau đây, trong mục nhỏ này luận án sẽ tiến hành biến đổi một chút ít bộ điều khiển LQR (3.8) để cĩ thể áp dụng được vào bài tốn điều khiển tối ưu hệ tuyến tính tham số hằng: = + = + & A B C D x x u y x u (3.10) sao cho đầu ra y của nĩ bám theo được giá trị đầu ra mẫu ry cho trước. Sau đây bài tốn này sẽ được luận án gọi là bài tốn điều khiển bám tối ưu. Trước tiên, do khơng phải bài tốn điều khiển bám nào cũng cĩ nghiệm, nên ta cần cĩ các giả thiết sau cho bài tốn điều khiển bám tối ưu: xu r y Hệ liên tục tuyến tính Bộ điều khiển tối ưu LQR 48 − Bài tốn bám tối ưu hệ tuyến tính tham số hằng (3.10) cĩ nghiệm eu ở chế độ xác lập, trong đĩ ký hiệu chỉ số e để nĩi rằng đĩ là tín hiệu mà với nĩ cĩ được → r y y , − Khi hệ đã bám theo được giá trị mẫu ry , tức là khi đã cĩ = ry y , thì hệ sẽ xác lập với trạng thái xác lập là ex . Với hai giả thiết nêu trên, hiển nhiên phải cĩ: = = + = + 0 & e e e r e e A B C D x x u y x u (3.11) và điều này tương đương với: 0 e r e A B C D = x y u ⇔ 1 0e e r A B C D − = x u y (3.12) Tiếp theo ta đặt biến mới: = − e x xδ và = − e u uρ thì khi trừ từng vế của (3.10) và (3.11) cho nhau, sẽ được (gọi là hệ sai số): = +& A Bδ δ ρ (3.13) và bài tốn điều khiển bám theo giá trị đặt ry ở đầu ra cho hệ tuyến tính tham số hằng ban đầu là (3.10) nay đã trở thành bài tốn điều khiển ổn định cho hệ sai số (3.13). Áp dụng phương pháp điều khiển LQR cho hệ sai số ứng với hàm mục tiêu: ( ) 0 ( ) ∞∫= +T TJ Q R dtρ δ δ ρ ρ (3.14) cĩ ,Q R đều là hai ma trận đối xứng xác định dương, ta sẽ được: * 1− = − TR B Lρ δ với 1−= T LQR R R B L (3.15) trong đĩ 0= >TL L là nghiệm đối xứng xác định dương của phương trình Riccati (3.9). Tất nhiên bộ điều khiển LQR (3.15) này sẽ làm ổn định hệ sai số (3.13), vì ở đây cĩ Q là ma trận xác định dương. 49 Từ bộ điều khiển LQR (3.15) của hệ sai số (3.13) ta cũng suy ra được bộ điều khiển bám tối ưu theo giá trị đầu ra đặt trước ry cho hệ tuyến tính tham số hằng ban đầu (3.10) như sau: * 1 ( )−= − −Te eR B Lu u x x (3.16) 3.2. Phương pháp đề xuất để điều khiển dự báo với cửa sổ dự báo vơ hạn cho hệ song tuyến liên tục khơng dừng, bám theo được giá trị đầu ra cho trước Dựa trên phương pháp điều khiển xây dựng trên nền biến phân đã được luận án giới thiệu ở mục 3.1.4, để điều khiển bám ổn định hệ tuyến tính tham số hằng mơ tả bởi (3.10), sau đây luận án sẽ mở rộng tiếp thành một đề xuất phương pháp điều khiển dự báo cho bài tốn điều khiển bám ổn định theo quỹ đạo tín hiệu đầu ra mẫu cho hệ song tuyến liên tục, thay vì chỉ điều khiển ổn định, và sử dụng trực tiếp mơ hình liên tục đĩ trong mơ hình dự báo, thay vì sử dụng mơ hình xấp xỉ khơng liên tục của nĩ. 3.2.1. Tư tưởng chính của phương pháp Xét hệ song tuyến MIMO, khơng dừng, cĩ số tín hiệu đầu vào bằng số các tín hiệu đầu ra, mơ tả bởi mơ hình liên tục: ( , ) ( , ) ( , ) ( , ) = + = + & A t B t C t D t x x x x u y x x x u (3.17) trong đĩ ∈ mRu là vector của m tín hiệu đầu vào, ∈ mRy là vector của m các tín hiệu đầu ra và ∈ nRx là vector của n biến trạng thái trong hệ. Các ma trận ( , ), ( , ), ( , )A t B t C tx x x và ( , )D tx đều cĩ những phần tử là hàm số phụ thuộc biến trạng thái x cũng như thời gian t . Bài tốn điều khiển đặt ra ở đây là xác định bộ điều khiển phản hồi trạng thái sao cho tín hiệu đầu ra y của hệ bám theo được giá trị đầu ra mong muốn r y cho trước. Giả sử tất cả các ma trận ( , ), ( , ), ( , ), ( , )A t B t C t D tx x x x là liên tục theo x và t . Khi đĩ, ở thời điểm k t hiện tại và trong khoảng thời gian ≤ < + k k k t t t T đủ nhỏ, hệ song tuyến (3.17) sẽ xấp xỉ được bởi mơ hình tuyến tính tham số hằng: 50 : = + = + & k k k k k A B H C D x x u y x u (3.18) trong đĩ: ( , ) , ( , ) , ( , ) , ( , )≈ ≈ ≈ ≈k k k kA t A B t B C t C D t Dx x x x khi ≤ < +k k kt t t T (3.19) Việc xấp xỉ trên là hồn tồn chấp nhận được do từ giả thiết về tính liên tục của các ma trận tham số mơ hình (3.17) luơn cĩ: 0 0 0 0 lim ( , ) , lim ( , ) , lim ( , ) , lim ( , ) → → → → = = = = k k k k k k k k T T T T A t A B t B C t C D t Dx x x x và k T là thời gian tính tốn cần thiết cho một vịng lặp của bộ điều khiển dự báo, nên rất nhỏ đối với card DSP1103 mà tác giả sử dụng khi tiến hành thực nghiệm thì 70kT ns= . Nĩ cũng sẽ chính là khoảng dịch chuyển của cửa sổ dự báo. Hình 3.2. Mơ tả tư tưởng của phương pháp Nhờ việc xấp xỉ mơ hình song tuyến liên tục khơng dừng (3.17) thành vơ số mơ hình LTI (3.18) ứng với 0,1,= Kk nên bài tốn điều khiển bám giá trị đầu ra mẫu r y của hệ song tuyến (3.17) trở thành bài tốn bám tín hiệu ra mẫu r y cho tất cả vơ số hệ LTI (3.18). Và như vậy, các bước điều khiển trong một vịng lặp sẽ là: t kt 1+kt k T [ ], [ ] e e k kx u [ 1], [ 1]+ +e ek kx u Cửa sổ dự báo vơ hạn Ở thời điểm hiện tại hệ được xấp xỉ bởi mơ hình LTI kH . Ở thời điểm tiếp theo hệ được xấp xỉ bởi mơ hình LTI 1kH + . 51 Tư tưởng của phương pháp được đề xuất: 1. Tại thời điểm hiện tại kt đo giá trị ( ) =k ktx x và xác định các ma trận hằng của mơ hình LTI (3.18) gồm , , ,k k k kA B C D theo các cơng thức: ( , ), ( , ), ( , ), ( , )= = = =k k k k k k k k k k k kA A t B B t C C t D D tx x x x (3.20) 2. Xác định tín hiệu điều khiển ( )tu để hệ LTI (3.18) bám theo được giá trị tín hiệu đầu ra mẫu ry . 3. ðưa ( )tu vừa tìm được vào điều khiển hệ song tuyến (3.17) rồi quay về bước 1 để thực hiện vịng lặp mới tại thời điểm tiếp theo là 1+kt 3.2.2. Xây dựng thuật tốn điều khiển Như vậy, ở thời điểm hiện tại kt hệ song tuyến liên tục khơng dừng (3.17) đã được xấp xỉ bởi mơ hình LTI (3.18) và tất nhiên mơ hình xấp xỉ này cũng sẽ chỉ được sử dụng trong khoảng thời gian 1+≤ <k kt t t của một vịng lặp, như mơ tả ở hình 3.2, trong đĩ 1k k kt t T+ = + với kT là thời gian tính tốn cần thiết cho một vịng lặp. Như vậy kT sẽ là vơ cùng nhỏ và việc xấp xỉ mơ hình song tuyến (3.17) với tính liên tục của các ma trận ( , ), ( , )A t B tx x , ( , ), ( , )C t D tx x thành mơ hình LTI (3.18) trong khoảng thời gian 1+≤ <k kt t t là hồn tồn chấp nhận được. Gọi r y là tín hiệu đầu ra mẫu mà hệ LTI (3.18) cần phải bám theo. ðây cũng chính là bài tốn đã được trình bày ở mục 3.1.4 trước đây. Do đĩ nếu ký hiệu [ ], [ ]e ek kx u là giá trị trạng thái và điều khiển của hệ LTI (3.18) ở chế độ xác lập, tức là khi hệ đã bám theo được giá trị đầu ra mẫu ry , thì những giá trị xác lập này phải thỏa mãn: [ ] [ ] [ ] [ ] = + = + 0 k e k e r k e k e A k B k C k D k x u y x u (3.21) Từ đây ta suy ra được hệ gồm +n m phương trình cho +n m ẩn số ( )[ ], [ ]e ek kx u như sau: [ ] [ ] [ ] [ ] + = + 0k e k e k e k e r A k B k C k D k x u x u y ⇔ [ ] [ ] = 0k k e k k e r A B k C D k x u y 52 ⇔ 1[ ] [ ] − = 0e k k e k k r k A B k C D x u y (3.22) và đĩ cũng là hệ phương trình cho phép xác định các giá trị xác lập ( )[ ], [ ]e ek kx u của hệ từ tín hiệu đầu ra mẫu ry . Lại đặt các biến mới giống như đã làm ở mục 3.1.4: [ ]= − e kx xδ và [ ]= − e ku uρ thì do ( )[ ], [ ]e ek kx u là những vector hằng số, ta sẽ cĩ từ (3.18) và (3.21) mơ hình hệ sai số như sau: = +& k kA Bδ δ ρ (3.23) Như vậy, bài tốn điều khiển hệ (3.18) bám theo giá trị đầu ra mẫu ry đã được chuyển thành bài tốn điều khiển ổn định hệ sai số (3.23). ðể thiết kế bộ điều khiển dự báo cho hệ tuyến tính liên tục (3.23) cĩ được chất lượng ổn định tối ưu, ta sẽ áp dụng phương pháp điều khiển tối ưu LQR cho bước dịch chuyển cửa sổ dự báo thứ k với độ rộng của cửa sổ dự báo là vơ hạn, được đánh giá bởi hàm mục tiêu mơ tả sai số dự báo ở thời tương lai như sau: ( )1( ) min2 ∞ = + →∫ k T T k k k t J Q R dtρ δ δ ρ ρ (3.24) trong đĩ , k k Q R là hai ma trận đối xứng xác định dương tùy chọn, thay đổi được theo từng bước dịch chuyển của cửa sổ dự báo. Việc tùy chọn hai ma trận , k kQ R này sẽ là một cơ hội để sau này thuật tốn cịn cĩ khả năng thỏa mãn thêm điều kiện ràng buộc. Áp dụng phương pháp biến phân để tìm nghiệm *ρ của bài tốn tối ưu ở quá trình quá độ, mơ tả bởi (3.23), (3.24), ta sẽ cĩ (xem lại mục 3.1.2): 1− − − = T T k k k k k k k k k kL B R B L L A A L Q (3.25) và ( )* 1 1 [ ]− −= − = − −T Tk k k k k k eR B L R B L kx xρ δ Từ đây ta cũng đến được tín hiệu điều khiển cho hệ song tuyến liên tục và khơng dừng (3.17) ban đầu tại cửa sổ dự báo hiện tại: 53 ( ) * * 1 ( ) [ ] ( ) [ ] [ ]− = + = − − e T e k k k e t k t k R B L k u u u x x ρ (3.26) và tất nhiên tín hiệu điều khiển này chỉ sử dụng được trong đúng khoảng thời gian hiện tại là 1+≤ <k kt t t . Tổng kết lại thì bộ điều khiển dự báo với cửa sổ dự báo vơ hạn, áp dụng cho hệ song tuyến liên tục khơng dừng (3.17), làm việc theo thuật tốn đề xuất ở trên sẽ gồm các bước lặp như sau: Thuật tốn 3.1: ðiều khiển dự báo phản hồi trạng thái để tín hiệu ra bám theo tín hiệu đầu ra mẫu cho hệ song tuyến liên tục với cửa sổ dự báo vơ hạn. 1. Chọn quy luật thay đổi các ma trận trọng số ,k kQ R đối xứng xác định dương. Gán 0 0=t và 0=k . 2. ðo ( )= k k tx x và tính xấp xỉ các ma trận hằng , , , k k k k A B C D của mơ hình LTI (3.18) từ ( , ), ( , ), ( , ), ( , )A t B t C t D tx x x x theo cơng thức (3.20). 3. Xác định ( )[ ], [ ]e ek kx u từ ry theo (3.22). 4. Tìm k L là nghiệm đối xứng, bán xác định dương của phương trình đại số Riccati (3.25). Tính *u theo (3.26). 5. ðưa *u vào điều khiển đối tượng song tuyến liên tục khơng dừng (3.17) rồi gán : 1= +k k và quay về 2. Với thuật tốn chi tiết như trình bày trên đây thì khoảng thời gian kT cho việc xấp xỉ (3.17) thành (3.18) chính là khoảng thời gian cần thiết đề thực hiện các phép tính từ bước 2 đến bước 5. 3.2.3. Khả năng xử lý điều kiện ràng buộc Trong thuật tốn trên cĩ hai ma trận tham số ,k kQ R là tùy chọn. Ta cĩ thể chọn chúng thay đổi theo sự dịch chuyển của cửa sổ dự báo, tức là theo , 0,1, = Kkt k sao cho nghiệm bài tốn cịn cĩ thể thỏa mãn thêm được điều kiện ràng buộc: ≤ Ω∈Rρ (3.27) 54 với Ω là giá trị chặn trên cho trước, trong khi chất lượng [ ]= − → 0 e kx xδ vẫn được đảm bảo. Theo nguyên lý thay đổi ,k kQ R giới thiệu ở tài liệu [1] thì: − Khi kR càng lớn, điều kiện ràng buộc (3.27) càng dễ được thỏa mãn. − Khi kQ càng lớn, càng dễ đạt được chất lượng [ ]= − → 0e kx xδ . Khơng bao giờ cả hai ma trận tham số , k k Q R cùng được tăng hoặc giảm tại một bước dịch chuyển của cửa sổ dự báo. Như vậy, theo nguyên lý này ta cĩ thể xác định quy luật thay đổi ,k kQ R là giảm dần k R (sau khi điều kiện ràng buộc (3.27) đã được thỏa mãn), hoặc tăng dần k Q cùng với k , tức là cùng với sự dịch chuyển của cửa sổ dự báo. Ngồi ra, để cài đặt thuật tốn, ta cần đến phương pháp giải phương trình đại số Riccati (3.25). Một số phương pháp tìm nghiệm kL hữu ích cho phương trình Riccati này đã được giới thiệu ở tài liệu [5]. 3.2.4. Chứng minh tính bám ổn định của phương pháp được đề xuất Hình 3.3 minh họa hệ điều khiển dự báo với bộ điều khiển làm việc theo thuật tốn 3.1 vừa đề xuất. Hệ kín này làm việc theo nguyên lý phản hồi trạng thái và hiển nhiên khơng phải là hệ rời rạc, vì ở đĩ cĩ *( ), ( )t tx u là vector các hàm liên tục. Trong mỗi một cửa sổ điều khiển với độ rộng vơ hạn [ ],∞k , tín hiệu *( )tu được đưa vào điều khiển đối tượng trong đúng một khoảng thời gian tính tốn của một vịng lặp 1+≤ <k kt t t . Bởi vậy ta cĩ thể ký hiệu *( )k tu thay vì *( )tu . Trong suốt quá trình điều khiển, tín hiệu điều khiển ( )tu sẽ chính là dãy ghép nối các tín hiệu liên tục *( ), 0,1, = Kk t ku này. Vì vậy hệ kín đĩ là thuộc nhĩm hệ thống dữ liệu mẫu (sampled data systems) [4]. Khi áp dụng phương pháp biến phân của điều khiển tối ưu, trong hình 3.3, khi dùng cửa sổ dự báo vơ hạn chúng ta cảm thấy mất đi mơ hình dự báo nhưng phương pháp này vẫn được gọi là điều khiển dự báo vì nĩ vẫn thực hiện được việc cực tiểu hĩa sai lệch dự báo từ thời điểm hiện tại cho đến vơ 55 cùng ở tương lai và nguyên tắc dịch cửa sổ dự báo cũ vẫn được giữ nguyên ở phương pháp đề xuất này theo nguyên lý Receding Horizon Control (chiến lược điều khiển dịch dần về tương lai) nên thực chất vẫn là điều khiển dự báo. Hình 3.3. ðiều khiển dự báo hệ song tuyến liên tục với cửa sổ dự báo vơ hạn Về tính ổn định của hệ kín trong hình 3.3, ta cĩ phát biểu sau: ðịnh lý 3.1: Nếu các ma trận , , 0,1, = Kk kQ R k là đối xứng xác định dương và: k k k k A B C D (3.28) khơng suy biến thì ở hệ điều khiển dự báo cho trong hình 3.3 sẽ cĩ → r y y . Chứng minh: Hiển nhiên, với giả thiết (3.28) thì sẽ đủ nếu ta chứng minh được ( )tδ là bị chặn và cĩ ( ) → 0tδ , trong đĩ ( )tδ là quỹ đạo sai lệch trạng thái trên tồn bộ trục thời gian, cĩ được nhờ ghép tất cả các quỹ đạo thành phần trong từng cửa sổ dự báo (hình 3.3). Xét cửa sổ dự báo thứ kt bất kỳ. Do ,k kQ R là đối ứng xác định dương, nên hệ kín với mơ hình sai lệch: ( )1−= − = )& Tk k k k k kA B R B L Aδ δ δ ứng với 1+≤ <k kt t t cĩ: 1− = − ) T k k k k k kA A B R B L là ổn định. Bởi vậy ) kA là ma trận Hurwitz [4]. k y x k x y [ ] e kx *u [ ] e ku *ρ ( )tδ k t 1+kt lt k δ 1+kδ l δ k T kx , , , k k k k A B C D ry Hệ song tuyến Mơ hình dự báo Tối ưu động 1− T k k kR B L 56 Hơn nữa, hệ trên cĩ quỹ đạo trạng thái trong tồn bộ khoảng thời gian là: ( )( ) −= ) k kA t t kt eδ δ , trong đĩ ( )=k ktδ δ Bởi vậy ta suy ra được với mọi 0≥t : 1 1 ( ) ( ) ( ) 1 1 1 1 1 1 0 0 ( ) exp ( ) ( ) exp ( ) ( ) − − − − − − − − − − + = = = = − + − = − + −∑ ) ) ) ) ) M ) ) k k k k k k k A t t k A t t A t t k k k k k k k k k k i i i i t e e e A t t A t t A t t A t t δ δ δ δ δ Ngồi ra, vì 1 0+ − >i it t và tất cả các ma trận: ( )−)k kA t t và 1( )+ − ) i i iA t t với 0,1, , 1= −Ki k là Hurwitz, tức là: limexp ( ) ,k k t A t t k →∞ − = Θ ∀ ) (ma trận cĩ tất cả các phần tử bằng 0) cũng như: 1 1 0 exp ( )k i i i i A t t − + = −∑ ) là hữu hạn nên: lim ( ) 0 →∞ = t tδ và đĩ chính là điều phải chứng minh. ■ 3.2.5. Khả năng áp dụng cho hệ phi tuyến affine khơng dừng Phương pháp điều khiển dự báo đề xuất ở trên cùng với thuật tốn 3.1 cho hệ song tuyến liên tục, khơng dừng cũng hồn tồn áp dụng được cho cả những hệ phi tuyến affine khơng dừng, mơ tả bởi: ( , ) ( , )= +& t B tx f x x u nếu như ở đĩ cĩ vector hàm ( , )tf x liên tục theo t và khi 0→x thì ( )f x cũng tiến về 0 với tốc độ nhanh hơn 0→x . Thật vậy, với giả thiết nêu trên thì: 2 ( , )( , ) ( , )= = Tt t A t f x x f x x x x x trong đĩ 2 ( , )( , ) = Tt A t f x x x x 57 tức là hệ song tuyến tương đương: ( , ) ( , )= +& A t B tx x x x u cũng sẽ cĩ ma trận ( , )A tx là liên tục theo x . 3.3. Kết luận chương 3 Tồn bộ nội dung chương 3 là đề xuất mới của luận án về phương pháp điều khiển dự báo cho hệ phi tuyến liên tục khơng dừng nĩi chung và cho hệ song tuyến liên tục khơng dừng nĩi riêng. Phương pháp đề xuất này được xây dựng trên nền phương pháp biến phân của điều khiển tối ưu và áp dụng được cho cả bài tốn điều khiển ổn định cũng như bài tốn điều khiển bám ổn định theo giá trị mẫu cho trước ở đầu ra. Nĩ cũng đã được luận án thể hiện chi tiết dưới dạng thuật tốn 3.1 cũng như ở định lý 3.1 ch
File đính kèm:
- luan_an_nghien_cuu_xay_dung_thuat_toan_dieu_khien_du_bao_the.pdf
- Thong tin LA NCS Nguyen Thi Mai Huong 02-2016 DHTN Jun.doc
- Tom tat Tieng Anh NCS Nguyen Thi Mai Huong 02-2016.pdf
- Tom tat Tieng Viet NCS Nguyen Thi Mai Huong 02-2016 DHTN.pdf