Print Email Facebook Twitter Symbolic models for braking systems Title Symbolic models for braking systems Author Kekatos, N. Contributor Mazo Espinosa, M. (mentor) Tiberi, U. (mentor) Faculty Mechanical, Maritime and Materials Engineering Department Delft Center for Systems and Control Date 2015-02-18 Subject braking systemsautonomous vehiclescorrect-by-design control synthesisformal methodsparametric verification To reference this document use: http://resolver.tudelft.nl/uuid:34715e20-09a7-4d13-9ed7-8f86b330cb0d Part of collection Student theses Document type master thesis Rights (c) 2015 Kekatos, N. Files PDF MSc_Thesis_Kekatos.pdf 5.49 MB Close viewer /islandora/object/uuid:34715e20-09a7-4d13-9ed7-8f86b330cb0d/datastream/OBJ/view