Output Trackability of Boolean Control Networks via Ledley Antecedence Solution
Yuanhua Wang, Haitao Li
Abstract
The Ledley solution method is applied to analysis and control design of output trackability of Boolean control networks (BCNs) in this brief. By constructing the maximal control invariant set with respect to a defined state set, the output tracking problem is converted into a set stabilization problem and a corresponding condition for verifying solvability is obtained. Then an effective algorithm is provided to design the optimal state feedback controllers. Finally, we give an illustrated example.
Topics & Concepts
Set (abstract data type)State (computer science)Control (management)Computer scienceInvariant (physics)Boolean networkBoolean functionMathematical optimizationMathematicsControl theory (sociology)AlgorithmArtificial intelligenceProgramming languageMathematical physicsGene Regulatory Network AnalysisAdvanced Control Systems OptimizationFormal Methods in Verification