I. Tổng Quan Về Tính Ổn Định Của Hệ Chuyển Mạch Tuyến Tính
Lý thuyết hệ động lực trên thang thời gian bất kỳ thể hiện sự tương tác giữa lý thuyết hệ liên tục và hệ rời rạc. Nó cho phép phân tích tính ổn định của hệ động lực trên miền thời gian không đều. Khi thang thời gian T = R, phương trình động lực rút gọn thành phương trình vi phân liên tục. Khi T = hZ (h là số thực), chúng rút gọn thành phương trình sai phân. Bên cạnh đó, còn có nhiều thang thời gian thú vị khác với bước thời gian không đều. Tính ổn định mũ đã được tìm ra cho hệ tuyến tính sử dụng thang thời gian hàm mũ. Một số mở rộng cho hệ động lực thời gian biến đổi, phương trình động lực với nhiễu cấu trúc tổng quát và hệ điều khiển hữu hạn chiều phi tuyến trên thang thời gian cũng đã được nghiên cứu. Tuy nhiên, tính ổn định này không dễ dàng mở rộng cho lớp hệ chuyển mạch.
1.1. Giới Thiệu Hệ Chuyển Mạch Tuyến Tính và Ứng Dụng
Hệ chuyển mạch là các hệ liên quan cả động lực liên tục và động lực rời rạc. Chúng bao gồm một số hữu hạn các hệ con và một quy tắc rời rạc để đưa ra sự chuyển mạch giữa các hệ. Chúng đã được nghiên cứu rộng rãi trong hai thập kỷ gần đây bởi vì chúng miêu tả một lớp rộng các hệ vật lý cũng như các hệ thống kỹ thuật. Ví dụ cụ thể là hệ khuếch đại (cascaded system) bao gồm một bộ điều chỉnh thời gian liên tục (continuous-time plant), một tập điều khiển thời gian rời rạc và các chuyển mạch giữa các bộ điều khiển.
1.2. Tầm Quan Trọng Của Phân Tích Ổn Định Trong Hệ Chuyển Mạch
Hầu hết các phương pháp hiện tại để phân tích ổn định của hệ chuyển mạch tuyến tính không thể áp dụng cho hệ phát triển trên miền thời gian liên tục hoặc rời rạc. Trong bài báo [9], các tác giả đã phân tích tính ổn định cho một trường hợp đặc biệt của hệ chuyển mạch tuyến tính mà trong đó hệ động lực chuyển mạch giữa hệ con tuyến tính liên tục và hệ con tuyến tính rời rạc trong một chu kỳ thời gian nhất định. Thật ra, tính chất thời gian của chúng không thể biểu diễn được bằng đường thẳng liên tục (tức là R) hay đường rời rạc (tức là Z).
II. Thách Thức Trong Phân Tích Ổn Định Hệ Chuyển Mạch Tuyến Tính
Việc mở rộng các điều kiện ổn định cho lớp hệ lớn hơn tiến triển trên miền thời gian không đều là không tầm thường. Để giải quyết vấn đề này, lý thuyết hệ động lực trên thang thời gian tùy ý T dường như thích hợp. Tính giải tích của hệ chuyển mạch trên thang thời gian tùy ý được trình bày trong [6, 1] sử dụng hàm Lyapunov chung bậc bốn. Theo cách tương tự, tính ổn định của một lớp hệ chuyển mạch tuyến tính mà bao gồm một tập các hệ con tuyến tính liên tục ổn định và hệ con tuyến tính rời rạc ổn định với hàm hạt cố định được nghiên cứu trong [7]. Tuy nhiên, việc tìm một hàm Lyapunov cho hệ chuyển mạch là không đơn giản.
2.1. Hạn Chế Của Phương Pháp Lyapunov Truyền Thống
Phương pháp tiếp cận trong [6, 7] không áp dụng được nếu một hệ riêng biệt không ổn định tiệm cận. Do tầm quan trọng đặc biệt của lý thuyết này mà nhiều nhà toán học nước ngoài và Việt Nam đã dành nhiều thời gian và công sức của mình cho việc nghiên cứu các tính ổn định giải tích của hệ chuyển mạch. Luận văn này trình bày đề tài: “Tính ổn định của một lớp các hệ chuyển mạch tuyến tính trên thang thời gian”.
2.2. Vấn Đề Với Hệ Con Không Ổn Định Tiệm Cận
Luận văn được tổng hợp từ bài báo [9] của F. Djemai cùng với một số giáo trình về lý thuyết hệ động lực trên thang thời gian, hệ chuyển mạch trên thang thời gian. Mục đích của luận văn này là mở rộng các kết quả cho miền thời gian không đều T = Pak ,bk tạo bởi hợp các khoảng rời nhau với độ dài biến thiên ak và khoảng cách biến thiên bk . Hệ được nghiên cứu chuyển mạch giữa một hệ động lực con liên tục và một hệ con rời rạc với hàm hạt bị chặn.
III. Phương Pháp Phân Tích Ổn Định Dựa Trên Thang Thời Gian Tùy Ý
Sử dụng các tính chất của hàm mũ thang thời gian, một số điều kiện được đưa ra để đảm bảo tính ổn định mũ của lớp hệ này dưới điều kiện hàm hạt bị chặn khi hệ con là ổn định mũ. Các kết quả này được mở rộng khi khảo sát hệ con rời rạc không ổn định hoặc hệ con liên tục không ổn định. Chương 1 trình bày tóm tắt các khái niệm và nêu ví dụ về thang thời gian, ∆-đạo hàm, hàm mũ trên thang thời gian, khái niệm hệ chuyển mạch trên thang thời gian, khái niệm tính ổn định.
3.1. Sử Dụng Hàm Mũ Thang Thời Gian Để Đánh Giá Ổn Định
Với h > 0 ta định nghĩa tập số phức Hilger Ch và dải Zh như sau: Ch := {z ∈ C : z 6= − 1/h}, Zh = {z ∈ C : −π/h < Im(z) ≤ π/h}, và với h = 0, đặt C0 = C, Z0 = C. Với h > 0, ta định nghĩa phép biến đổi trụ ξh : Ch → Zh bởi ξh (z) = (1/h)log(1 + hz), trong đó log là nhánh chính của logarit. Với h = 0, ta định nghĩa ξ0 (z) = z với mọi z ∈ C.
3.2. Điều Kiện Đảm Bảo Ổn Định Mũ Với Hàm Hạt Bị Chặn
Hàm p : T → K được gọi là hồi quy nếu 1+µ(t)p(t) 6= 0, ∀t ∈ Tk . Ký hiệu tập tất cả các hàm hồi quy và rd-liên tục là R và ký hiệu R + nếu chúng thỏa mãn 1 + µ(t)p(t) > 0, ∀t ∈ Tk (tức là hàm hồi quy dương). Hàm ma trận A : T → Mn (R) được gọi là hồi quy, nếu ∀t ∈ Tk , I + µ(t)A(t) là khả nghịch, trong đó I là ma trận đơn vị.
IV. Ứng Dụng và Kết Quả Nghiên Cứu Về Ổn Định Hệ Chuyển Mạch
Chương 2 trình bày ba định lý nêu các điều kiện ổn định mũ của hệ chuyển mạch trên thang thời gian Pak ,bk trong ba trường hợp khác nhau. Bao gồm trường hợp khi hệ con là ổn định mũ và trường hợp hệ con rời rạc không ổn định hoặc hệ con liên tục không ổn định. Việc xác định miền ổn định của một thang thời gian cho trước nói chung là không đơn giản nếu không nói là rất khó khăn, điều này phần nào cho thấy cấu trúc phức tạp của thang thời gian.
4.1. Các Trường Hợp Ổn Định Của Hệ Chuyển Mạch Trên Pak bk
Xét phương trình tuyến tính x∆ = Ax xác định trên thang thời gian T. Ta có các giá trị riêng của ma trận A là −2 và −3, nên A chéo hóa được. Nếu lấy T = R thì Spec(A) = {−2, −3} ⊂ S(T) = {λ ∈ C : Re λ < 0} và phương trình là ổn định mũ. Nếu lấy T = 2Z thì S(T) = SC (T) ∪ SR (T) = {λ ∈ C : |1 + 2λ| < 1} ∪ {− 1/2}.
4.2. Ví Dụ Minh Họa và Phân Tích Kết Quả
Để nghiên cứu tính ổn định của hệ động lực trên thang thời gian, ta định nghĩa một tập mở của mặt phẳng phức được gọi là hình tròn Hilger. Với mỗi t ∈ T, hình tròn Hilger được định nghĩa là Hµ(t) = {z ∈ C : |z + 1/µ(t)| < 1/µ(t)}. Khi µ(t) = 0, ta ký hiệu H0 = {z ∈ C : Re(z) < 0} = C− , là nửa trái của nửa mặt phẳng phức.
V. Kết Luận và Hướng Nghiên Cứu Về Hệ Chuyển Mạch Tuyến Tính
Luận văn đã trình bày một cách tiếp cận để phân tích tính ổn định của một lớp các hệ chuyển mạch tuyến tính trên thang thời gian. Mặc dù đã hết sức cố gắng nhưng do vấn đề nghiên cứu khá phức tạp và kinh nghiệm nghiên cứu còn hạn chế nên luận văn có thể vẫn còn nhiều khiếm khuyết. Trong quá trình đọc dịch tài liệu, viết luận văn cũng như xử lý văn bản chắc chắn không tránh khỏi những sai sót nhất định.
5.1. Tóm Tắt Các Kết Quả Chính Đạt Được
Các kết quả chính bao gồm việc đưa ra các điều kiện để đảm bảo tính ổn định mũ của hệ dưới các điều kiện khác nhau về tính ổn định của các hệ con. Phương pháp tiếp cận dựa trên thang thời gian cho phép xử lý cả hệ liên tục và hệ rời rạc một cách thống nhất.
5.2. Đề Xuất Hướng Nghiên Cứu Tiếp Theo
Các hướng nghiên cứu tiếp theo có thể tập trung vào việc mở rộng các kết quả cho các lớp hệ chuyển mạch phức tạp hơn, cũng như phát triển các phương pháp tính toán hiệu quả để kiểm tra các điều kiện ổn định trong thực tế. Nghiên cứu sâu hơn về điều khiển thích nghi và điều khiển bền vững cho hệ chuyển mạch trên thang thời gian cũng là một hướng đi tiềm năng.