blue
Seminal work by Cheng et al. on an algebraic state space representation (ASSR) of Boolean networks, based on semi-tensor product (STP) [1]}, stimulated an avalanche of research on such networks, including controllability [2]}, [3]}, [4]}, [5]}.
However, ASSR linearises logical functions by enumerating their state spaces, hence it is model-based, and such methods require estimating \(2^N \times 2^N\)  probabilities, which quickly becomes intractable for a large number of nodes \(N\) .
