1. Trang chủ
  2. » Luận Văn - Báo Cáo

Rút gọn mô hình cho một số hệ điều khiển tuyến tính

135 2 0

Đang tải... (xem toàn văn)

Tài liệu hạn chế xem trước, để xem đầy đủ mời bạn chọn Tải xuống

THÔNG TIN TÀI LIỆU

Thông tin cơ bản

Tiêu đề Rút Gọn Mô Hình Cho Một Số Hệ Điều Khiển Tuyến Tính
Tác giả Chu Bình Minh
Người hướng dẫn TS. Hà Bình Minh, TS. Phan Xuân Thành
Trường học Trường Đại học Bách khoa Hà Nội
Chuyên ngành Toán học
Thể loại Luận án tiến sĩ
Năm xuất bản 2019
Thành phố Hà Nội
Định dạng
Số trang 135
Dung lượng 4,57 MB

Nội dung

BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC BÁCH KHOA HÀ NỘI ——————————- CHU BÌNH MINH RÚT GỌN MƠ HÌNH CHO MỘT SỐ HỆ ĐIỀU KHIỂN TUYẾN TÍNH LUẬN ÁN TIẾN SĨ TOÁN HỌC Hà Nội - 2019 BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC BÁCH KHOA HÀ NỘI ——————————- CHU BÌNH MINH RÚT GỌN MƠ HÌNH CHO MỘT SỐ HỆ ĐIỀU KHIỂN TUYẾN TÍNH LUẬN ÁN TIẾN SĨ TỐN HỌC Chun ngành: Tốn học Mã ngành: 9460101 TẬP THỂ HƯỚNG DẪN KHOA HỌC: TS HÀ BÌNH MINH TS PHAN XUÂN THÀNH Hà Nội - 2019 LỜI CAM ĐOAN Tôi xin cam đoan cơng trình nghiên cứu tơi, hướng dẫn thầy TS Hà Bình Minh TS Phan Xuân Thành Tất kết trình bày luận án hoàn toàn trung thực, đồng ý đồng tác giả chưa công bố công trình khác Hà Nội, ngày 24 tháng 12 năm 2019 Thay mặt Tập thể hướng dẫn khoa học TS Hà Bình Minh Tác giả Chu Bình Minh i LỜI CẢM ƠN Luận án thực hướng dẫn khoa học TS Hà Bình Minh, TS Trần Xuân Tiếp TS Phan Xuân Thành, người thầy mẫu mực tận tình giúp đỡ tơi đường khoa học Các thầy hướng dẫn phương pháp nghiên cứu khoa học, giúp tơi tiếp cận lĩnh vực tốn học đầy đam mê thú vị mà gương cho tơi học tập tính nghiêm túc trung thực khoa học Các thầy tạo cho thử thách, giúp tơi tự học hỏi, tìm tịi sáng tạo Đó tơi may mắn tiếp nhận từ người thầy đáng kính Tơi xin bày tỏ lịng biết ơn sâu sắc đến thầy Trong thời gian làm nghiên cứu sinh Trường Đại học Bách khoa Hà Nội, nhận nhiều tình cảm giúp đỡ từ thầy Bộ mơn Tốn bản, thầy Viện Tốn ứng dụng Tin học Tơi xin chân thành bày tỏ lịng biết ơn sâu sắc đến thầy cô Tôi xin bày tỏ lòng biết ơn chân thành đến GS.TSKH Đinh Nho Hào - chủ trì seminar Phương trình vi phân, Viện Tốn học, Viện Hàn lâm Khoa học Cơng nghệ Việt Nam, GS.TSKH Phạm Kỳ Anh - chủ trì seminar Tốn học tính tốn, Trường Đại học Khoa học Tự nhiên, ĐHQG Hà Nội, PGS.TSKH Nguyễn Thiệu Huy - chủ trì seminar Dáng điệu tiệm cận nghiệm phương trình vi phân ứng dụng, Trường Đại học Bách khoa Hà Nội Tơi xin bày tỏ lịng biết ơn đến thành viên seminar tạo điều kiện cho báo cáo kết luận án góp nhiều ý kiến q báu giúp cho luận án tơi hồn thiện Đặc biệt, xin chân thành bày tỏ lòng biết ơn sâu sắc đến PGS.TS Hà Tiến Ngoạn, người động viên giúp đỡ nhiều trình viết luận án Nhân dịp này, bày tỏ cảm ơn chân thành đến Ban Giám hiệu, Khoa Khoa học Trường Đại học Kinh tế - Kỹ thuật Công nghiệp tạo điều kiện thuận lợi cho học tập nghiên cứu Cuối cùng, tơi xin bày tỏ lịng biết ơn sâu sắc đến gia đình tồn thể bạn bè, người bên cạnh suốt q trình học tập nghiên cứu Chính niềm tin, khuyến khích, động viên gia đình bạn bè giúp tơi vượt qua khó khăn để hồn thành luận án Tác giả ii MỤC LỤC LỜICAMĐOAN LỜICẢMƠN i ii MỤCLỤC iii DANHMỤCCÁCKÝHIỆUVÀCHỮVIẾTTẮT vi DANHSÁCHBẢNG viii DANHSÁCHHÌNHVẼ ix MỞĐẦU Chương KIẾN THỨC CHUẨN BỊ 10 1.1 Một số phép phân tích ma trận 10 1.2 Một số không gian hàm 11 1.3 Hệ động lực tuyến tính liên tục 12 1.3.1 Hệ động lực tuyến tính liên tục 12 1.3.2 Hàm truyền hệ tuyến tính liên tục 13 1.3.3 Tính điều khiển tính quan sát hệ tuyến tính 1.3.4 liên tục 15 Phương trình ma trận Lyapunov 18 1.4 Hệ tuyến tính rời rạc 19 1.5 Bài tốn rút gọn mơ hình cho hệ tuyến tính 20 1.5.1 Bài tốn rút gọn mơ hình cho hệ tuyến tính liên tục 20 1.5.2 Bài tốn rút gọn mơ hình cho hệ tuyến tính rời rạc 22 Chương BÀI TỐN RÚT GỌN MƠ HÌNH CHO HỆ TUYẾN TÍNH ỔN ĐỊNH ĐỐI XỨNG 23 2.1 Phương pháp chặt cân 23 2.1.1 Biểu diễn cân hệ tuyến tính liên tục ổn định 23 2.1.2 Rút gọn hệ tuyến tính liên tục ổn định theo phương pháp chặt cân 2.1.3 25 Rút gọn hệ tuyến tính rời rạc ổn định theo phương pháp chặt cân iii 26 2.2 So sánh phương pháp chặt cân với phương pháp chặt modal 29 2.2.1 Biểu diễn modal hệ tuyến tính liên tục ổn định 29 2.2.2 Rút gọn hệ tuyến tính liên tục theo phương pháp chặt modal 30 2.2.3 Hệ tuyến tính liên tục ổn định đối xứng mở rộng SISO 30 2.2.4 So sánh phương pháp chặt cân phương pháp chặt modal 35 2.2.5 Ví dụ minh họa 36 2.3 So sánh phương pháp chặt cân với phương pháp chặt cân phần 38 2.3.1 Phương pháp chặt cân phần 38 2.3.2 So sánh phương pháp chặt cân phương pháp chặt cân phần 42 2.4 So sánh phương pháp chặt cân với phương pháp chặt cân kết hợp ánh xạ phân tuyến tính 45 2.4.1 Ánh xạ phân tuyến tính 45 2.4.2 Phương pháp chặt cân kết hợp ánh xạ phân tuyến tính 47 2.4.3 So sánh phương pháp chặt cân với phương pháp chặt cân kết hợp ánh xạ phân tuyến tính 49 2.4.4 Phương pháp GSP 50 2.4.5 Các ví dụ minh họa 52 Chương BÀI TỐN RÚT GỌN MƠ HÌNH CHO HỆ TUYẾN TÍNH KHƠNG ỔN ĐỊNH 61 3.1 Hệ tuyến tính khơng ổn định 61 3.1.1 Hệ tuyến tính rời rạc -ổn định 62 3.1.2 Hệ tuyến tính liên tục -ổn định 63 3.2 Một số phương pháp rút gọn cho hệ tuyến tính khơng ổn định 65 3.2.1 Phương pháp phân rã 65 3.2.2 Phương pháp rút gọn Zhou 66 3.2.3 Phương pháp chặt cân cho hệ tuyến tính rời rạc khơng ổn định 3.2.4 68 Phương pháp chặt cân cho hệ tuyến tính liên tục không ổn định 71 3.3 Phương pháp BGSP cho hệ tuyến tính khơng ổn định 74 3.3.1 Phương pháp -BGSP cho hệ tuyến tính rời rạc khơng ổn định 74 iv 3.3.2 3.3.3 3.3.4 Phương pháp -BGSP cho hệ tuyến tính liên tục khơng ổn định 76 Phép biến đổi phân tuyến tính hệ -ổn định hệ -ổn định 78 Sai số phương pháp BGSP 84 3.4 Ví dụ minh họa 85 Chương BÀI TỐN RÚT GỌN MƠ HÌNH CHO HỆ TUYẾN TÍNH TẠI LÂN CẬN MỘT VÀI TẦN SỐ 91 4.1 Bài tốn rút gọn mơ hình lân cận tần số 91 4.2 Phương pháp chặt cân lân cận tần số 92 4.2.1 Giá trị kỳ dị Hankel lân cận tần số 93 4.2.2 Phương pháp chặt cân lân cận tần số 94 4.2.3 Đánh giá sai số 95 4.2.4 Ví dụ minh họa 96 4.3 Rút gọn hệ tuyến tính lân cận vài tần số 99 4.3.1 Thuật tốn lặp rút gọn hệ tuyến tính lân cận vài tần số 99 4.3.2 Ví dụ minh họa 100 KẾTLUẬN 103 TÀILIỆUTHAMKHẢO 104 DANH MỤC CƠNG TRÌNH ĐÃ CƠNG BỐ CỦA LUẬN ÁN 109 v DANH MỤC CÁC KÝ HIỆU VÀ CHỮ VIẾT TẮT j Z Đơn vị ảo, j = Tập số nguyên không âm R C Tập số thực Tập số phức C+ C Tập số phức có phần thực dương ;d ; z; D; h1 Sử dụng cho trường hợp rời rạc ;c ; s; C; H1 A;B;C;::: I Sử dụng cho trường hợp liên tục + A T Tập số phức có phần thực âm Các ma trận hệ số Ma trận đơn vị Ma trận chuyển vị A A Ma trận chuyển vị liên hợp phức A A>0 A ma trận đối xứng xác định dương At Xk k (At) eAt Ma trận mũ xác định e = (A) Tập hợp giá trị riêng ma trận A (A) Tập hợp giá trị kỳ dị ma trận A max(A) =0 k! Giá trị kỳ dị lớn ma trận A T race(A) Vết ma trận A diag(a1; : : : ; an) Ma trận đường chéo cỡ n với a1; : : : ; an phần tử đường chéo kAk = kAk2 Chuẩn Euclidean ma trận A kAkF x; y; b; c; : : : Chuẩn Frobenius ma trận A x wy Các vectơ Vectơ x yếu vectơ y vi xy Vectơ x yếu hẳn vectơ y L2[0; 1) Khơng gian Lebesgue bình phương khả tích H2 [0; 1) Khơng gian hàm giải tích C + bình phương khả tích trục ảo L1(jR) Không gian hàm phức bị chặn H1 trục ảo Các hàm L1(jR) giải tích C+ D Tập hệ tuyến tính rời rạc -ổn định D Tập hệ tuyến tính rời rạc ổn định C Tập hệ tuyến tính liên tục -ổn định C Tập hệ tuyến tính liên tục ổn định Gd(z) (Ad; Bd; Cd; Dd) Biểu diễn (Ad; Bd; Cd; Dd) hệ rời rạc Gd(z) Gc(s) (Ac; Bc; Cc; Dc) Biểu diễn (Ac; Bc; Cc; Dc) hệ liên tục Gc(s) G(s) (Ab; Bb; Cb; Db) Biểu diễn cân hệ G(s) G (z) Hàm truyền hệ tuyến tính rời rạc -ổn G (s) định Hàm truyền hệ tuyến tính liên tục kG k -ổn định Chuẩn h1 Gd(z) D d h1 kG k Chuẩn h1; Gd(z) D G Chuẩn H1 Gc(s) C k ckH1 G k ckH1; A B C D Chuẩn H1; Gc(s) C Ký hiệu cho biểu thức C(sI A) B + D SISO Hệ tuyến tính đầu vào, đầu MIMO Hệ tuyến tính nhiều đầu vào, nhiều đầu GSP Nhiễu kỳ dị suy rộng BGSP Nhiễu kỳ dị suy rộng cân vii DANH SÁCH BẢNG Bảng so sánh tín hiệu đầu hệ rút gọn bậc thu phương pháp chặt trực tiếp với tín hiệu đầu hệ gốc bậc Bảng Bảng Bảng so sánh tín hiệu đầu hệ rút gọn bậc thu phương pháp chặt kết hợp đổi biến với tín hiệu đầu hệ gốc bậc Bảng 2.1 Bảng giá trị R ; hệ đối xứng bậc 10 37 Thuật toán Thuật toán cho hệ Truyền b Bảng 2.2 Bảng so sánh sai sối củai nhiệt 58 Bảng 2.3 Bảng so sánh sai số Thuật toán Thuật toán cho hệ OrrSommerfeld 59 Bảng 3.1 Bảng ma trận hệ số Ac = diag( 1; : : : ; 50); Bc Cc hệ tuyến tính bậc 50 86 Bảng 3.2 Bảng chuẩn H1; hệ sai số phương pháp Thuật toán 9, Thuật toán 10, Thuật toán 12 Thuật toán 14 88 viii

