Science China Information Sciences · 2022 · 131 citations · 76 references
ComputingComputer ScienceComputer SystemsAlgebraFormal MethodsTheory Of ComputationAutomata TheoryFinite AutomataFinite-state MachinesModel CheckingState-space ModelsState-space RepresentationFinite State Machine VerificationFinite-state ProcessesFinite-state VerificationLogical SemanticsState MachinesSymbolic State RepresentationSymbolic Verification
76
Controllability and observability of Boolean control networks
Daizhan Cheng, Hongsheng Qi · Automatica · 2009 · 779 citations