HÀNH VI TƯƠNG TRANH CỦA HỆMẠNG HỢP THÀNH

Một phần của tài liệu Một số ứng dụng của vết và nửa vết trong điều khiển tương tranh (Trang 29)

Bây giờ chúng ta đi tìm hành vi tương tranh cũa hệ mạng hợp thành.

Giả sử E/ = {Bị, Eị; Fị, Co/) và Ĩ.2 = (B2, E2; F2, C02) là hai hệ mạng nào đó và

£ = X/ © ỵ,2 là hệ mạng hợp thành của chúng. Việc tìm hành vi tương tranh

theo định nghĩa của hệ mạng I và ngay cả của E/ hoặc 1*2 là một việc làm khó

khăn, ử n g dụng lý thuyết vết và các phép biến đổi tương tranh trong [7] ta sẽ tìm được hành vi tương tranh của hệ mạng hợp thành E một cách nhanh chóng. Đè làm việc này ta cần phải xác định được ngôn ngữ sinh bởi hệ £ và quan hệ tách biệt trên nó. Định lý 3.1 đã cho ta cách xây dựng nhanh ngôn ngừ sinh bởi hệ X. Trong trường hợp không xác định được chỉnh xác quan hệ tách biệt q của hệ mạng hợp thành £ thì ta sử dụng xẩp xỉ dưới qmin của nỏ. Cặp (E, q) với E = Eị u E2 là một bảng chữ cái tương tranh trên hệ mạng hợp thành E. Quan hệ nhị nguyên = trên E được xây dựng như sau:

Vw, V e E * :

u = V 3M/, u2 G E , 3(a,b) e q (hoặc qmin) : u = uịãbu2 A V = uịbau2.

Quan hệ tương đương vết = trên E được lấy là bao đóng phản xạ và bẳc cầu

của quan hệ =. Nghĩa là, = = (= ). Ngôn ngữ vết trên L(Z) sinh bởi quan hệ tương đương =, ký hiệu bời V(£), chính là hành vi tương tranh trên hệ mạng I . Mỗi vết biểu diễn một quá trình tương tranh của hệ mạng. Các thuật toán

tìm dạng chuẩn của vểí [1,7] trực tiếp từ các từ đại diện của nó sẽ cho ta dãy

các bước tương tranh cực đại trên quá trình tương ứng.

Tổng kết lại, ta có thuật toán tìm hành vi tương tranh cho hệ mạng hợp thành £ = £ / © Ĩ.2 như sau.

Thuật toán 4.1:

Dữ liệu: Hai hệ mạng I / , các ngôn ngữ L (I/), L(S2) và các quan hệ tách

biệt qh q2

Kết quả: Hành vi tương tranh V(Z) cua hệ mạng họp thành I .

Thuật toán:

1) Xây dựng ngôn ngữ L(S) = L (I/) # L ( I ? ) ;

2) Nếu không xác định đầy đủ được quan hệ tách biệt q thì chọn xấp xỉ dưới của nó qmin = q, n (£/ \ E2f u <7, n <72 u <7; n (E2 l E,Ý thay cho dưới của nó qmin = q, n (£/ \ E2f u <7, n <72 u <7; n (E2 l E,Ý thay cho

<7 ;

Một phần của tài liệu Một số ứng dụng của vết và nửa vết trong điều khiển tương tranh (Trang 29)

Tải bản đầy đủ (PDF)

(50 trang)