related documents From dissipativity theory to compositional synthesis of symbolic models Conference Proceeding
