Zobrazeno 1 - 10
of 32
pro vyhledávání: '"Arkadiusz Bukowiec"'
Publikováno v:
Advances in Electrical and Electronic Engineering, Vol 12, Iss 5, Pp 435-442 (2014)
The paper describes a new method for the synthesis of the application specific logic controllers, targeted into the FPGA. The initial steps of the proposed control algorithm rely on the notion of a Petri net, which is an easy way to describe parallel
Externí odkaz:
https://doaj.org/article/83aea13aac4c4c149b620ed7ceae4a68
Publikováno v:
Bulletin of the Polish Academy of Sciences Technical Sciences. 64:467-478
In the paper, design flow of the application specific logic controllers with increased safety by means of Petri nets is proposed. The controller architecture is based on duplicated control unit and comparison results from both units. One specificatio
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6e7ec5a40f3c8a58bc56ae439bedc432
https://doi.org/10.1515/bpasts-2016-0052
https://doi.org/10.1515/bpasts-2016-0052
Publikováno v:
SPIE Proceedings.
The paper presentes the method of modeling and implementation of concurrent controllers. Concurrent controllers are specified by Petri nets. Then Petri nets are decomposed using symbolic deduction method of analysis. Formal methods like sequent calcu
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::145b65c24254be413d8c24963790fd13
https://doi.org/10.1117/12.2280967
https://doi.org/10.1117/12.2280967
This book presents the original concepts and modern techniques for specification, synthesis, optimisation and implementation of parallel logical control devices. It deals with essential problems of reconfigurable control systems like dependability,
Autor:
Marian Adamski, Arkadiusz Bukowiec
Publikováno v:
PDeS
The paper describes a new method for the synthesis of the application specific logic controllers, constructed using the FPGA. The initial steps of the proposed control algorithm rely on the notion of a Petri net, which is an easy way to describe para
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::94c02ed394817305bd297f6cb5f01693
https://doi.org/10.3182/20130925-3-cz-3023.00030
https://doi.org/10.3182/20130925-3-cz-3023.00030
Autor:
Marian Adamski, Arkadiusz Bukowiec
Publikováno v:
International Journal of Electronics and Telecommunications. 58:403-410
In this paper a new method of Petri net array-based synthesis is proposed. The method is based on decomposition of colored interpreted macro Petri net into state machine subnets. Each state machine subnet is determined by one color. During the decomp
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::422deadae63918d5facf88fa311493c2
https://doi.org/10.2478/v10177-012-0055-x
https://doi.org/10.2478/v10177-012-0055-x
Autor:
Arkadiusz Bukowiec
Publikováno v:
International Journal of Electronics and Telecommunications. 58:35-41
—The method of synthesis of the logic circuit of finitestate machine (FSM) with Mealy’s outputs is proposed in thispaper. Proposed method is based on the innovate encoding ofmicroinstructions split into subsets. Code of microinstructionis repres
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0938ba0ad52da706e949e775b6ca0100
https://doi.org/10.2478/v10177-012-0005-7
https://doi.org/10.2478/v10177-012-0005-7
Autor:
Marian Adamski, Arkadiusz Bukowiec
Publikováno v:
PDeS
The method of synthesis of the logic circuit of interpreted Petri net is proposed in this paper. Proposed method is based on the minimal encoding of places. Places are encoded in subsets. Each subset is represented by one color of colored Petri net.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::40d21cccb3ee5b2daabe86ebe4f06793
https://doi.org/10.3182/20120523-3-cz-3015.00013
https://doi.org/10.3182/20120523-3-cz-3015.00013
Autor:
Arkadiusz Bukowiec
Publikováno v:
Design of Reconfigurable Logic Controllers ISBN: 9783319267234
New methods of Petri net array-based architectural synthesis are presented. Methods are based on the parallel decomposition of control algorithm into concurrently working state machine subnets and structural decomposition of a digital system. Structu
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e1a7cc82c917f4430a85dc604c8ab378
https://doi.org/10.1007/978-3-319-26725-8_8
https://doi.org/10.1007/978-3-319-26725-8_8
Autor:
Arkadiusz Bukowiec, Michał Doligalski
Publikováno v:
Photonics Applications in Astronomy, Communications, Industry, and High-Energy Physics Experiments 2015.
There is presented new method of synthesis of application specific logic controllers for FPGA devices. The specification of control algorithm is made with use of control interpreted Petri net (PT type). It allows specifying parallel processes in easy
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c6fe8e85c501986bad3548d0895efc10
https://doi.org/10.1117/12.2205612
https://doi.org/10.1117/12.2205612