Suivre
Remigiusz Wiśniewski
Titre
Citée par
Citée par
Année
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
642016
Synthesis of Compositional Microprogram Control Units for Programmable Devices
R Wiśniewski
University of Zielona Góra, 2009
62*2009
Design of microprogrammed controllers to be implemented in FPGAs
R Wiśniewski, A Barkalov, L Titarenko, WA Halang
Zielona Góra: Uniwersytet Zielonogórski, 2011
442011
Prototyping of concurrent control systems implemented in FPGA devices
R Wiśniewski
Springer International Publishing, 2017
282017
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
272017
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
262019
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
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
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
222014
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
212018
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
212014
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
202019
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
Computation of Petri nets covering by SM-components based on the graph theory
A Karatkevich, R Wisniewski
Przeglad Elektrotechniczny 88 (8), 141-144, 2012
182012
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
172012
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
Usage of hypergraph theory in decomposition of concurrent automata
M Wiśniewska, R Wiśniewski, M Adamski
Pomiary Automatyka Kontrola 53, 66-68, 2007
152007
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20