Hierarchical controller synthesis using (, ) -Similarity | Synapse