jointly supported by the National Natural Science Foundation of China under Grant Nos.62103178,61873284 and 61321003;NSERC Canada。
This study investigates finite-time observability of probabilistic logical control systems(PLCSs)under three definitions(i.e.,finite-time observability with probability one,finite-time singleinput sequence observabili...
supported by the National Natural Science Foundation of China under Grant Nos.61074068,61034007,61174036;the Research Fund for the Taishan Scholar Project of Shandong Province of China;the Natural Science Foundation of Shandong Province under Grant No.ZR2010FM013
This paper addresses the teachability/controllability of high order mix-valued logical control networks by using the semi-tensor product method, and presents some necessary and sufficient conditions for the reachabili...
In this paper, we study some results of extended timed event graph (ETEG)by using graph theory's methods in the dioid framework. A necessary and sufficient con-dition for the observability of ETEG is obtained and ETEG...