SCIS Selected Articles on Semi-Tensor Product (STP) - SCIENCE CHINA Information Sciences

SCIS Selected Articles on Semi-Tensor Product (STP)
Highly Cited in 202511 REVIEW Webpage Webpage-cn SpringerLink Google Scholar Cited in SCI: 105

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: 111201, doi: 10.1007/s11432-022-3538-4

SCIS Selected Articles on Semi-Tensor Product (STP)
RESEARCH PAPER Webpage Webpage-cn SpringerLink Google Scholar Cited in SCI: 44

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: 152203, doi: 10.1007/s11432-021-3365-2

SCIS Selected Articles on Semi-Tensor Product (STP)
LETTER Supplementary Webpage Webpage-cn SpringerLink Google Scholar Cited in SCI: 30

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: 179202, doi: 10.1007/s11432-021-3388-y

SCIS Selected Articles on Semi-Tensor Product (STP)
RESEARCH PAPER Webpage Webpage-cn SpringerLink Google Scholar Cited in SCI: 25

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: 212203, doi: 10.1007/s11432-021-3446-8

SCIS Selected Articles on Semi-Tensor Product (STP)
RESEARCH PAPER Webpage Webpage-cn SpringerLink Google Scholar Cited in SCI: 15

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: 132202, doi: 10.1007/s11432-020-3136-3

SCIS Selected Articles on Semi-Tensor Product (STP)
RESEARCH PAPER Webpage Webpage-cn SpringerLink Google Scholar Cited in SCI: 14

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: 192203, doi: 10.1007/s11432-023-4044-8

SCIS Selected Articles on Semi-Tensor Product (STP)
RESEARCH PAPER Webpage Webpage-cn SpringerLink Google Scholar Cited in SCI: 12

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: 192206, doi: 10.1007/s11432-021-3346-6

SCIS Selected Articles on Semi-Tensor Product (STP)
RESEARCH PAPER Webpage Webpage-cn SpringerLink Google Scholar Cited in SCI: 12

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: 222205, doi: 10.1007/s11432-023-3787-y

SCIS Selected Articles on Semi-Tensor Product (STP)
RESEARCH PAPER Webpage Webpage-cn SpringerLink Google Scholar Cited in SCI: 9

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: 132201, doi: 10.1007/s11432-021-3430-7

SCIS Selected Articles on Semi-Tensor Product (STP)
RESEARCH PAPER Webpage Webpage-cn SpringerLink Google Scholar Cited in SCI: 7

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: 172205, doi: 10.1007/s11432-022-3607-6

SCIS Selected Articles on Semi-Tensor Product (STP)
RESEARCH PAPER Webpage Webpage-cn SpringerLink Google Scholar Cited in SCI: 7

Design of zero-determinant strategies and its application to networked repeated games
Cheng, Daizhan; Li, Changxi
Sci China Inf Sci, 2024, 67(10): 202201

Keywords: finite repeated game; profile evolutionary equation; ZD strategy; networked repeated games; semi-tensor product of matrices

Cite as: Cheng D Z, Li C X. Design of zero-determinant strategies and its application to networked repeated games. Sci China Inf Sci, 2024, 67: 202201, doi: 10.1007/s11432-023-4022-6

SCIS Selected Articles on Semi-Tensor Product (STP)
LETTER Supplementary Webpage Webpage-cn SpringerLink Google Scholar Cited in SCI: 5

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: 219201, doi: 10.1007/s11432-020-3161-6

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

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: 129203, doi: 10.1007/s11432-022-3921-0

SCIS Selected Articles on Semi-Tensor Product (STP)
RESEARCH PAPER Webpage Webpage-cn SpringerLink Google Scholar Cited in SCI: 2

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: 162205, doi: 10.1007/s11432-023-3995-5

SCIS Selected Articles on Semi-Tensor Product (STP)
RESEARCH PAPER Webpage Webpage-cn SpringerLink Google Scholar Cited in SCI: 2

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: 202208, doi: 10.1007/s11432-022-4124-7

SCIS Selected Articles on Semi-Tensor Product (STP)
RESEARCH PAPER Webpage Webpage-cn SpringerLink Google Scholar Cited in SCI: 2

Cycle structure and observability of two types of Galois NFSRs
Wang, Xianghan; Zhong, Jianghua; Lin, Dongdai
Sci China Inf Sci, 2025, 68(11): 212203

Keywords: shift register; state cycle; Boolean network; semi-tensor product; observability

