|
|
Hybrid dynamic systems- analysis and modeling
Holub, Libor ; Findura, Milan (referee) ; Vavřín, Petr (advisor)
In this thesis the issue with the description, modeling and analysis of hybrid dynamic systems is solved. The main goal is to select appropriate method for solving hybrid dynamic systems and to aim to question on solving controllability, observability and stability of these systems. Two types of hybrid systems are covered in this work. In the first part, the description and simulation of hybrid systems that are compiled of continous and discrete parts with the systems of discrete affair are specified. For the description and modeling of hybrid automata and hybrid Petri nets have been used. The possibilities mentioned above are showned on the simple examples. Second part of this work covers the description, modeling and analysis of hybrid systems that are compiled of links continous and discreate dynamic system. The state space has been used. The universal state equations are mentioned and have been used for the description of the hybrid system and the structure of the matrixes A, B, C, D. The relation and basic method are spin off for the analysis of hybrid dynamic systems. From the analysis point of view, these are general methods for the controllability, observability, stability and steady state of hybrid dynamic systems. The examples of hybrid control systems for mentioned methods are specified. If it is allowed, the results are verified by the simulation in MATLAB Simulink background.
|
|
|
Chaos Testing of the Strimzi Project Using the Litmus Platform
Zrnčík, Henrich ; Smrčka, Aleš (referee) ; Vojnar, Tomáš (advisor)
Posledná dekáda v poli softwarového inžinierstva sa niesla v duchu automatizácie a abstrakcie. Vzostup nového spôsobu písania a menežovania softwaru (taktiež známeho ako architektúra mikroslužieb) so sebou taktiež priniesol nové výzvy v rámci zaručovania kvality softwaru. Beh systému v cloudovom prostredí s množstvom komponentov, ktoré sú roztrúsene po rôznych uzloch vyžaduje uvažovanie o závislostiach medzi týmito komponentami a dodatočné testovanie ktoré potvrdí odolnosť systému. Riešením je chaos inžinierstvo, často považované za logický krok po testovaní systému ako celku. Táto práca sa zaoberá riešením problému nedostatočných možností pre aplikáciu chaosu (a to prostredníctvom projektu Litmus) do produktu Apache Kafka, ktorý je nasadený na Kubernetes platforme ako súčasť projektu Strimzi. Inými slovami, aby sme mohli aplikovať chaos na projekte Strimzi, či iných systémoch ktoré ho používajú, musíme vytvoriť úplne nové časti Litmusu. Čo sa samotnej aplikácie chaosu týka, fakt že Strimzi je systém sám o sebe, avšak často súčasť iných systémov, znamená že budeme potrebovať vytvoriť rozšírenejšie riešenia. Práca je zavŕšená výslednými experimentami a potvrdením odolnosťi projektu v reálnom nasadení.
|
|
|
Solution of inverse problems in the area of material and heat exchangers
Kůdelová, Tereza ; Nechvátal, Luděk (referee) ; Čermák, Jan (advisor)
This bachelor's thesis deals with the dynamic behavior of heat exchangers which is described by the system of dierential equations. In this conection it includes a general information about necessary theoretical background especialy concerning heat transfer. Further, it mentions also the basic types of arrangement of heat exchangers that may occur in practice. The main goal is to answer the questions of controllability, observability and identifiability of the parameters obtained by solving corresponding inverse problem.
|
|
|
Applications of fractional calculus in control theory
Kiša, Daniel ; Nechvátal, Luděk (referee) ; Kisela, Tomáš (advisor)
Tato bakalářská práce se zabývá matematickou teorií zlomkového kalkulu a jeho aplikacemi v oblasti teorie řízení. V první části jsou uvedeny základy řízení lineárních časově invariantních systémů, a jsou dále diskutovány tři klasické úlohy, a to určení stability, řiditelnosti a pozorovatelnosti. V druhé části je zaveden Riemann-Liouvillův a Caputův diferintegrál a jsou formulovány výše zmíněné problémy pro lineární časově invariantní systém zlomkého řádu. Opět jsou diskutována řešení a jejich odvození.
|
|
|
Solutions of inverse problems in the area of material and heat exchangers
Kůdelová, Tereza ; Nechvátal, Luděk (referee) ; Čermák, Jan (advisor)
This master’s thesis deals with the dynamic behaviour of the heat exchangers which is described by a system of differential equations. In this connection, it contains general informations about heat transfer, heat exchangers and their arrangements. The main aim of this thesis is to solve the inverse problem of the antiparallel arrangement and discuss the question of the controllability, observability and identifiability of its parameters.
|
|
|
Chaos Testing of the Strimzi Project Using the Litmus Platform
Zrnčík, Henrich ; Smrčka, Aleš (referee) ; Vojnar, Tomáš (advisor)
Posledná dekáda v poli softwarového inžinierstva sa niesla v duchu automatizácie a abstrakcie. Vzostup nového spôsobu písania a menežovania softwaru (taktiež známeho ako architektúra mikroslužieb) so sebou taktiež priniesol nové výzvy v rámci zaručovania kvality softwaru. Beh systému v cloudovom prostredí s množstvom komponentov, ktoré sú roztrúsene po rôznych uzloch vyžaduje uvažovanie o závislostiach medzi týmito komponentami a dodatočné testovanie ktoré potvrdí odolnosť systému. Riešením je chaos inžinierstvo, často považované za logický krok po testovaní systému ako celku. Táto práca sa zaoberá riešením problému nedostatočných možností pre aplikáciu chaosu (a to prostredníctvom projektu Litmus) do produktu Apache Kafka, ktorý je nasadený na Kubernetes platforme ako súčasť projektu Strimzi. Inými slovami, aby sme mohli aplikovať chaos na projekte Strimzi, či iných systémoch ktoré ho používajú, musíme vytvoriť úplne nové časti Litmusu. Čo sa samotnej aplikácie chaosu týka, fakt že Strimzi je systém sám o sebe, avšak často súčasť iných systémov, znamená že budeme potrebovať vytvoriť rozšírenejšie riešenia. Práca je zavŕšená výslednými experimentami a potvrdením odolnosťi projektu v reálnom nasadení.
|
|
|
Applications of fractional calculus in control theory
Kiša, Daniel ; Nechvátal, Luděk (referee) ; Kisela, Tomáš (advisor)
Tato bakalářská práce se zabývá matematickou teorií zlomkového kalkulu a jeho aplikacemi v oblasti teorie řízení. V první části jsou uvedeny základy řízení lineárních časově invariantních systémů, a jsou dále diskutovány tři klasické úlohy, a to určení stability, řiditelnosti a pozorovatelnosti. V druhé části je zaveden Riemann-Liouvillův a Caputův diferintegrál a jsou formulovány výše zmíněné problémy pro lineární časově invariantní systém zlomkého řádu. Opět jsou diskutována řešení a jejich odvození.
|
|
|
Solutions of inverse problems in the area of material and heat exchangers
Kůdelová, Tereza ; Nechvátal, Luděk (referee) ; Čermák, Jan (advisor)
This master’s thesis deals with the dynamic behaviour of the heat exchangers which is described by a system of differential equations. In this connection, it contains general informations about heat transfer, heat exchangers and their arrangements. The main aim of this thesis is to solve the inverse problem of the antiparallel arrangement and discuss the question of the controllability, observability and identifiability of its parameters.
|
|
|
Hybrid dynamic systems- analysis and modeling
Holub, Libor ; Findura, Milan (referee) ; Vavřín, Petr (advisor)
In this thesis the issue with the description, modeling and analysis of hybrid dynamic systems is solved. The main goal is to select appropriate method for solving hybrid dynamic systems and to aim to question on solving controllability, observability and stability of these systems. Two types of hybrid systems are covered in this work. In the first part, the description and simulation of hybrid systems that are compiled of continous and discrete parts with the systems of discrete affair are specified. For the description and modeling of hybrid automata and hybrid Petri nets have been used. The possibilities mentioned above are showned on the simple examples. Second part of this work covers the description, modeling and analysis of hybrid systems that are compiled of links continous and discreate dynamic system. The state space has been used. The universal state equations are mentioned and have been used for the description of the hybrid system and the structure of the matrixes A, B, C, D. The relation and basic method are spin off for the analysis of hybrid dynamic systems. From the analysis point of view, these are general methods for the controllability, observability, stability and steady state of hybrid dynamic systems. The examples of hybrid control systems for mentioned methods are specified. If it is allowed, the results are verified by the simulation in MATLAB Simulink background.
|
|
|
Solution of inverse problems in the area of material and heat exchangers
Kůdelová, Tereza ; Nechvátal, Luděk (referee) ; Čermák, Jan (advisor)
This bachelor's thesis deals with the dynamic behavior of heat exchangers which is described by the system of dierential equations. In this conection it includes a general information about necessary theoretical background especialy concerning heat transfer. Further, it mentions also the basic types of arrangement of heat exchangers that may occur in practice. The main goal is to answer the questions of controllability, observability and identifiability of the parameters obtained by solving corresponding inverse problem.
|
guest ::
