Michał Doligalski

Michał Doligalski, Jacek Tkacz, Tomasz Gratkowski, 2015, Symposium on Photonics Applications in Astronomy, Communications, Industry, and High-Energy Physics Experiments (WILGA).

Petri nets SM-cover-based on heuristic coloring algorithm

Michał Doligalski, Jacek Tkacz, 2015, Symposium on Photonics Applications in Astronomy, Communications, Industry, and High-Energy Physics Experiments (WILGA).

Multi-variants synthesis of Petri nets for FPGA devices

Michał Doligalski, Arkadiusz Bukowiec, 2015, Symposium on Photonics Applications in Astronomy, Communications, Industry, and High-Energy Physics Experiments (WILGA).

Konwersja wybranych elementów maszyny stanów UML w ramach dualnej specyfikacji

Michał Doligalski, 2009 .

Partial Reconfiguration in the Field of Logic Controllers Design

Michał Doligalski, Arkadiusz Bukowiec, 2013 .

Modeling and implementation of concurrent logic controllers with use of Petri nets, LSMs, and sequent calculus

Michał Doligalski, Jacek Tkacz, Arkadiusz Bukowiec, 2017, Symposium on Photonics Applications in Astronomy, Communications, Industry, and High-Energy Physics Experiments (WILGA).

Design of Reconfigurable Logic Controllers

Michał Doligalski, Jacek Tkacz, Andrei Karatkevich, 2015 .

Petri Net Based Specification in the Design of Logic Controllers with Exception Handling Mechanism

Michał Doligalski, Marian Adamski, 2012 .

UML Modelling in Rigorous Design Methodology for Discrete Controllers

Michał Doligalski, Jacek Tkacz, Marian Adamski, 2012 .

Wzorzec czasu i częstotliwości dyscyplinowany systemem GPS

Michał Doligalski, Slawomir Nikiel, J. Żołyński, 2012 .

Control Process Management by Means of Evolutionary Algorithm

Michał Doligalski, R. Kielec, 2015 .