Jacek Tkacz
Jacek Tkacz
Verified email at iie.uz.zgora.pl
Title
Cited by
Cited by
Year
Formal reasoning in logic design of reconfigurable controllers
M Adamski, J Tkacz
11th IFAC/IEEE International Conference on Programmable Devices and Embedded …, 2012
222012
UML modelling in rigorous design methodology for discrete controllers
G Łabiak, M Adamski, M Doligalski, J Tkacz, A Bukowiec
International Journal of Electronics and Telecommunications, 27-34, 2012
182012
State machine type colouring of Petri net by means of using a symbolic deduction method
J Tkacz
Measurement Automation and Monitoring 53 (5), 120-122, 2007
182007
Logic design of structured configurable controllers
J Tkacz, M Adamski
2012 IEEE 3rd International Conference on Networked Embedded Systems for …, 2012
122012
Implementation of algorithm of Petri nets distributed synthesis into FPGA
A Bukowiec, J Tkacz, T Gratkowski, T Gidlewicz
International Journal of Electronics and Telecommunications 59, 317-324, 2013
102013
Macrostate encoding of reconfigurable digital controllers from topological Petri net structure
J Tkacz, M Adamski
Przeglad Elektrotechniczny 88 (8), 137-140, 2012
72012
Projektowanie sekwencyjnych układów cyfrowych z wykorzystaniem logiki sekwentów Gentzena
J Tkacz, M Adamski
KNWS'09, 109-111, 2009
72009
Wyznaczanie SM-pokrycia bezpiecznej sieci Petriego metodą komputerowego wnioskowania
J Tkacz, M Adamski
KNWS'2011, 223-226, 2011
52011
Design of Reconfigurable Logic Controllers
A Karatkevich, A Bukowiec, M Doligalski, J Tkacz
Springer International Publishing, 2016
42016
Role of UML modelling in discrete controller design
G Labiak, M Adamski, J Tkacz, M Doligalski, A Bukowiec
2011 21st International Conference on Systems Engineering, 480-481, 2011
32011
Komputerowe wspomaganie przekształceń symbolicznych Gentzena
J Tkacz
Metody i systemy komputerowe w badaniach naukowych i projektowaniu …, 2003
3*2003
Wyznaczanie precyzji i dokładności lokalizacji obiektu na przykładzie systemu lokalizacji wewnątrzbudynkowej Dimension4 firmy Ubisense
D Eljasz, J Tkacz, T Gratkowski, M Doligalski
Przegląd Elektrotechniczny 94, 2018
22018
Unit testing-based approach for reconfigurable logic controllers verification
M Doligalski, J Tkacz, A Bukowiec, T Gratkowski
Photonics Applications in Astronomy, Communications, Industry, and High …, 2015
22015
Structured mapping of petri net states and events for FPGA implementations
J Tkacz, M Adamski
International Journal of Electronics and Telecommunications 59 (4), 331-339, 2015
22015
Dual synthesis of Petri net based dependable logic controllers for safety critical systems
A Bukowiec, J Tkacz, M Adamski, R Wiśniewski
2014 7th International Conference on Human System Interactions (HSI), 243-248, 2014
22014
Dual simulation of application specific logic controllers based on petri nets
A Bukowiec, J Tkacz
Multimedia and Ubiquitous Engineering, 399-404, 2014
22014
Projektowanie układów sterowania binarnego wspomagane automatycznym wnioskowaniem Gentzena
J Tkacz
Uniwersytet Zielonogórski, 2008
22008
Wykorzystanie komputerowego wnioskowania w projektowaniu kombinacyjnych układów sterowania
J Tkacz, M Adamski
Przegląd Telekomunikacyjny, 728-730, 2008
22008
Dual synthesis of Petri net based application specific logic controllers with increased safety
J Tkacz, A Bukowiec, M Adamski
Bulletin of the Polish Academy of Sciences. Technical Sciences 64 (3), 2016
12016
Petri nets SM-cover-based on heuristic coloring algorithm
J Tkacz, M Doligalski
Photonics Applications in Astronomy, Communications, Industry, and High …, 2015
12015
The system can't perform the operation now. Try again later.
Articles 1–20