|
| |
|
|
Computational Model and Analysis of Self-Driven Vehicle
Gardáš, Milan ; Šimek, Václav (referee) ; Strnadel, Josef (advisor)
This thesis discusses autonomous vehicles. At first it contains describing development of these type of vehicles, how they work and discuss their future development. Further it describe tools which can be used for create model of autonomous vehicle. The thesis includes design, description of the development and testing of the model in the UPPAAL Stratego verification environment. The resulting model is a system of intercommunicating timed automata. The analysis of the model properties is based on the method of statistical verification. The model allows us to investigate behavior of an autonomous vehicle in situations which correspond to regular traffic.
|
|
|
Computational Model and Analysis of Self-Driven Vehicle
Gardáš, Milan ; Šimek, Václav (referee) ; Strnadel, Josef (advisor)
This thesis discusses autonomous vehicles. At first it contains describing development of these type of vehicles, how they work and discuss their future development. Further it describe tools which can be used for create model of autonomous vehicle. The thesis includes design, description of the development and testing of the model in the UPPAAL Stratego verification environment. The resulting model is a system of intercommunicating timed automata. The analysis of the model properties is based on the method of statistical verification. The model allows us to investigate behavior of an autonomous vehicle in situations which correspond to regular traffic.
|
|
| |
guest ::
