Lý thuyết điều khiển giám sát mô tả hành vi của các hệ thống động thông qua chuỗi các sự kiện rời rạc và được ứng dụng rộng rãi trong các hệ thống sản xuất và vận tải. Tuy nhiên, việc thiết kế bộ điều khiển cho các hệ thống quy mô lớn gặp nhiều khó khăn do sự tăng trưởng theo cấp số nhân của các mô hình đồng bộ, khiến các phương pháp nguyên khối trở nên tốn kém về mặt tính toán. Mặc dù các phương pháp phân cấp và mô-đun giúp giảm độ phức tạp, nhưng các phương pháp hiện có chủ yếu tập trung vào các hành vi trong thời gian hữu hạn. Công trình này phát triển một phương pháp điều khiển phân cấp và mô-đun cho các hành vi trong thời gian vô hạn (ngôn ngữ ω) dựa trên sự trừu tượng hóa. Phương pháp được đề xuất cho phép tổng hợp bộ điều khiển hiệu quả cho các hệ thống quy mô lớn đồng thời giảm đáng kể nỗ lực tính toán.

Abstract:

Supervisory Control Theory describes the behavior of dynamical systems through sequences of discrete events and is widely applied in production and transportation systems. However, controller design for large-scale systems is challenging due to the exponential growth of synchronous models, making monolithic approaches computationally expensive. Although hierarchical and modular methods help reduce complexity, existing approaches mainly focus on finite-time behaviors. This work develops a hierarchical and modular control approach for infinite-time behaviors (ω-languages) based on abstraction. The proposed method enables efficient controller synthesis for large-scale systems while significantly reducing computational effort.

Ngôn ngữ:	eng
Tác giả:	Agethen, Christine
Thông tin nhan đề:	A Hierarchical Control Architecture for ω-Languages
Nhà xuất bản:	FAU University Press
Loại hình:	Tài nguyên giáo dục mở / Bộ sưu tập: Kỹ thuật điều khiển - Tự động hóa
Bản quyền:	https://creativecommons.org/licenses/by-nc-nd/3.0
Nguồn gốc:	https://library.oapen.org/handle/20.500.12657/105783
Mô tả vật lý:	119p.
Năm xuất bản:	2017