4.7 Article

Supervisory control of discrete event systems under asynchronous spiking neuron P systems

期刊

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

资金

  1. National Natural Science Foundation [61902324, 62076206, 62176216, 61872298, 11426179]
  2. Social Science Planning Project of Sichuan Province [SC20TJ020]
  3. European Unions Horizon 2020 Research and Innovation Programme under the Marie Sklodowska-Curie Grant [840922]
  4. Science and Technology Department of Sichuan Province [22ZDYF3157, 2021YFQ0008, 2019GFW131]
  5. Chengdu Science and Technology Bureau Project [2017-RK00-00026-ZF]
  6. 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.

作者

我是这篇论文的作者
点击您的名字以认领此论文并将其添加到您的个人资料中。

评论

主要评分

4.7
评分不足

次要评分

新颖性
-
重要性
-
科学严谨性
-
评价这篇论文

推荐

暂无数据
暂无数据