Cite as: Wang X H, Zhong J H, Lin D D. Cycle structure and observability of two types of Galois NFSRs. Sci China Inf Sci, 2025, 68: 212203, doi: 10.1007/s11432-024-4364-4

SCIS Selected Articles on Semi-Tensor Product (STP)
RESEARCH PAPER Webpage Webpage-cn SpringerLink Google Scholar Cited in SCI: 2

Design of generalized zero-determinant strategies in time-variant game environment
Wang, Yuanhua; Zhang, Qiutong; Wang, Ying; Li, Haitao
Sci China Inf Sci, 2026, 69(1): 112205

Keywords: repeated game; generalized zero-determinant strategies; time-variant environment; group-based method; semi-tensor product

Cite as: Wang Y H, Zhang Q T, Wang Y, et al. Design of generalized zero-determinant strategies in time-variant game environment. Sci China Inf Sci, 2026, 69: 112205, doi: 10.1007/s11432-024-4561-0

SCIS Selected Articles on Semi-Tensor Product (STP)
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: 149203, doi: 10.1007/s11432-019-3042-4

SCIS Selected Articles on Semi-Tensor Product (STP)
RESEARCH PAPER Webpage Webpage-cn SpringerLink Google Scholar Cited in SCI: 1

On control networks over finite lattices
Ji, Zhengping; Cheng, Daizhan
Sci China Inf Sci, 2025, 68(9): 192201

Keywords: multiple-valued control networks; semi-tensor product of matrices; finite lattices; system realization; constraint satisfaction problems

Cite as: Ji Z P, Cheng D Z. On control networks over finite lattices. Sci China Inf Sci, 2025, 68: 192201, doi: 10.1007/s11432-024-4252-7

Special Topic: Logical System Control
SCIS Selected Articles on Semi-Tensor Product (STP)
RESEARCH PAPER Webpage Webpage-cn SpringerLink Google Scholar Cited in SCI: 1

Semi-tensor product-based convolutional neural network
Cheng, Daizhan; Zhang, Xiao
Sci China Inf Sci, 2026, 69(4): 140201

Keywords: semi-tensor product; domain-based convolution; convolutional neural network; irregular image; higher-order signal identification

Cite as: Cheng D Z, Zhang X. Semi-tensor product-based convolutional neural network. Sci China Inf Sci, 2026, 69: 140201, doi: 10.1007/s11432-025-4734-4

Special Topic: Logical System Control
SCIS Selected Articles on Semi-Tensor Product (STP)
RESEARCH PAPER Webpage Webpage-cn SpringerLink Google Scholar Cited in SCI: 0

A dimension-keeping semi-tensor product framework for compressed sensing
Qi, Qi; Tayebi, Abdelhamid; Cheng, Daizhan; Feng, Jun-E.
Sci China Inf Sci, 2026, 69(4): 140204

Keywords: compressed sensing; semi-tensor product; dimension-keeping semi-tensor product; image reconstruction; noise reduction

Cite as: Qi Q, Tayebi A, Cheng D Z, et al. A dimension-keeping semi-tensor product framework for compressed sensing. Sci China Inf Sci, 2026, 69: 140204, doi: 10.1007/s11432-025-4825-9

Special Topic: Logical System Control
SCIS Selected Articles on Semi-Tensor Product (STP)
LETTER Supplementary Webpage Webpage-cn SpringerLink Google Scholar Cited in SCI: 0

Communication and control co-design for heterogeneous industrial IoT over state- dependent Markov fading channels
Wang, Shuling; Zhu, Shanying; Chen, Cailian; Guan, Xinping
Sci China Inf Sci, 2026, 69(4): 140206

Keywords: stochastic switched system; mean-square stability; semi-tensor product of matrices; vector representation of logic; state-dependent Markov fading channel

Cite as: Wang S L, Zhu S Y, Chen C L, et al. Communication and control co-design for heterogeneous industrial IoT over state- dependent Markov fading channels. Sci China Inf Sci, 2026, 69: 140206, doi: 10.1007/s11432-025-4768-9

Special Topic: Logical System Control
SCIS Selected Articles on Semi-Tensor Product (STP)
LETTER Supplementary Webpage Webpage-cn SpringerLink Google Scholar Cited in SCI: 0

Algebraic expressions for stochastic dynamics in populations: from strategy profile to aggregate state
Chai, Yingying; Jiang, Chunfeng; Gao, Jinwu; Wu, Yuhu; Del Vecchio, Carmen
Sci China Inf Sci, 2026, 69(4): 140208

