We found a match
Your institution may have access to this item. Find your institution then sign in to continue.
- Title
Design of Structured Configurable Controllers Using Gentzen Reasoning.
- Authors
Tkacz, Jacek; Adamski, Marian
- Abstract
The paper is concentrated on behavioral and structural specification of reconfigurable logic controllers (RLC). The initial description is given as a hierarchical modular control interpreted Petri net. The strategy developed and promoted in this paper is based on the hierarchical decomposition of Petri Nets into nested, self-contained and structurally ordered subnets, which are suitable for distributed state encoding as well as flexible reconfiguration. All structured modules are easily recognized by their symbolic names of the configuration (coordination) places, which are only marked if selected modules are active. On the abstract level of the logic synthesis specification is written in formal propositional Gentzen sequent language. This decision rules describe both the structure of the net and the intended behavior of the logic controller. The rapid modeling in FPGA can be done directly from rule-based expressions, written in the hardware description language, for example in VHDL.
- Subjects
DESCRIPTION logics; NAME trademarks
- Publication
International Journal of Design, Analysis & Tools for Integrated Circuits & Systems, 2013, Vol 4, Issue 2, p10
- ISSN
2071-2987
- Publication type
Article