tailieunhanh - Điều khiển sử dụng đại số gia tử.

Điều khiển sử dụng đại số gia tử. Nhiều khái niệm của những lĩnh vực này như độ phức tạp, sự tự tổ chức, tự sản sinh, sự tự lập, mạng, sự thích nghi, được đưa ra bởi chính những nhà điều khiển học. Những nguyên lý quan trọng khác của điều khiển học tuy có vẻ đã bị quên lãng nhưng thực ra định kỳ được phát hiện hoặc sáng tạo lại trong những lĩnh vực khác nhau. | Tạp chí Tin học và Điều khiền học 2005 84--90 BÀI TOÁN ĐÍÊU KHIỂN TRÊN CÁC HỆ ĐÍÊU kiện - BIEN cố CÓ TÍNH THỜI GIAN HOÀNG CHÍ THÀNH1 PHẠM XUÂN ĐổNG2 1 Trường -Đại học Khoa học tụ nhiên Hà Nội 2 Trường -Đại học Thủy lợi Hà Nội Abstract. In this paper we represent and solve the Control problem on Timed Condition Event systems by proposing a concurent composition. We also show that some important characteristics of the system such as the safeness the cyclicness and the aliveness of Timed Condition Event Systems are predetermined and preserved by the controller. Tóm tắt. Bài báo dề xuất một phép hợp thành tương tranh để giải bài toán điều khiển trên các hệ điều kiện - biến cố có tính thời gian. Đồng thời cũng chỉ ra rang các tính chất quan trọng của hệ thống như an toàn chu trình và sống là các tính chất định trước được bảo toàn qua phép điều khiển này. 1. MỞ ĐẦU Nghiên cứu phân tích thiết kế điều khiển các hệ thống tương tranh và ứng dụng của chúng đang là vấn đề được nhiều người quan tâm. Cơ sở chính cho các bài toán phân tích thiết kế và điều khiển là phép hợp thành tương tranh. Bài toán điều khiển trên các hệ tương tranh đã được L. Alfaro T. A. Henzinger và F. Y. c. Mang hình thức hóa trong CONCUR 2000 2 như sau Với một hệ tương tranh Ni đã cho hãy tìm hệ tương tranh J í sao cho hệ hợp thành Ní ll-A thỏa mãn các tính chất định trước. Hệ tương tranh cần tìm J í nếu có được gọi là hệ điều khiển controller . Hiển nhiên nghiệm của bài toán điều khiển phụ thuộc rất nhiều vào mô hình biểu diln của hệ tương tranh và phép toán hợp thành. Bài này trình bày việc giải quyết bài toán điều khiển trên các hệ điều kiện - biến cố có tính thời gian một trong các mô hình phổ dụng thường được sử dụng để mô hình hóa các hệ phân bố thời gian thực đồng thời cũng chỉ ra rằng các tính chất an toàn chu trình và sống của các hệ điều kiện - biến cố có tính thời gian được bảo toàn qua phép điều khiển. 2. HỆ ĐIÊU KIỆN - BIỂN cố CÓ TÍNH THỜI GIAN Hệ điều kiện - biến cố có tính thời .