Takip et
Remigiusz Wiśniewski
Remigiusz Wiśniewski
University of Zielona Góra
issi.uz.zgora.pl üzerinde doğrulanmış e-posta adresine sahip - Ana Sayfa
Başlık
Alıntı yapanlar
Alıntı yapanlar
Yıl
Design and Verification of Real-Life Processes With Application of Petri Nets
I Grobelna, R Wisniewski, M Grobelny, M Wisniewska
IEEE Transactions on Systems, Man, and Cybernetics: Systems, 2016
882016
Synthesis of Compositional Microprogram Control Units for Programmable Devices
R Wiśniewski
University of Zielona Góra, 2009
69*2009
Prototyping of concurrent control systems implemented in FPGA devices
R Wiśniewski
Springer International Publishing, 2017
492017
Design of microprogrammed controllers to be implemented in FPGAs
R Wiśniewski, A Barkalov, L Titarenko, WA Halang
International Journal of Applied Mathematics and Computer Science 21 (2 …, 2011
492011
Petri net-based specification of cyber-physical systems oriented to control direct matrix converters with space vector modulation
R Wiśniewski, G Bazydło, P Szcześniak, M Wojnakowski
IEEE Access 7, 23407-23420, 2019
462019
Prototyping of concurrent control systems with application of Petri nets and comparability graphs
R Wiśniewski, A Karatkevich, M Adamski, A Costa, L Gomes
IEEE Transactions on Control Systems Technology 26 (2), 575-586, 2017
432017
Dynamic partial reconfiguration of concurrent control systems specified by Petri nets and implemented in Xilinx FPGA devices
R Wiśniewski
IEEE Access 6, 32376-32391, 2018
352018
Dynamic partial reconfiguration of concurrent control systems implemented in FPGA devices
R Wiśniewski, G Bazydło, L Gomes, A Costa
IEEE Transactions on Industrial Informatics 13 (4), 1734-1741, 2017
352017
Analysis of safeness in a Petri net-based specification of the control part of cyber-physical systems
M Wojnakowski, R Wiśniewski, G Bazydło, M Popławski
International Journal of Applied Mathematics and Computer Science 31 (4), 2021
302021
Determinism in cyber-physical systems specified by interpreted Petri nets
R Wisniewski, I Grobelna, A Karatkevich
Sensors 20 (19), 5565, 2020
302020
Trusted and secure blockchain-based architecture for Internet-of-Medical-Things
A Bhattacharjya, K Kozdrój, G Bazydło, R Wisniewski
Electronics 11 (16), 2560, 2022
292022
C-exact hypergraphs in concurrency and sequentiality analyses of cyber-physical systems specified by safe Petri nets
R Wiśniewski, M Wiśniewska, M Jarnut
IEEE Access 7, 13510-13522, 2019
262019
Application of comparability graphs in decomposition of Petri nets
R Wiśniewski, A Karatkevich, M Adamski, D Kur
2014 7th International Conference on Human System Interactions (HSI), 216-220, 2014
262014
Theoretical aspects of Petri nets decomposition based on invariants and hypergraphs
R Wiśniewski, Ł Stefanowicz, A Bukowiec, J Lipiński
Multimedia and ubiquitous engineering, 371-376, 2014
262014
A polynomial-time algorithm to obtain state machine cover of live and safe Petri nets
AG Karatkevich, R Wiśniewski
IEEE Transactions on Systems, Man, and Cybernetics: Systems 50 (10), 3592-3597, 2019
252019
Benefits of hardware accelerated simulation
R Wiśniewski, A Bukowiec, M Węgrzyn
Proceedings of the International Workshop Discrete-Event System Design …, 2001
252001
Low-cost FPGA hardware implementation of matrix converter switch control
R Wiśniewski, G Bazydło, P Szcześniak
IEEE Transactions on Circuits and Systems II: Express Briefs 66 (7), 1177-1181, 2018
232018
Application of hypergraphs to SMCs selection
Ł Stefanowicz, M Adamski, R Wiśniewski, J Lipiński
Technological Innovation for Collective Awareness Systems: 5th IFIP WG 5.5 …, 2014
212014
Design of Petri net-based cyber-physical systems oriented on the implementation in field programmable gate arrays
R Wisniewski
Energies 14 (21), 7054, 2021
202021
Decomposition, validation and documentation of control process specification in form of a Petri net
I Grobelna, M Wiśniewska, R Wiśniewski, M Grobelny, P Mróz
2014 7th International Conference on Human System Interactions (HSI), 232-237, 2014
202014
Sistem, işlemi şu anda gerçekleştiremiyor. Daha sonra yeniden deneyin.
Makaleler 1–20