Metody analýzy stavových automatů pro vestavné aplikace
Loading...
Date
Authors
ORCID
Advisor
Referee
Mark
A
Journal Title
Journal ISSN
Volume Title
Publisher
Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií
Abstract
Táto diplomová práca sa zaoberá analýzou stavových automatov pre vstavané aplikácie. Problematika konečných stavových automatov je rozobraná teoreticky. Dokument ďalej obsahuje návrh prostriedkov pre modelovanie konečných stavových automatov v prostredí Matlab/Simulink. Je navrhnutá dátová reprezentácia konečného automatu. Nad touto dátovou reprezentáciou je aplikovaný algoritmus minimalizácie. Nakoniec je implementovaný algoritmus na generovanie kódu v jazyku C.
This master’s thesis deals with analysis of state machines for embedded applications. The issue of finite-state machine is described theoretically. The document also contains a proposal for funding for modeling finite state machines in Matlab/Simulink. It is designed data representation of finite automaton. Over this data representation algorithm of minimization is applied. Finally, the algorithm is implemented to generate code in C language.
This master’s thesis deals with analysis of state machines for embedded applications. The issue of finite-state machine is described theoretically. The document also contains a proposal for funding for modeling finite state machines in Matlab/Simulink. It is designed data representation of finite automaton. Over this data representation algorithm of minimization is applied. Finally, the algorithm is implemented to generate code in C language.
Description
Citation
MAŤAS, M. Metody analýzy stavových automatů pro vestavné aplikace [online]. Brno: Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií. 2011.
Document type
Document version
Date of access to the full text
Language of document
sk
Study field
Kybernetika, automatizace a měření
Comittee
plk. gšt. prof. Dr. Ing. Alexandr Štefek, Dr. (předseda)
prof. Ing. František Zezulka, CSc. (místopředseda)
doc. Ing. Petr Beneš, Ph.D. (člen)
prof. Ing. Pavel Václavek, Ph.D. (člen)
Ing. Soběslav Valach (člen)
Date of acceptance
2011-06-07
Defence
Student obhájil diplomovou práci a zodpověděl položené otázky komise.
Result of defence
práce byla úspěšně obhájena
Document licence
Standardní licenční smlouva - přístup k plnému textu bez omezení