Obserwuj
Remigiusz Wiśniewski
Tytuł
Cytowane przez
Cytowane przez
Rok
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
802016
Synthesis of Compositional Microprogram Control Units for Programmable Devices
R Wiśniewski
University of Zielona Góra, 2009
68*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
442017
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
432019
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
412017
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
332018
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
312017
Determinism in cyber-physical systems specified by interpreted Petri nets
R Wisniewski, I Grobelna, A Karatkevich
Sensors 20 (19), 5565, 2020
272020
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
252014
Benefits of hardware accelerated simulation
R Wiśniewski, A Bukowiec, M Węgrzyn
Proceedings of the International Workshop Discrete-Event System Design …, 2001
242001
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
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
222021
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
212018
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
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
Application of an exact transversal hypergraph in selection of SM-components
Ł Stefanowicz, M Adamski, R Wisniewski
Technological Innovation for the Internet of Things: 4th IFIP WG 5.5 …, 2013
192013
Partial reconfiguration of compositional microprogram control units implemented on FPGAs
AA Barkalov, M Węgrzyn, R Wiśniewski
IFAC Proceedings Volumes 39 (21), 116-119, 2006
182006
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20