Obserwuj
Marian Adamski
Tytuł
Cytowane przez
Cytowane przez
Rok
Design of embedded control systems
MA Adamski, A Karatkevich, M Wegrzyn
Springer, 2005
1082005
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
1051997
Architectural and sequential synthesis of digital devices
M Adamski, AA Barkalov
University of Zielona Góra Press, 2006
892006
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
751995
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
741994
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
511998
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
342000
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
302010
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
292014
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
Translation UML diagrams into Verilog
G Bazydlo, M Adamski, Ł Stefanowicz
2014 7th International Conference on Human System Interactions (HSI), 267-271, 2014
252014
Sieci Petriego
Z Banaszak, J Kuś, M Adamski
Modelowanie, sterowanie i synteza systemów dyskretnych, Zielona Góra …, 1993
241993
Formal reasoning in logic design of reconfigurable controllers
M Adamski, J Tkacz
IFAC Proceedings Volumes 45 (7), 1-6, 2012
232012
Petri nets mapping into reconfigurable logic controllers
M Adamski, M Węgrzyn
Electronics and Telecommunications Quarterly 55 (2), 157-182, 2009
232009
Coloured Petri net model of application specific logic controller programs
M Wegrzyn, P Wolanski, M Adamski, JL Monteiro
ISIE'97 Proceeding of the IEEE International Symposium on Industrial …, 1997
231997
Parallel controller synthesis from a Petri net specification
K Biliński, EL Dagless, JM Saul, M Adamski
Proceedings of the conference on European design automation, 96-101, 1994
231994
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
Hardware behavioural modelling, verification and synthesis with UML 2. x activity diagrams
M Grobelny, I Grobelna, M Adamski
IFAC Proceedings Volumes 45 (7), 134-139, 2012
222012
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20