Keywords: stochastic dynamics; semi-tensor product; population game; algebraic expression; aggregation

Cite as: Chai Y Y, Jiang C F, Gao J W, et al. Algebraic expressions for stochastic dynamics in populations: from strategy profile to aggregate state. Sci China Inf Sci, 2026, 69: 140208, doi: 10.1007/s11432-025-4832-7

Special Topic: Logical System Control
SCIS Selected Articles on Semi-Tensor Product (STP)
LETTER Supplementary Webpage Webpage-cn SpringerLink Google Scholar Cited in SCI: 0

Equilibrium existence and convergence of congestion games with stochastic disturbances
Fu, Shihua; Wang, Jianjun; Wang, Zhiru; Del Vecchio, Carmen; Zhao, Jianli
Sci China Inf Sci, 2026, 69(4): 140209

Keywords: Nash equilibrium; congestion games; stochastic disturbances; convergence; semi-tensor product of matrices

Cite as: Fu S H, Wang J J, Wang Z R, et al. Equilibrium existence and convergence of congestion games with stochastic disturbances. Sci China Inf Sci, 2026, 69: 140209, doi: 10.1007/s11432-025-4798-y

Special Topic: Logical System Control
SCIS Selected Articles on Semi-Tensor Product (STP)
LETTER Supplementary Webpage Webpage-cn SpringerLink Google Scholar Cited in SCI: 0

A Boolean algebra approach for the disturbance decoupling problem of large-scale Boolean control networks
Li, Yifeng; Wan, Xueqin; Li, Jueyou; Leong, Wah June
Sci China Inf Sci, 2026, 69(4): 140210

Keywords: Boolean control networks; semi-tensor product of matrices; disturbance decoupling; Boolean algebra; Karnaugh map

Cite as: Li Y F, Wan X Q, Li J Y, et al. A Boolean algebra approach for the disturbance decoupling problem of large-scale Boolean control networks. Sci China Inf Sci, 2026, 69: 140210, doi: 10.1007/s11432-025-4799-y

Special Topic: Logical System Control
SCIS Selected Articles on Semi-Tensor Product (STP)
LETTER Webpage Webpage-cn SpringerLink Google Scholar Cited in SCI: 0

STP-based sensor attack-resilient supervisory control of logical finite state machines with encrypted channel
Zhang, Zhipeng; Wang, Aocheng; Xia, Chengyi
Sci China Inf Sci, 2026, 69(4): 140212

Keywords: semi-tensor product; logical dynamic system; state estimation; logical system control; sensor attack

Cite as: Zhang Z P, Wang A C, Xia C Y. STP-based sensor attack-resilient supervisory control of logical finite state machines with encrypted channel. Sci China Inf Sci, 2026, 69: 140212, doi: 10.1007/s11432-025-4778-5

Special Topic: Logical System Control
SCIS Selected Articles on Semi-Tensor Product (STP)
LETTER Supplementary Webpage Webpage-cn SpringerLink Google Scholar Cited in SCI: 0

Optimal control of smart grids based on weighted network congestion games with time delay via state-flipped control
Zhao, Guodong; Song, Ranran; Zhang, Huanjun
Sci China Inf Sci, 2026, 69(4): 140214

Keywords: potential game; semi-tensor product of matrices; stability; stabilization; evolutionary game

Cite as: Zhao G D, Song R R, Zhang H J. Optimal control of smart grids based on weighted network congestion games with time delay via state-flipped control. Sci China Inf Sci, 2026, 69: 140214, doi: 10.1007/s11432-025-4794-9

Special Topic: Logical System Control
SCIS Selected Articles on Semi-Tensor Product (STP)
LETTER Supplementary Webpage Webpage-cn SpringerLink Google Scholar Cited in SCI: 0

Finite-time stability of stochastic block logical dynamical systems and its application
Kong, Xiangshan; Pan, Jinfeng; Che, Haitao; Cao, Kaikai
Sci China Inf Sci, 2026, 69(4): 140215

Keywords: stochastic block logical dynamical systems; time delay; stability; semi-tensor product; law of total expectation

Cite as: Kong X S, Pan J F, Che H T, et al. Finite-time stability of stochastic block logical dynamical systems and its application. Sci China Inf Sci, 2026, 69: 140215, doi: 10.1007/s11432-025-4731-0