Login / Signup

Modeling and reliability verification of industrial control network protocol based on time state transition matrix.

Jie WangXintao WuGang HouPengfei LiAo GaoZhichao ChenHaoyu Gao
Published in: Int. J. Commun. Syst. (2022)
Keyphrases
  • transition matrix
  • markov chain
  • state space
  • control system
  • real time
  • search algorithm
  • formal verification
  • control policy