Marian Adamski

According to our database1, Marian Adamski authored at least 29 papers between 1994 and 2018.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2018
Prototyping of Concurrent Control Systems With Application of Petri Nets and Comparability Graphs.
IEEE Trans. Control. Syst. Technol., 2018

2016
Support Tool for the Combined Software/Hardware Design of On-Chip ELM Training for SLFF Neural Networks.
IEEE Trans. Ind. Informatics, 2016

2015
Design environment for hardware generation of SLFF neural network topologies with ELM training capability.
Proceedings of the 13th IEEE International Conference on Industrial Informatics, 2015

EmbedCloud - Design and Implementation Method of Distributed Embedded Systems.
Proceedings of the Technological Innovation for Cloud-Based Engineering Systems, 2015

2014
Application of Hypergraphs to SMCs Selection.
Proceedings of the Technological Innovation for Collective Awareness Systems, 2014

Application of comparability graphs in decomposition of Petri nets.
Proceedings of the 7th International Conference on Human System Interactions, 2014

FPGA-based embedded Logic Controllers.
Proceedings of the 7th International Conference on Human System Interactions, 2014

Aspects of selection of SM Components with the application of the theory of hypergraphs.
Proceedings of the 7th International Conference on Human System Interactions, 2014

Dual synthesis of Petri net based dependable logic controllers for safety critical systems.
Proceedings of the 7th International Conference on Human System Interactions, 2014

Translation UML diagrams into Verilog.
Proceedings of the 7th International Conference on Human System Interactions, 2014

Model Checking of UML Activity Diagrams in Logic Controllers Design.
Proceedings of the Ninth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX. June 30, 2014

2013
Transition Based Synthesis with Code Markers of Petri Nets into FPGAs.
Proceedings of the 12th IFAC Conference on Programmable Devices and Embedded Systems, 2013

From UML State Machine Diagram into FPGA Implementation.
Proceedings of the 12th IFAC Conference on Programmable Devices and Embedded Systems, 2013

UML state machine implementation in FPGA devices by means of dual model and Verilog.
Proceedings of the 11th IEEE International Conference on Industrial Informatics, 2013

Application of an Exact Transversal Hypergraph in Selection of SM-Components.
Proceedings of the Technological Innovation for the Internet of Things, 2013

2012
Hardware behavioural modelling, verification and synthesis with UML 2.x activity diagrams.
Proceedings of the 11th IFAC Conference on Programmable Devices and Embedded Systems, 2012

Logic synthesis for FPGAs of interpreted Petri net with common operation memory.
Proceedings of the 11th IFAC Conference on Programmable Devices and Embedded Systems, 2012

Formal reasoning in logic design of reconfigurable controllers.
Proceedings of the 11th IFAC Conference on Programmable Devices and Embedded Systems, 2012

Logic design of structured configurable controllers.
Proceedings of the 3rd IEEE International Conference on Networked Embedded Systems for Every Application, 2012

Synthesis of Petri nets into FPGA with operation flexible memories.
Proceedings of the IEEE 15th International Symposium on Design and Diagnostics of Electronic Circuits & Systems, 2012

2011
Role of UML Modelling in Discrete Controller Design.
Proceedings of the 21st International Conference on Systems Engineering (ICSEng 2011), 2011

Exceptions Handling in Hierarchical Petri Net Based Specification for Logic Controllers.
Proceedings of the 21st International Conference on Systems Engineering (ICSEng 2011), 2011

2008
Concurrent processes synchronisation in statecharts for FPGA implementation.
Proceedings of the 2008 East-West Design & Test Symposium, 2008

2007
Logic synthesis of reconfigurable controllers.
Proceedings of the IEEE Second International Symposium on Industrial Embedded Systems, 2007

2001
A Method of Analysis of Operational Petri Nets.
Proceedings of the Advanced Computer Systems, Eighth International Conference, 2001

1998
SFC, Petri nets and application specific logic controllers.
Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 1998

1994
Parallel controller synthesis for programmable logic devices.
Microprocess. Microsystems, 1994

Structured Logic Design with VHDL : James R Armstrong and F Gail Gray Prentice Hall International, Englewood Cliffs, NJ, USA (1993) ISBN 0 13 855206 I, £43.25, pp 482.
Microprocess. Microsystems, 1994

Parallel controller synthesis from a Petri net specification.
Proceedings of the Proceedings EURO-DAC'94, 1994


  Loading...