Toward a modeling and analysis method of cyber-physical systems architecture evolution based on bigraph.

 0 Người đánh giá. Xếp hạng trung bình 0

Tác giả: Chaoze Lu, Jianchao Zhou, Qifeng Zou

Ngôn ngữ: eng

Ký hiệu phân loại:

Thông tin xuất bản: England : Scientific reports , 2025

Mô tả vật lý:

Bộ sưu tập: NCBI

ID: 711728

The evolution of cyber-physical systems (CPS) is inevitable. Traditional graph and hypergraph modeling and analysis methods can only describe one-dimensional evolutionary information, making it difficult to directly apply them to the modeling and analysis of CPS evolution processes that involve two-dimensional space. To address this issue, this paper proposes a Bigraph model for CPS that incorporates positional constraints. This model adopts a divide-and-conquer strategy, utilizing the link graph and place graph of Bigraph to represent the two-dimensional relationships of connectivity and positional relationships among entities within the CPS, respectively. Based on this model, a set of dynamic evolution rules for CPS architecture is designed. Furthermore, by leveraging the concepts of conditional matching and state transition, a model for the dynamic evolution of CPS structure and information flow evolution is proposed. Algorithms for checking consistency, integrity, and reachability constraints during the dynamic evolution of CPS architecture are developed around this model. These algorithms ensure the correctness and reliability of the CPS system after its dynamic evolution. Finally, experiments are conducted using the evolution of a smart meeting system and a vehicular networking system as case studies, validating the effectiveness of the proposed model and algorithms.
Tạo bộ sưu tập với mã QR

THƯ VIỆN - TRƯỜNG ĐẠI HỌC CÔNG NGHỆ TP.HCM

ĐT: (028) 36225755 | Email: tt.thuvien@hutech.edu.vn

Copyright @2024 THƯ VIỆN HUTECH