|
|
Computational Model and Analysis of Adaptive Traffic Lights
Terbr, Filip ; Šimek, Václav (referee) ; Strnadel, Josef (advisor)
This thesis deals with the topic of adaptive intersections and the study of their influence on the flow of traffic and others. The work contains an analysis of currently used traffic detectors, an analysis of the main problems of classic intersections and the possibilities of their solution, followed by the design of the model, a description of the implementation and testing of the created model. The resulting model is created in the UPPAAL SMC software and is a system of timed automata communicating with each other. Testing is performed by comparing the results of tests of classical traffic lights with the results of adaptive traffic lights.
|
|
|
Modeling and Analysis of Self-Parking Vehicle Control
Krucina, Marek ; Šimek, Václav (referee) ; Strnadel, Josef (advisor)
This bachelor thesis deals with self-parking vehicles and their behavior. It describes the levels of parking automation and related technologies. It describes the kinematic model of the vehicle and various ways of representing movement. It summarizes the basic modeling tools and focuses mainly on the UPPAAL SMC tool, in which a model of a self-parking vehicle and its surroundings is subsequently created. Its implementation is described in the work. At the end of the work, the created model is analyzed by using the method of statistical model checking of the model and then examines the effect of traffic density.
|
|
|
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.
|
|
|
Modeling and Analysis of Self-Parking Vehicle Control
Krucina, Marek ; Šimek, Václav (referee) ; Strnadel, Josef (advisor)
This bachelor thesis deals with self-parking vehicles and their behavior. It describes the levels of parking automation and related technologies. It describes the kinematic model of the vehicle and various ways of representing movement. It summarizes the basic modeling tools and focuses mainly on the UPPAAL SMC tool, in which a model of a self-parking vehicle and its surroundings is subsequently created. Its implementation is described in the work. At the end of the work, the created model is analyzed by using the method of statistical model checking of the model and then examines the effect of traffic density.
|
|
|
Computational Model and Analysis of Adaptive Traffic Lights
Terbr, Filip ; Šimek, Václav (referee) ; Strnadel, Josef (advisor)
This thesis deals with the topic of adaptive intersections and the study of their influence on the flow of traffic and others. The work contains an analysis of currently used traffic detectors, an analysis of the main problems of classic intersections and the possibilities of their solution, followed by the design of the model, a description of the implementation and testing of the created model. The resulting model is created in the UPPAAL SMC software and is a system of timed automata communicating with each other. Testing is performed by comparing the results of tests of classical traffic lights with the results of adaptive traffic lights.
|
|
|
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 ::
