Since 2008, STP has been used to formulate and analyze Boolean networks as well as general logical dynamic systems, and to solve control problems for those systems. It has then been developed rapidly. This is witnessed by hundreds of research papers. A multitude of applications of STP include (i) logical dynamic systems [1]}, [2]}, [3]}; (ii) systems biology [4]}, [5]}; (iii) graph theory and formation control [6]}, [7]}; (iv) circuit design and failure detection [8]}, [9]}, [10]};
(v) game theory [11]}, [12]}, [13]}; (vi) finite
automata and symbolic dynamics [14]}, [15]}, [16]}; (vii) coding and cryptography
[17]}, [18]}; (viii) fuzzy control [19]}, [20]}; (ix) some engineering applications [21]}, [22]}; and many other topics [23]}, [24]}, [25]}, [26]}, [27]}, [28]}; just to name a few.
