Title :
Model based implementation of supervisors and diagnosers in VHDL code of programmable systems
Author :
Jana Flochová;Jakub Hollý;Michal Zapatický;Ján Pivarček
Author_Institution :
Faculty of Informatics and Information Technologies, Slovak University of Technology, 842 16 Bratislava, Slovakia
fDate :
4/1/2011 12:00:00 AM
Abstract :
The paper describes techniques, which use stochastic Petri nets in designing control and diagnosis applications mapped in programmable systems. A methodology for automatic translation of stochastic Petri net models into VHDL code has been developed and will be used in teaching our master students.
Keywords :
"Stochastic processes","Petri nets","Hardware","Firing","Probabilistic logic","Integrated circuit modeling","Supervisory control"
Conference_Titel :
EUROCON - International Conference on Computer as a Tool (EUROCON), 2011 IEEE
Print_ISBN :
978-1-4244-7486-8
DOI :
10.1109/EUROCON.2011.5929351
