Automatica · 2014 · 113 citations · 25 references
Circuit ComplexityEngineeringBoolean FunctionAutomated ReasoningNetworked ControlSystem DecompositionIntelligent ControlComputer EngineeringFormal MethodsSystems EngineeringComputer ScienceIntelligent SystemsControl ArchitectureFormal Verification
25
Controllability and observability of Boolean control networks
Daizhan Cheng, Hongsheng Qi · Automatica · 2009 · 772 citations
Dynamical analysis of a generic Boolean model for the control of the mammalian cell cycle
Adrien Fauré, Aurélien Naldi, Claudine Chaouiya et al. · Bioinformatics · 2006 · 660 citations · Full text