|
|
Autonomous Control of Cars
Čurda, Vojtěch ; Bidlo, Michal (referee) ; Strnadel, Josef (advisor)
The purpose of this bachelor's thesis is to create a model of a self-driving vehicle, along with its surroundings. At first, the thesis outlines the vehicle automation and the system modeling problematics. The thesis then shows the design of said model, as well as its implementation. The model was implemented in UPPAAL Stratego - a tool that is used for modeling, validation and verification of real-time systems, in which the model is implemented as networks of timed automata. The result is a model of a self-driving vehicle, that can drive itself on a motorway with an arbitrary amount of traffic lanes. The self-driving vehicle reacts appropriately to the movement of other vehicles on the motorway and can change its speed according to speed limiting traffic signs. The behaviour of the model is then validated with the help of statistical analysis, which is done using the verification language embedded in the mentioned tool. The model is tested in specific scenarios, as well as random scenarios, where the self-driving vehicle is set into a regular traffic.
|
|
|
Demonstration of Marked Graphs Features
Horák, Michal ; Kočí, Radek (referee) ; Janoušek, Vladimír (advisor)
This thesis presents Petri nets as a modelling tool, defines their features and subclasses, including marked graphs. The goal of this paper is to inspect the features of Petri nets by analyzing their state space. As the output of this thesis, a tool for analyzing the features will be designed and implemented, with potential to extend the usability of Petri nets.
|
|
|
Agile Model Editor
Zavadil, Michal ; Pavela, Jiří (referee) ; Rogalewicz, Adam (advisor)
Cílem této práce je zjednodušit tvorbu a modifikaci komplexních modelů systémů a také vytvořit spolehlivý a výkonný nástroj, který je schopen splnit tento účel. Vnitřní datový model editoru je navržen s důrazem na efektivitu a vyhnutím se redundanci. Výsledný editor, který je vytvořen pro podporu modelování v OPM (Object-Process Methodology), je implementován s pomocí webových technologií, především s knihovnou pro tvorbu diagramů na webu, Cytoscape.js. Editor je schopný automaticky propagovat vazby do dalších diagramů a také odvozovat nové vazby od existujících, což šetří čas a ulehčuje proces modelování.
|
|
|
Schedulability Analysis of Real-Time Tasks under Uncertainty
Rosecký, Richard ; Bidlo, Michal (referee) ; Strnadel, Josef (advisor)
The goal of this thesis is to design and create a model of a real time system and several task sets for this system, to analyse and verify the created model and sets and to apprise the concept of real time systems and the schedulability of tasks in these systems. The tool UPPAAL will be used to create the model and it will include an abstraction of a task, scheduler and scheduling algorithms. It will be possible to simulate and verify sets of periodic, sporadic, and aperiodic tasks in combination with various scheduling algorithms such as FIFO, DMA, RMA, EDF or Round Robin.
|
|
|
Agile Model Editor
Zavadil, Michal ; Pavela, Jiří (referee) ; Rogalewicz, Adam (advisor)
Cílem této práce je zjednodušit tvorbu a modifikaci komplexních modelů systémů a také vytvořit spolehlivý a výkonný nástroj, který je schopen splnit tento účel. Vnitřní datový model editoru je navržen s důrazem na efektivitu a vyhnutím se redundanci. Výsledný editor, který je vytvořen pro podporu modelování v OPM (Object-Process Methodology), je implementován s pomocí webových technologií, především s knihovnou pro tvorbu diagramů na webu, Cytoscape.js. Editor je schopný automaticky propagovat vazby do dalších diagramů a také odvozovat nové vazby od existujících, což šetří čas a ulehčuje proces modelování.
|
|
|
Autonomous Control of Cars
Čurda, Vojtěch ; Bidlo, Michal (referee) ; Strnadel, Josef (advisor)
The purpose of this bachelor's thesis is to create a model of a self-driving vehicle, along with its surroundings. At first, the thesis outlines the vehicle automation and the system modeling problematics. The thesis then shows the design of said model, as well as its implementation. The model was implemented in UPPAAL Stratego - a tool that is used for modeling, validation and verification of real-time systems, in which the model is implemented as networks of timed automata. The result is a model of a self-driving vehicle, that can drive itself on a motorway with an arbitrary amount of traffic lanes. The self-driving vehicle reacts appropriately to the movement of other vehicles on the motorway and can change its speed according to speed limiting traffic signs. The behaviour of the model is then validated with the help of statistical analysis, which is done using the verification language embedded in the mentioned tool. The model is tested in specific scenarios, as well as random scenarios, where the self-driving vehicle is set into a regular traffic.
|
|
|
Demonstration of Marked Graphs Features
Horák, Michal ; Kočí, Radek (referee) ; Janoušek, Vladimír (advisor)
This thesis presents Petri nets as a modelling tool, defines their features and subclasses, including marked graphs. The goal of this paper is to inspect the features of Petri nets by analyzing their state space. As the output of this thesis, a tool for analyzing the features will be designed and implemented, with potential to extend the usability of Petri nets.
|
|
|
Impact of the customer satisfaction and other indicators on company`s market share
Dvořáková, Monika ; Sedláček, Jiří (advisor) ; Skala, David (referee)
In the present hypercompetitive market environment of car producers established especially at the developed west european markets is very difficult to gain new customers and increase the market share. The car producing companies have to build and increase customer loyalty to ensure the sustainable growth of market share in the future. One possibility how to improve customer's loyality to brand is to provide the highest standard at both sales and service department and carefully monitor the customer satisfaction. From the satisfaction and performance indicators of the car producing company is possible to construct a mathematical model producing the market share in a given country as an output. Key indikators of customer satisfaction, sales and service and also the macroeconomical data has been used as the inputs for the model. As a target market for my analysis has been chosen Germany. This thesis presents a set of recommendations and proposals, whose implementation should ensure the improvement of the market share of the given brand on german market. The recommendation does not include only the tips for improvement of the key indicators but it also gives the overview of how to make the marketing strategy more efficient using Customer relationship management.
|
guest ::
