@article{Cheng2024, 
author = {Daizhan Cheng and Xiao Zhang and Zhengping Ji},
title = {Transition System Representation of Boolean Control Networks},
year = {2024},
journal = {Unmanned Systems},
volume = {12},
number = {2},
pages = {239-247},
keywords = {semi-tensor product of matrices, Transition system, Boolean control network},
url = {https://www.sciopen.com/article/10.1142/S2301385024410073},
doi = {10.1142/S2301385024410073},
abstract = {In this paper, we propose a transition system (TS) framework for the analysis and design of logical networks. The formula for calculating the fixed points and cycles of a TS is first provided. Then, the TS representation of Boolean networks (BNs) and Boolean control networks (BCNs) is introduced. The first kind of representation is state-based, which converts a BCN into a TS with either distinguished controls or undistinguished ones. The second representation is output-based, which is also called the simulation of the original BCN. Finally, after introducing the notion of output simulation, our method is applied to design output robust controls of logical networks.}
}