Finite automata approach to reconstructibility of switched Boolean control networks
Zhe Gao, Biao Wang, Jun‐e Feng, Tiantian Li
Topics & Concepts
Computer scienceAutomatonControl (management)Deterministic finite automatonFinite-state machineTheoretical computer scienceAlgorithmArtificial intelligenceGene Regulatory Network AnalysisReceptor Mechanisms and SignalingFormal Methods in Verification