Home > Search Results: Holec, Dominik
Search:
Search Tips :: Advanced Search
Search collections:
Sort by: Display results: Output format:
National Repository of Grey Literature 2 records found  Search took 0.00 seconds. 
Modelling and Analysis of Impacts of ABS to Behavior of Vehicle
 Holec, Dominik ; Šimek, Václav (referee) ; Strnadel, Josef (advisor)
Bachelor thesis discusses the ABS braking system and its influence on the braking distance of the vehicle. The thesis includes design, description of the development and testing of the model in the UPPAAL 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 in particular the course and the length of the braking track. Other variables affecting the behavior of the model that can be tracked are skidding, friction coefficient, air resistance, braking force and vehicle speed. It is also possible to obtain the probability of the vehicle stopping within a certain distance under the chosen conditions and examine the impact of ABS on these results.
Detailed record
Modelling and Analysis of Impacts of ABS to Behavior of Vehicle
 Holec, Dominik ; Šimek, Václav (referee) ; Strnadel, Josef (advisor)
Bachelor thesis discusses the ABS braking system and its influence on the braking distance of the vehicle. The thesis includes design, description of the development and testing of the model in the UPPAAL 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 in particular the course and the length of the braking track. Other variables affecting the behavior of the model that can be tracked are skidding, friction coefficient, air resistance, braking force and vehicle speed. It is also possible to obtain the probability of the vehicle stopping within a certain distance under the chosen conditions and examine the impact of ABS on these results.
Detailed record

See also: similar author names
1 Holec, David
Interested in being notified about new results for this query?
Subscribe to the RSS feed.
Digital Repository :: Search :: Submit :: Personalize :: Help
Powered by Invenio v1.1.2
Maintained by admin.invenio@techlib.cz
This site is also available in the following languages:
Česky  English