Název:
Metody analýzy stavových automatů pro vestavné aplikace
Překlad názvu:
Analysis of State Automatas for Embedded Applications
Autoři:
Maťas, Marek ; Blaha, Petr (oponent) ; Václavek, Pavel (vedoucí práce) Typ dokumentu: Diplomové práce
Rok:
2011
Jazyk:
slo
Nakladatel: Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií
Abstrakt: [slo][eng]
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.
Klíčová slova:
discrete event systems; embedded systems; finite state machine; state space minimization
Instituce: Vysoké učení technické v Brně
(web)
Informace o dostupnosti dokumentu:
Plný text je dostupný v Digitální knihovně VUT. Původní záznam: http://hdl.handle.net/11012/1795