STP is a generalization of traditional matrix product, and it has been successfully applied to Boolean networks [1]}, finite games [2]} and finite automaton [3]}. Recently, STP has been applied to LDS. A control Lyapunov function approach to feedback stabilization of logical control networks is proposed in [4]}. Event-triggered control of LDS is studied in [5]}, [6]}. Controllability and observability of LDSs are considered in [7]}. Optimal control of LDS is investigated using STP in [8]}.
