Automatica · 2013 · 59 citations · 20 references
ComputingComputer ScienceKnowledge RepresentationLogicSet TheoryBoolean AlgebraBoolean OperationsDescription LogicsFunctional DecompositionPredicate LogicBoolean Function RepresentationFunction DecompositionLogic Decomposition
20
Controllability and observability of Boolean control networks
Daizhan Cheng, Hongsheng Qi · Automatica · 2009 · 779 citations
Discrete and switching functions.
Mathematics and Computers in Simulation · 1979 · 295 citations