|
|
Zpětná extrakce Stateflow diagramu z kódu v jazyce C
Gavenda, Daniel ; Smrčka, Aleš (referee) ; Fiedor, Jan (advisor)
Simulink diagrams are widely used in industry, where they are used to specify control systems. The specific block used in them is the Stateflow diagram. The specified systems are often critical from the point of view of security, therefore the question of the correctness of the implementation of these systems is important. In this work, we will focus on the design, description and creation of a tool for the reverse reconstruction of the Stateflow diagram from the optimized code in the C language in order to prove the functional equivalence between the model and its corresponding code. Next, a created set of models representing models with Stateflow diagrams and codes generated from them is created, using several optimizations. The created tool will be tested on this set, it can also be used to evaluate other Stateflow analyzes and/or C code.
|
|
|
Induction motor control using software tool X2C
Bartash, Roman ; Huták, Petr (referee) ; Pazdera, Ivo (advisor)
This paper deals with two induction motor control algorithms, namely direct torque control and vector control. The paper describes the different types of controllers and their settings, with output characteristics. Thus it is possible to get an understanding of the performance of these systems and compare them. Modelling is also carried out using X2C library, which gives an opportunity to further test the systems on a real motor.
|
|
|
Real-Time Image Processing Algorithm Implementation
Rypák, Andrej ; Zemčík, Pavel (referee) ; Černocký, Jan (advisor)
This Bachelor's Thesis was performed during a study stay at the École Supérieure d'Ingénieurs en Électronique et Électrotechnique Paris, France. In this project, I deal with designing program components for a rapid prototyping software called SynDEx that is used for automatic code generation, real-time application development and optimization for multicomponent mixed architectures. I briefly introduce this software. I present techniques I used to implement two different specific image processing chains and a displaying component. The chains perform image segmentation and labelling.In this project I deal with designing program components for a rapid prototyping software called SynDEx that is used for automatic code generation, real-time application development and optimization for multicomponent mixed architectures. I briefly introduce this software. I present techniques I used to implement two different specific image processing chains and a displaying component. The chains perform image segmentation and labelling.
|
|
|
DESIGN OF METHODS AND TOOLS ACCELERATING THE SOFTWARE DESIGN FOR EMBEDDED PROCESSORS TARGETED FOR MECHATRONICS APPLICATIONS
Lamberský, Vojtěch ; Takács, Gergely (referee) ; Věchet, Stanislav (referee) ; Grepl, Robert (advisor)
The main focus of this dissertation thesis is on methods and tools which can increase the speed of software development process for embedded processors used in mechatronics applications. The first part of this work introduces software and hardware tools suitable for a rapid development and prototyping of new applications used today. This work focuses on two main topics from the mentioned application field. The first topic is a development of tools for an automatic code generation from the Simulink environment for an embedded processor. The second topic is a development of tools enabling execution time prediction based on a Simulink model. Next chapter of this work describes various aspects and properties of the Cerebot blockset, which is a toolset for a fully automatic code generation from a Simulink environment for an embedded processor. Following chapter describes various methods that are suitable for predicting the execution time on an embedded processor based on a Simulink model. Main contribution of this work presents the created support for a fully automatic code generation from a Simulink software for the MX7 cK hardware, which enables a code generation supporting also a complex peripheral (a graphic display unit). The next important contribution of this work presents the developed method for an automatic prediction of the software execution time based on a Simulink model.
|
|
|
Technological process simulation
Dostál, Jiří ; Veselý, Libor (referee) ; Malounek, Petr (advisor)
This paper deals with a design of an inverted pendulum model and its controller in Matlab/Simulink, a conversion of the model and its controller to the ANSI C language and its implementation to B&R PLC's. The source code for B&R PLC's is generated automatically by the B&R Automation Studio Target for Simulink library. The first part deals with the design of a mathematical model of the inverted pendulum and its simulation in Matlab/Simulink, followed by a design of a LQ controller for this model using Matlab functions and a description of the B&R Automation Studio Target for Simulink library. The last part of this paper deals with the implementation of the model and its controller into two separate B&R PLC's, which are networked with the Ethernet Powerlink industrial fieldbus and it also describes visualizations that were designed for operating the system.
|
|
|
Asynchronous motor control using an automatic code generation tool
Jochec, Jan ; Knobloch, Jan (referee) ; Pazdera, Ivo (advisor)
This thesis deals with the control of an asynchronous motor in MATLAB/Simulink using the automatic code generation tool in C. The aim of the thesis is to learn about the theory of asynchronous motor control, the programming and simulation tool X2C and also the laboratory stand for asynchronous motor control. Furthermore, the aim of the thesis is to create models of scalar and vector asynchronous motor control and then test one of them on the laboratory stand to verify its functionality.
|
|
|
Real-Time Image Processing Algorithm Implementation
Rypák, Andrej ; Zemčík, Pavel (referee) ; Černocký, Jan (advisor)
This Bachelor's Thesis was performed during a study stay at the École Supérieure d'Ingénieurs en Électronique et Électrotechnique Paris, France. In this project, I deal with designing program components for a rapid prototyping software called SynDEx that is used for automatic code generation, real-time application development and optimization for multicomponent mixed architectures. I briefly introduce this software. I present techniques I used to implement two different specific image processing chains and a displaying component. The chains perform image segmentation and labelling.In this project I deal with designing program components for a rapid prototyping software called SynDEx that is used for automatic code generation, real-time application development and optimization for multicomponent mixed architectures. I briefly introduce this software. I present techniques I used to implement two different specific image processing chains and a displaying component. The chains perform image segmentation and labelling.
|
|
|
DESIGN OF METHODS AND TOOLS ACCELERATING THE SOFTWARE DESIGN FOR EMBEDDED PROCESSORS TARGETED FOR MECHATRONICS APPLICATIONS
Lamberský, Vojtěch ; Takács, Gergely (referee) ; Věchet, Stanislav (referee) ; Grepl, Robert (advisor)
The main focus of this dissertation thesis is on methods and tools which can increase the speed of software development process for embedded processors used in mechatronics applications. The first part of this work introduces software and hardware tools suitable for a rapid development and prototyping of new applications used today. This work focuses on two main topics from the mentioned application field. The first topic is a development of tools for an automatic code generation from the Simulink environment for an embedded processor. The second topic is a development of tools enabling execution time prediction based on a Simulink model. Next chapter of this work describes various aspects and properties of the Cerebot blockset, which is a toolset for a fully automatic code generation from a Simulink environment for an embedded processor. Following chapter describes various methods that are suitable for predicting the execution time on an embedded processor based on a Simulink model. Main contribution of this work presents the created support for a fully automatic code generation from a Simulink software for the MX7 cK hardware, which enables a code generation supporting also a complex peripheral (a graphic display unit). The next important contribution of this work presents the developed method for an automatic prediction of the software execution time based on a Simulink model.
|
|
|
Technological process simulation
Dostál, Jiří ; Veselý, Libor (referee) ; Malounek, Petr (advisor)
This paper deals with a design of an inverted pendulum model and its controller in Matlab/Simulink, a conversion of the model and its controller to the ANSI C language and its implementation to B&R PLC's. The source code for B&R PLC's is generated automatically by the B&R Automation Studio Target for Simulink library. The first part deals with the design of a mathematical model of the inverted pendulum and its simulation in Matlab/Simulink, followed by a design of a LQ controller for this model using Matlab functions and a description of the B&R Automation Studio Target for Simulink library. The last part of this paper deals with the implementation of the model and its controller into two separate B&R PLC's, which are networked with the Ethernet Powerlink industrial fieldbus and it also describes visualizations that were designed for operating the system.
|
|
|
Brushless dc motor control under power loss condition
Šedivý, Jozef ; Veselý, Libor (referee) ; Blaha, Petr (advisor)
Táto diplomová práca sa zaoberá implementáciou bezpečnostnej funkcie pre elektrický aktuátor, ktorá spočíva v riadení BLDC motora, po výpadku napájacieho napätia, keď je aktuátor poháňaný vstavanou pružinou.. Celé riadenie motora je navrhnuté v prostredí Matlab-Simulink technikou nazývanou návrh systému z modelu. Následne pomocou automatického generovania kódu bol získaný zdrojový kód, ktorý bol použitý v reálnom aktuátore a odtestovaný v reálnych podmienkach. Cieľom týchto testov bolo overiť reálnu možnosť nasadenia vyvinutých algoritmov v reálnych, komerčne dostupných produktoch.
|
guest ::
