Affiliation:
1. Academy of Artificial Intelligence & Hydrogen Energy Research Centre Beijing Institute of Petrochemical Technology Beijing China
2. School of Automation Central South University Changsha China
Abstract
AbstractThis paper investigates bisimulation relations of delayed switched Boolean control networks (DSBCNs), using the semi‐tensor product (STP) approach. Firstly, the notion of bisimulation in DSBCNs is formalized. Subsequently, based on the skeleton matrix of DSBCN, two necessary and sufficient conditions are derived for checking this notion. Moreover, as an application of bisimulation relations, this paper explores the propagation of controllability for DSBCNs through a bisimulation relation. It shows the possibility that the controllability of a DSBCN can be inferred by studying a potentially simpler DSBCN. At last, two examples are proposed to illustrate the efficiency of the obtained results.
Funder
Beijing Municipal Commission of Education
National Natural Science Foundation of China
Publisher
Institution of Engineering and Technology (IET)
Subject
Electrical and Electronic Engineering,Control and Optimization,Computer Science Applications,Human-Computer Interaction,Control and Systems Engineering