期刊
INFORMATION SCIENCES
卷 597, 期 -, 页码 253-273出版社
ELSEVIER SCIENCE INC
DOI: 10.1016/j.ins.2022.03.003
关键词
Spiking neural P systems; Asynchronous systems; Supervisory control; Discrete event systems
资金
- National Natural Science Foundation [61902324, 62076206, 62176216, 61872298, 11426179]
- Social Science Planning Project of Sichuan Province [SC20TJ020]
- European Unions Horizon 2020 Research and Innovation Programme under the Marie Sklodowska-Curie Grant [840922]
- Science and Technology Department of Sichuan Province [22ZDYF3157, 2021YFQ0008, 2019GFW131]
- Chengdu Science and Technology Bureau Project [2017-RK00-00026-ZF]
- Xihua University
This paper extends the formalization of vector-SNP by introducing feature vectors and proposes neuron mutual exclusion inequality constraints (NMEICS) for supervisory control. A supervisor construct algorithm based on linear algebraic calculations is established. Experimental results show successful implementation on an automated manufacturing system.
Asynchronous spiking neural P systems with multiple channels (SNP systems) operate in an asynchronous pattern, in which the firing of enabled rules is not obligatory. Asynchronous models are one of the most potential research carriers of supervisory control. However, a systematic understanding and process of leveraging SNPs to address control issues in discrete event systems are still lacking. This paper extends a type of SNP formalization, called vector-SNP, to explore the system's intrinsic stability properties without configuration attention by introducing two classes of structural feature vectors: N invariants and R-invariants. Then, a typical style of specifications, namely neuron mutual exclusion inequality constraints (NMEICS), is advanced for supervisory control using SNPs. An NMEIC is enforced by explicitly adding a supervisor (group of observation and control monitors represented by SNPs) to an SNP system. On top of that, the supervisor construct algorithm that utilizes the linear algebraic calculations is established to obtain the supervisors for pre-designed control constraints. Finally, we evaluate the proposed supervisory control theory using SNPs on an automated manufacturing system. Experimental results achieve maximally permissive controlled behaviors that reserve all feasible legal states. (c) 2022 Elsevier Inc. All rights reserved.
作者
我是这篇论文的作者
点击您的名字以认领此论文并将其添加到您的个人资料中。
推荐
暂无数据