@INPROCEEDINGS{6860484,
author={Wegrzyn, M. and Adamski, M. and Karatkevich, A. and Rosado-Munoz, A.},
booktitle={Human System Interactions (HSI), 2014 7th International Conference on},
title={FPGA-based embedded Logic Controllers},
year={2014},
month={June},
pages={249-254},
keywords={Petri nets;embedded systems;field programmable gate arrays;finite state machines;flip-flops;hardware description languages;logic design;reconfigurable architectures;sequential circuits;FPGA-based embedded logic controllers;Gentzen sequent logic;Petri net-based embedded logic controllers;RLC;VHDL description;concurrent state machine models;event-oriented specification;formal specification language;intermediate textual description;logic descriptions;logic design expressions;reactive digital embedded systems;reconfigurable logic controllers;register transfer level;symbolic rule-based specification language;virtual T flip-flops;Barium;Control systems;Field programmable gate arrays;Flip-flops;Hardware design languages;Integrated circuit modeling;Reconfigurable logic;Embedded systems;FPGA;Gentzen sequent logic;Logic Controllers;Petri nets;VHDL;decision rules;reactive systems},
doi={10.1109/HSI.2014.6860484},}