Modeling and analysis of networked finite state machine subject to random communication losses

In networked control systems, channel packet loss is inevitable due to the restricted bandwidth, especially in control (from supervisory controller to some remote actuators), which will lead to the occurrence of failure control. In this paper, the controllability of networked finite state machine (NFSM) is investigated within the framework of matrix semi-tensor product (STP), where random channel packet losses are considered. Firstly, to capture the transition dynamics under random packet losses in the control channel, we introduce a stochastic variable to estimate the state evolution, and the variable is assumed to obey the Bernoulli binary distribution. Meanwhile, the NFSM with random channel packet losses can be expressed as a probabilistic logic representation. Subsequently, by means of the delicate operation of matrix STP, some concise validation conditions for the controllability with a probability of one ( $w.p.$ 1), are derived for NFSM based on the probabilistic logic representation. Finally, a typical computing instance is used to demonstrate the validity of the proposed method. The conclusions are conducive to study the security issues of the system involving opacity, fault detection, controller design and so on.