Media type: E-Book Title: Building bridges in abstraction-based controller synthesis : advancing, combining, and comparing methods from computer and control Other titles: Zusammenführung verschiedener Methoden im abstraktionsbasierten Reglerentwurf Contributor: Schmuck, Anne-Kathrin [Author]; Raisch, Jörg [Degree supervisor]; Raisch, Jörg [Other]; Tabuada, Paulo [Other]; Moor, Thomas [Other] Published: Berlin: Technische Universität Berlin, 2015 Extent: Online-Ressource Language: English DOI: 10.14279/depositonce-4906 Identifier: Origination: University thesis: Dissertation, Berlin, Technische Universität Berlin, 2015 Footnote: Access State: Open Access