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 systems
autonomous vehicles
correct-by-design control synthesis
formal methods
parametric 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.