SCIS Selected Articles on Semi-Tensor Product
Highly Cited in 202405 REVIEW Webpage Webpage-cn SpringerLink Google Scholar Cited in SCI: 59

Survey on applications of algebraic state space theory of logical systems to finite state machines
Yan, Yongyi; Cheng, Daizhan; Feng, Jun-E.; Li, Haitao; Yue, Jumei
Sci China Inf Sci, 2023, 66(1): 111201
Keywords: Boolean control network; Boolean network; finite state machine; learning system; semi-tensor product; STP; ASST
Cite as: Yan Y Y, Cheng D Z, Feng J-E, et al. Survey on applications of algebraic state space theory of logical systems to finite state machines. Sci China Inf Sci, 2023, 66(1): 111201, doi: 10.1007/s11432-022-3538-4

SCIS Selected Articles on Semi-Tensor Product
RESEARCH PAPER Webpage Webpage-cn SpringerLink Google Scholar Cited in SCI: 27

Minimal observability of Boolean networks
Liu, Yang; Zhong, Jie; Ho, Daniel W. C.; Gui, Weihua
Sci China Inf Sci, 2022, 65(5): 152203
Keywords: boolean networks; minimal observability; semi-tensor product
Cite as: Liu Y, Zhong J, Ho D W C, et al. Minimal observability of Boolean networks. Sci China Inf Sci, 2022, 65(5): 152203, doi: 10.1007/s11432-021-3365-2

SCIS Selected Articles on Semi-Tensor Product
LETTER Supplementary Webpage Webpage-cn SpringerLink Google Scholar Cited in SCI: 19

Aggregation method to reachability and optimal control of large-size Boolean control networks
Wang, Shuling; Li, Haitao
Sci China Inf Sci, 2023, 66(7): 179202
Keywords: semi-tensor product of matrices; Boolean control networks; reachability; Mayer-type optimal control; aggregation method
Cite as: Wang S L, Li H T. Aggregation method to reachability and optimal control of large-size Boolean control networks. Sci China Inf Sci, 2023, 66(7): 179202, doi: 10.1007/s11432-021-3388-y

SCIS Selected Articles on Semi-Tensor Product
RESEARCH PAPER Webpage Webpage-cn SpringerLink Google Scholar Cited in SCI: 17

A logical network approximation to optimal control on a continuous domain and its application to HEV control
Wu, Yuhu; Zhang, Jiangyan; Shen, Tielong
Sci China Inf Sci, 2022, 65(11): 212203
Keywords: finite horizon optimal control; logical networks; semi-tensor product; quantification; HEV control
Cite as: Wu Y H, Zhang J Y, Shen T L. A logical network approximation to optimal control on a continuous domain and its application to HEV control. Sci China Inf Sci, 2022, 65(11): 212203, doi: 10.1007/s11432-021-3446-8

SCIS Selected Articles on Semi-Tensor Product
RESEARCH PAPER Webpage Webpage-cn SpringerLink Google Scholar Cited in SCI: 10

Stabilization of Boolean control networks with state-triggered impulses
Zhou, Rongpei; Guo, Yuqian; Liu, Xinzhi; Gui, Weihua
Sci China Inf Sci, 2022, 65(3): 132202
Keywords: boolean control networks; set stabilization; state-triggered impulses; hybrid-index model; semi-tensor product of matrices
Cite as: Zhou R P, Guo Y Q, Liu X Z, et al. Stabilization of Boolean control networks with state-triggered impulses. Sci China Inf Sci, 2022, 65(3): 132202, doi: 10.1007/s11432-020-3136-3

SCIS Selected Articles on Semi-Tensor Product
RESEARCH PAPER Webpage Webpage-cn SpringerLink Google Scholar Cited in SCI: 6

Observability of Galois nonlinear feedback shift registers
Kong, Wenhui; Zhong, Jianghua; Lin, Dongdai
Sci China Inf Sci, 2022, 65(9): 192206
Keywords: shift register; stream cipher; observability; Boolean network; semi-tensor product
Cite as: Kong W H, Zhong J H, Lin D D. Observability of Galois nonlinear feedback shift registers. Sci China Inf Sci, 2022, 65(9): 192206, doi: 10.1007/s11432-021-3346-6

SCIS Selected Articles on Semi-Tensor Product
RESEARCH PAPER Webpage Webpage-cn SpringerLink Google Scholar Cited in SCI: 5

Fault detectability of Boolean control networks via nonaugmented methods
Zhao, Rong; Wang, Caixia; Yu, Yongyuan; Feng, Jun-E.
Sci China Inf Sci, 2023, 66(12): 222205
Keywords: Boolean control network; fault detectability; equivalent system; nonaugmented method; semi-tensor product
Cite as: Zhao R, Wang C X, Yu Y Y, et al. Fault detectability of Boolean control networks via nonaugmented methods. Sci China Inf Sci, 2023, 66(12): 222205, doi: 10.1007/s11432-023-3787-y

SCIS Selected Articles on Semi-Tensor Product
RESEARCH PAPER Webpage Webpage-cn SpringerLink Google Scholar Cited in SCI: 4

