"Artificial control environment" methodology: theoretical justification and test solutions | Synapse