关注
Remigiusz Wiśniewski
Remigiusz Wiśniewski
在 issi.uz.zgora.pl 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
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
812016
Synthesis of Compositional Microprogram Control Units for Programmable Devices
R Wiśniewski
University of Zielona Góra, 2009
69*2009
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
Prototyping of concurrent control systems implemented in FPGA devices
R Wiśniewski
Springer International Publishing, 2017
472017
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
322017
Determinism in cyber-physical systems specified by interpreted Petri nets
R Wisniewski, I Grobelna, A Karatkevich
Sensors 20 (19), 5565, 2020
282020
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
272021
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
Benefits of hardware accelerated simulation
R Wiśniewski, A Bukowiec, M Węgrzyn
Proceedings of the International Workshop Discrete-Event System Design …, 2001
252001
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
232019
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
222018
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
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
202022
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
Verification of the Boundedness Property in a Petri Net-Based Specification of the Control Part of Cyber-Physical Systems
M Wojnakowski, R Wiśniewski
Doctoral Conference on Computing, Electrical and Industrial Systems, 83-91, 2021
192021
系统目前无法执行此操作,请稍后再试。
文章 1–20