Remigiusz Wiśniewski
Title
Cited by
Cited by
Year
Synthesis of Compositional Microprogram Control Units for Programmable Devices
R Wiśniewski
University of Zielona Góra, 2009
60*2009
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
502016
Design of microprogrammed controllers to be implemented in FPGAs
R Wisniewski, A Barkalov, L Titarenko, W Halang
International Journal of Applied Mathematics and Computer Science 21 (2), 401, 2011
412011
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
242014
Benefits of hardware accelerated simulation
R Wiśniewski, A Bukowiec, M Węgrzyn
Proceedings of the International Workshop Discrete-Event System Design …, 2001
242001
Prototyping of concurrent control systems implemented in FPGA devices
R Wiśniewski
Springer International Publishing, 2017
222017
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
212014
Application of hypergraphs to SMCs selection
Ł Stefanowicz, M Adamski, R Wiśniewski, J Lipiński
Doctoral Conference on Computing, Electrical and Industrial Systems, 249-256, 2014
202014
Application of an exact transversal hypergraph in selection of SM-components
Ł Stefanowicz, M Adamski, R Wisniewski
Doctoral Conference on Computing, Electrical and Industrial Systems, 250-257, 2013
202013
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
192014
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
182017
Computation of Petri nets covering by SM-components based on the graph theory
A Karatkiewicz, R Wisniewski
Przeglad Elektrotechniczny 88 (8), 141-144, 2012
182012
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
172017
Reduction of the microinstruction length in the designing process of microprogrammed controllers
M Wiśniewska, R Wiśniewski, M Adamski
Electrical Review 85 (7), 203-206, 2009
172009
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
172006
Application of hypergraphs to the reduction of the memory size in the microprogrammed controllers with address converter
M Adamski, M Wiśniewska, R Wiśniewski, Ł Stefanowicz
Przegld Elektrotechniczny, 134-136, 2012
162012
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
142019
Synthesis of compositional microprogram control units with sharing codes and address decoder
R Wisniewski, AA Barkalov, L Titarenko
Proceedings of the International Conference Mixed Design of Integrated …, 2006
142006
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
132019
Application of hypergraphs in microcode length reduction of microprogrammed controllers
M Wisniewska, M Adamski, R Wisniewski, WA Halang
2009 2nd International Workshop on Nonlinear Dynamics and Synchronization …, 2009
132009
The system can't perform the operation now. Try again later.
Articles 1–20