Asymptotical stability of continuous-time probabilistic logic networks based on transition rate
Li, Zhitao; Guo, Yuqian; Gui, Weihua
Sci China Inf Sci, 2023, 66(3): 132201
Keywords: asymptotical stability; continuous-time probabilistic logic network; semi-tensor product of matrices; set stability
Cite as: Li Z T, Guo Y Q, Gui W H. Asymptotical stability of continuous-time probabilistic logic networks based on transition rate. Sci China Inf Sci, 2023, 66(3): 132201, doi: 10.1007/s11432-021-3430-7

SCIS Selected Articles on Semi-Tensor Product
LETTER Supplementary Webpage Webpage-cn SpringerLink Google Scholar Cited in SCI: 3

Further results on bilinear behavior formulation of finite state machines
Yue, Jumei; Yan, Yongyi; Chen, Zengqiang; Deng, He
Sci China Inf Sci, 2022, 65(11): 219201
Keywords: behavior formulation; finite state machines; controllability; reachability; semi-tensor product of matrices
Cite as: Yue J M, Yan Y Y, Chen Z Q, et al. Further results on bilinear behavior formulation of finite state machines. Sci China Inf Sci, 2022, 65(11): 219201, doi: 10.1007/s11432-020-3161-6

SCIS Selected Articles on Semi-Tensor Product
RESEARCH PAPER Webpage Webpage-cn SpringerLink Google Scholar Cited in SCI: 3

Results on the realization of Boolean control networks by the vertex partition method
Li, Yifeng; Zhu, Jiandong; Liu, Xuewen
Sci China Inf Sci, 2023, 66(7): 172205
Keywords: Boolean control networks; realization; semi-tensor product of matrices; vertex partition; state transition graph
Cite as: Li Y F, Zhu J D, Liu X W. Results on the realization of Boolean control networks by the vertex partition method. Sci China Inf Sci, 2023, 66(7): 172205, doi: 10.1007/s11432-022-3607-6

SCIS Selected Articles on Semi-Tensor Product
LETTER Supplementary Webpage Webpage-cn SpringerLink Google Scholar Cited in SCI: 1

Stabilization of a class of congestion games via intermittent control
Jiang, Kaichen; Wang, Jinhuan
Sci China Inf Sci, 2022, 65(4): 149203
Keywords: semi-tensor product of matrices; weighted congestion game; evolutionary dynamics; intermittent control; nash equilibrium
Cite as: Jiang K C, Wang J H. Stabilization of a class of congestion games via intermittent control. Sci China Inf Sci, 2022, 65(4): 149203, doi: 10.1007/s11432-019-3042-4

SCIS Selected Articles on Semi-Tensor Product
LETTER Webpage Webpage-cn SpringerLink Google Scholar Cited in SCI: 0

Critical observability of partially observed discrete event systems under cyber attacks
Tong, Liyun; Liang, Jinling; Liu, Yang
Sci China Inf Sci, 2024, 67(2): 129203
Keywords: critical observability; discrete event system; semi-tensor product; cyber attack; partially observed system
Cite as: Tong L Y, Liang J L, Liu Y. Critical observability of partially observed discrete event systems under cyber attacks. Sci China Inf Sci, 2024, 67(2): 129203, doi: 10.1007/s11432-022-3921-0

SCIS Selected Articles on Semi-Tensor Product
RESEARCH PAPER Webpage Webpage-cn SpringerLink Google Scholar Cited in SCI: 0

On equivalence of state-based potential games
Wu, Han; Wang, Jinhuan
Sci China Inf Sci, 2024, 67(6): 162205
Keywords: semi-tensor product of matrices; state-based potential game; verification; equivalence; state-based networked evolutionary game
Cite as: Wu H, Wang J H. On equivalence of state-based potential games. Sci China Inf Sci, 2024, 67(6): 162205, doi: 10.1007/s11432-023-3995-5

SCIS Selected Articles on Semi-Tensor Product
RESEARCH PAPER Webpage Webpage-cn SpringerLink Google Scholar Cited in SCI: 0

Nonsingularity of grain-like cascade feedback shift registers subject to fault attacks
Li, Haitao; Liu, Zhaoqi; Li, Wenrong
Sci China Inf Sci, 2024, 67(9): 192203
Keywords: grain-like cascade feedback shift register; fault attack; nonsingularity; semi-tensor product
Cite as: Li H T, Liu Z Q, Li W R. Nonsingularity of grain-like cascade feedback shift registers subject to fault attacks. Sci China Inf Sci, 2024, 67(9): 192203, doi: 10.1007/s11432-023-4044-8

SCIS Selected Articles on Semi-Tensor Product
RESEARCH PAPER Webpage Webpage-cn SpringerLink Google Scholar Cited in SCI: 0

An STP look at logical blocking of finite state machines: formulation, detection, and search
Yan, Yongyi; Hao, Penglei; Yue, Jumei; Li, Haitao; Feng, Jun-E
Sci China Inf Sci, 2024, 67(10): 202208
Keywords: semi-tensor product of matrices; STP; matrix approach; finite-valued systems; logical systems; logical networks; finite state machines
Cite as: Yan Y Y, Hao P L, Yue J M, et al. An STP look at logical blocking of finite state machines: formulation, detection, and search. Sci China Inf Sci, 2024, 67(10): 202208, doi: 10.1007/s11432-022-4124-7