Journal
INFORMATION SCIENCES
Volume 597, Issue -, Pages 253-273Publisher
ELSEVIER SCIENCE INC
DOI: 10.1016/j.ins.2022.03.003
Keywords
Spiking neural P systems; Asynchronous systems; Supervisory control; Discrete event systems
Categories
Funding
- 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
Ask authors/readers for more resources
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.
Authors
I am an author on this paper
Click your name to claim this paper and add it to your profile.
Reviews
Recommended
No Data Available