Ngày đăng: 04/06/2023, 09:34

Nguồn tham khảo

Tài liệu tham khảo Loại Chi tiết
[1] Mullis, C.T., Roberts, R.A. (1976), “ Synthesis of minimum roundoff noise fixed point digital filters”, IEEE Transactions on Circuits and Systems, Vol. 23, No. 9, pp. 551–562 Sách, tạp chí
Tiêu đề: “ Synthesis of minimum roundoffnoise fixed point digital filters”
Tác giả: Mullis, C.T., Roberts, R.A
Năm: 1976
[2] Moore, B.C. (1981), “Principal component analysis in linear systems:control-lability, observability,and model reduction”, IEEE Transactions on Automatic Control, Vol. 26, No. 2, pp. 17–32 Sách, tạp chí
Tiêu đề: “Principal component analysis in linear systems:"control-lability, observability,and model reduction”
Tác giả: Moore, B.C
Năm: 1981
[3] Pernebo, L., Silverman, L.M. (1982), “ Model reduction via balanced state space representations”, IEEE Transactions on Automatic Control, Vol. 27, No. 2, pp. 382–387 Sách, tạp chí
Tiêu đề: “ Model reduction via balancedstate space representations”
Tác giả: Pernebo, L., Silverman, L.M
Năm: 1982
[4] Enns, D.F. (1984), “ Model reduction with balanced realizations: An error bound and a frequency weighted generalization”, Proceedings of the 23rd Con-trol and Decision Conference (Las Vegas), pp. 127–132 Sách, tạp chí
Tiêu đề: “ Model reduction with balanced realizations: Anerror bound and a frequency weighted generalization”
Tác giả: Enns, D.F
Năm: 1984
[5] Fernando, K.V., Nicholson, H. (1982), “Singular perturbational model reduc-tion in the frequency domain”, IEEE Transactions on Automatic Control, Vol. 27, No. 4, pp. 969–970 Sách, tạp chí
Tiêu đề: “Singular perturbational modelreduc-tion in the frequency domain”
Tác giả: Fernando, K.V., Nicholson, H
Năm: 1982
[6] Clapperton, B., Crusca, F., Aldeen, M. (1996), “Bilinear transformation and generalized singular perturbation model reduction”, IEEE Transactions on Au-tomatic Control, Vol. 41, No. 4, pp. 589–593 Sách, tạp chí
Tiêu đề: “Bilinear transformationand generalized singular perturbation model reduction”
Tác giả: Clapperton, B., Crusca, F., Aldeen, M
Năm: 1996
[7] Zhou, K., Doyle, J.C., Glover, K. (1996), “ Robust and Optimal Control”, Prentice-Hall, New Jersey Sách, tạp chí
Tiêu đề: “ Robust and Optimal Control”
Tác giả: Zhou, K., Doyle, J.C., Glover, K
Năm: 1996
[8] Rommes, J. (2007), “Methods for eigenvalue problems with applications in model order reduction”, PhD thesis, Utrecht University Sách, tạp chí
Tiêu đề: “Methods for eigenvalue problems with "applications in model order reduction”
Tác giả: Rommes, J
Năm: 2007
[9] Vandendorpe, A., Van Dooren, P. (2008), “Model reduction of interconnected systems”, Model Order Reduction: Theory, Research Aspects and Applications, Springer, Berlin-Heidelberg, pp. 305–321 Sách, tạp chí
Tiêu đề: “Model reduction ofinterconnected systems”
Tác giả: Vandendorpe, A., Van Dooren, P
Năm: 2008
[10] Zhou, K., Salomon, G., Wu, E. (1999), “Balanced realization and model re-duction for unstable systems”, International Journal of Robust and Nonlinear Control, Vol. 9, No. 3, pp. 183–198 Sách, tạp chí
Tiêu đề: “Balanced realization and modelre-duction for unstable systems”
Tác giả: Zhou, K., Salomon, G., Wu, E
Năm: 1999
[11] Boess, C., Nichols, N.K., Bunse-Gerstner, A. (2010), “Model re-duction for discrete unstable control systems using a balanced truncation approach”,Preprint MPS, University of Reading.https://www.reading.ac.uk/web/FILES/maths/Preprint_10_06_Nichols.pdf Sách, tạp chí
Tiêu đề: “Model re-duction fordiscrete unstable control systems using a balanced truncation approach”
Tác giả: Boess, C., Nichols, N.K., Bunse-Gerstner, A
Năm: 2010
[12] Kien, V.N. (2015), “Researching model order reduction algorithm and applying to control problem”, PhD thesis, Thai Nguyen University of Technology Sách, tạp chí
Tiêu đề: “Researching model order reduction algorithm and applying to"control problem”
Tác giả: Kien, V.N
Năm: 2015
[13] Du, X., Benner, P. (2016), “Balanced truncation of linear time-invariant systems over finite-frequency ranges”, http://arxiv.org/abs/1602.04402 Sách, tạp chí
Tiêu đề: “Balanced truncation of linear time-invariant systems over finite-frequency ranges”
Tác giả: Du, X., Benner, P
Năm: 2016
[14] Gawronski, W., Juang, J. (1990), “Model reduction in limited time and fre- quency intervals”, International Journal of Systems Science, Vol. 21, No. 2, pp.349–376 Sách, tạp chí
Tiêu đề: “Model reduction in limited time and fre-quency intervals”
Tác giả: Gawronski, W., Juang, J
Năm: 1990
[15] Du, X., Benner, P., Yang, G., Ye, D. (2013), “Balanced truncation of linear time-invariant systems at a single frequency”, Preprint MPIMD/13-02, Max Planck Institute Magdeburg, http://www.mpi-magdeburg.mpg.de/preprints Sách, tạp chí
Tiêu đề: “Balanced truncation of lineartime-invariant systems at a single frequency”
Tác giả: Du, X., Benner, P., Yang, G., Ye, D
Năm: 2013
[16] Ghafoor, A.L., Sreeram, V. (2008), “ Model reduction via limited frequency interval gramians”, IEEE Transactions on Circuits and Systems, Vol. 55, No. 9, pp.2806–2812 Sách, tạp chí
Tiêu đề: “ Model reduction via limited frequency"interval gramians”
Tác giả: Ghafoor, A.L., Sreeram, V
Năm: 2008
[17] Nagar, S.K., Singh, S.K. (2004), “An algorithmic approach for system decom-position and balanced realized model reduction”, Journal of Franklin Institude, Vol. 341, No. 7, pp. 615–630 Sách, tạp chí
Tiêu đề: “An algorithmic approach for systemdecom-position and balanced realized model reduction”
Tác giả: Nagar, S.K., Singh, S.K
Năm: 2004
[18] Boess, C., Lawless, A.S., Nichols, N.K., Bunse-Gerstner, A. (2011),“State esti-mation using model order reduction for unstable systems”, Computers and Flu-ids, Vol. 46, No. 1, pp. 155–160 Sách, tạp chí
Tiêu đề: “State esti-mation using model order reduction for unstable systems”
Tác giả: Boess, C., Lawless, A.S., Nichols, N.K., Bunse-Gerstner, A
Năm: 2011
[19] Benner, P., Kurschner,¨ P., Saak, J. (2016), “Frequency-limited balanced trun-cation with low-rank approximations”, SIAM Journal on Scientific Computing, Vol. 38, No. 1, pp. 471–499 Sách, tạp chí
Tiêu đề: “Frequency-limitedbalanced trun-cation with low-rank approximations”
Tác giả: Benner, P., Kurschner,¨ P., Saak, J
Năm: 2016
[20] Gugercin, S., Antoulas, A. (2004), “ A survey of model reduction by balanced truncation and some new results”, International Journal of Control, Vol. 77, No. 8, pp. 748–766 Sách, tạp chí
Tiêu đề: “ A survey of model reduction bybalanced truncation and some new results”
Tác giả: Gugercin, S., Antoulas, A
Năm: 2004

TÀI LIỆU CÙNG NGƯỜI DÙNG

TÀI LIỆU LIÊN QUAN

w