• DocumentCode
    3641547
  • 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
  • fYear
    2011
  • fDate
    4/1/2011 12:00:00 AM
  • Firstpage
    1
  • Lastpage
    4
  • 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"
  • Publisher
    ieee
  • Conference_Titel
    EUROCON - International Conference on Computer as a Tool (EUROCON), 2011 IEEE
  • Print_ISBN
    978-1-4244-7486-8
  • Type

    conf

  • DOI
    10.1109/EUROCON.2011.5929351
  • Filename
    5929351