Print Email Facebook Twitter LTL specifications for Highway Lane Changing Maneuvers of Highly Automated Vehicles Title LTL specifications for Highway Lane Changing Maneuvers of Highly Automated Vehicles Author Kuhlmann, K.S. Contributor Mazo Espinosa, M. (mentor) Faculty Mechanical, Maritime and Materials Engineering Department DCSC Programme Control Engineering Date 2014-12-11 Abstract Since the interest in autonomous driving solutions is massively increasing, the need for good and reliable control algorithms is growing every day. This project studies the performance of safe lane changes of a highly autonomous vehicle given the currently available perception of the environment, vehicle dynamics and desired comfort and speed requirements from the user. Also focus will be on when the vehicle decides to overtake other vehicles to move closer to its desired prescribed speed, while respecting the "rules of the road", i.e. not causing unexpected actions in relation to the other road participants. These requirements will then be converted into linear temporal logic statements for the purpose of automated synthesis of a receding horizon controller for longitudinal and lateral control of the vehicle. Thereby allowing it to make adjustments to the desired system behavior and computing a new control strategy, relatively easy and by definition, the resulting controller is formally guaranteed to meet the safety specifications at all times. Besides this search for formal specifications, a comparison is made with more conventional control techniques by reviewing a model predictive controller that was developed parallel to this project, showing its capabilities and discussing possible safety issues. Subject LTLautonomous carDAVIlinear temporal logic To reference this document use: http://resolver.tudelft.nl/uuid:561afc99-ccb6-49fa-813e-5aa751e1a55d Embargo date 2014-12-11 Part of collection Student theses Document type master thesis Rights (c) 2014 Kuhlmann, K.S. Files PDF mscThesis.pdf 20.67 MB Close viewer /islandora/object/uuid:561afc99-ccb6-49fa-813e-5aa751e1a55d/datastream/OBJ/view