Obserwuj
Marian Adamski
Tytuł
Cytowane przez
Cytowane przez
Rok
Design of embedded control systems
MA Adamski, A Karatkevich, M Wegrzyn
Springer, 2005
1092005
VHDL generation from hierarchical Petri net specifications of parallel controllers
JM Fernandes, M Adamski, AJ Proença
IEE Proceedings-Computers and Digital Techniques 144 (2), 127-137, 1997
1041997
Architectural and sequential synthesis of digital devices
M Adamski, AA Barkalov
University of Zielona Góra Press, 2006
932006
Parallel controller synthesis using Petri nets
T Kozlowski, EL Dagless, JM Saul, M Adamski
IEE Proceedings-Computers and Digital Techniques 142 (4), 263-271, 1995
801995
Petri-net-based algorithms for parallel-controller synthesis
K Bilinski, M Adamski, JM Saul, EL Dagless
IEE Proceedings-Computers and Digital Techniques 141 (6), 405-412, 1994
761994
Parallel controller implementation using standard PLD software
M Adamski
FPGAs, 296-304, 1991
581991
The application of reconfigurable logic to controller design
M Wegrzyn, MA Adamski, JL Monteiro
Control Engineering Practice 6 (7), 879-887, 1998
541998
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
392017
The influence of functional decomposition on modern digital design process
MA Adamski, A Karatkevich, M Wegrzyn, M Rawski, T Łuba, Z Jachna, ...
Design of Embedded Control Systems, 193-204, 2005
362005
From interpreted Petri net specification to reprogrammable logic controller design
M Adamski, JL Monteiro
ISIE'2000. Proceedings of the 2000 IEEE International Symposium on …, 2000
352000
Implementing a Petri net specification in a FPGA using VHDL
MA Adamski, A Karatkevich, M Wegrzyn, E Soto, M Pereira
Design of embedded control systems, 167-174, 2005
342005
Modelowanie układów sterowania dyskretnego z wykorzystaniem sieci SFC
M Adamski, M Chodań
Wydaw. Politechniki Zielonogórskiej, 2000
342000
Petri Nets and activity diagrams in logic controller specification-transformation and verification
I Grobelna, M Grobelny, M Adamski
Proceedings of the 17th International Conference Mixed Design of Integrated …, 2010
332010
Model checking of UML activity diagrams in logic controllers design
I Grobelna, M Grobelny, M Adamski
Proceedings of the Ninth International Conference on Dependability and …, 2014
302014
Design of embedded control systems using hybrid Petri nets
T Hummel, W Fengler
Design of Embedded Control Systems, 139-149, 2005
272005
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
Translation UML diagrams into Verilog
G Bazydlo, M Adamski, Ł Stefanowicz
2014 7th International Conference on Human System Interactions (HSI), 267-271, 2014
252014
Formal reasoning in logic design of reconfigurable controllers
M Adamski, J Tkacz
IFAC Proceedings Volumes 45 (7), 1-6, 2012
242012
Petri nets mapping into reconfigurable logic controllers
M Adamski, M Węgrzyn
Electronics and Telecommunications Quarterly 55 (2), 157-182, 2009
242009
PLD implementation of logic controllers
MA Adamski, JL Monteiro
1995 Proceedings of the IEEE International Symposium on Industrial …, 1995
241995
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20