Disturbance Decoupling of Boolean Control Networks 论文

2010IEEE Transactions on Automatic Control引用 297
Gene Regulatory Network AnalysisAdvanced Control Systems OptimizationFormal Methods in Verification

摘要

Disturbance decoupling problem (DDP) of Boolean control networks is considered. Using semi-tensor product of matrices and the matrix expression of logical functions, a working procedure is proposed to solve the problem. This procedure consists of two key design steps. First, how to convert a system into an output-friendly coordinate frame. An algorithm is provided to calculate the output-friendly subspaces. Secondly, it was shown how to find proper controllers to solve the problem if it is solvable. A state variable separation form is introduced to guide the design of controllers. Based on the design technique, necessary and sufficient conditions are obtained for the solvability of DDP.