Wykaz publikacji wybranego autora

Andrei Karatkevich, prof. dr hab. inż.

profesor nadzwyczajny

Faculty of Electrical Engineering, Automatics, Computer Science and Biomedical Engineering
WEAIiIB-kis

  • 2018

    [dyscyplina 1] dziedzina nauk inżynieryjno-technicznych / informatyka techniczna i telekomunikacja

Identyfikatory Autora Informacje o Autorze w systemach zewnętrznych

ORCID: 0000-0002-5011-8248 orcid iD

ResearcherID: B-1403-2015

Scopus: 8410478100

PBN: 5e70925b878c28a047394558

System Informacyjny AGH (SkOs)

Liczba pozycji spełniających powyższe kryteria selekcji: 11, z ogólnej liczby 11 publikacji Autora

1

  • A deadlock recovery policy for flexible manufacturing systems with minimized traversing within Reachability Graph / Iwona Grobelna, Andrei KARATKEVICH // W: INFOTEH [Dokument elektroniczny] : 2022 21\textsuperscript{st} international symposium INFOTEH-JAHORINA (INFOTEH) : March 16–18, 2022, Jahorina, East Sarajevo, Republic of Srpska, Bosnia and Herzegovina : proceedings. — Wersja do Windows. — Dane tekstowe. — [Piscataway] : IEEE, cop. 2022. — e-ISBN: 978-1-6654-3778-3. — S. 1–[6]. — Wymagania systemowe: Adobe Reader. — Bibliogr. s. [6], Abstr.. — Publikacja dostępna online od: 2022-04-13. — tekst: https://ieeexplore-1ieee-1org-1000047e200ae.wbg2.bg.agh.edu.pl/stamp/stamp.jsp?tp=&arnumber=9751283

    orcid iD

  • keywords: Petri nets, control systems, flexible manufacturing systems, system recovery

    cyfrowy identyfikator dokumentu: 10.1109/INFOTEH53737.2022.9751283

2
3

  • A process-oriented deadlock recovery policy for flexible manufacturing systems / Andrei KARATKEVICH, Iwona Grobelna // W: ICARCV 2022 [Dokument elektroniczny] : the 17\textsuperscript{th} International Conference on Control, Automation, Robotics and Vision : December 11-13, 2022, Singapore / Nanyang Technological University, Singapore. — Wersja do Windows. — Dane tekstowe. — [Piscataway] : IEEE, cop. 2022. — Dod. ISBN: 978-1-6654-7685-0 (USB); ISBN: 978-1-6654-7688-1 (print on demand). — e-ISBN: 978-1-6654-7687-4. — S. 545-552. — Bibliogr. s. 552, Abstr.. — tekst: https://ieeexplore-1ieee-1org-1000047yo018b.wbg2.bg.agh.edu.pl/stamp/stamp.jsp?tp=&arnumber=10004357

    orcid iD

  • keywords: Petri nets, control systems, flexible manufacturing systems, system recovery

    cyfrowy identyfikator dokumentu: 10.1109/ICARCV57592.2022.10004357

4

  • A quick heuristic algorithm for enforcing the liveness of $S^{3}PR$ Petri nets / Andrei KARATKEVICH, Iwona Grobelna // W: INFOTEH [Dokument elektroniczny] : 2023 22\textsuperscript{nd} international symposium INFOTEH-JAHORINA (INFOTEH) : March 15–17, 2023, Jahorina, East Sarajevo, Republic of Srpska, Bosnia and Herzegovina : proceedings / University of East Sarajevo. Faculty of Electrical Engineering, [etc.]. — Wersja do Windows. — Dane tekstowe. — [Piscataway] : IEEE, cop. 2023. — (International Symposium on INFOTEH-JAHORINA ; ISSN 2767-9454). — Dod. CD ISBN: 978-1-6654-7545-7, Print on Demand ISBN: 978-1-6654-7547-1. — e-ISBN: 978-1-6654-7546-4. — S. 1-6. — Wymagania systemowe: Adobe Reader. — Bibliogr. s. 6, Abstr.. — Publikacja dostępna online od: 2023-04-11. — tekst: https://ieeexplore-1ieee-1org-10000479a00a9.wbg2.bg.agh.edu.pl/stamp/stamp.jsp?tp=&arnumber=10094203

    orcid iD

  • keywords: Petri nets, control systems, flexible manufacturing systems, liveness

    cyfrowy identyfikator dokumentu: 10.1109/INFOTEH57020.2023.10094203

5
6

  • Challenges in application of Petri nets in manufacturing systems / Iwona Grobelna, Andrei KARATKEVICH // Electronics [Dokument elektroniczny]. — Czasopismo elektroniczne ; ISSN 2079-9292. — 2021 vol. 10 iss. 18 art. no. 2305, s. 1–24. — Wymagania systemowe: Adobe Reader. — Bibliogr. s. 19–24, Abstr.. — Publikacja dostępna online od: 2021-09-19. — tekst: https://www.mdpi.com/2079-9292/10/18/2305/pdf

    orcid iD

  • keywords: Petri nets, control systems, Industry 4.0, automation systems

    cyfrowy identyfikator dokumentu: 10.3390/electronics10182305

7

  • Deadlock recovery for flexible manufacturing systems with exhaustive exploration of the reachability graph / Iwona Grobelna, Andrei KARATKEVICH // W: 2023 IEEE 17th international conference on the Experience of Designing and Application of CAD Systems (CADSM) [Dokument elektroniczny] : 22–25 February 2023 : conference proceedings / Lviv Polytechnic National University, [etc.]. — Wersja do Windows. — Dane tekstowe. — Danvers : IEEE, cop. 2023. — (Experience of Designing and Application of CAD Systems in Microelectronics ; ISSN 2572-7583). — e-ISBN: 979-8-3503-1085-6. — S. [1–5]. — Wymagania systemowe: Adobe Reader. — Bibliogr. s. [5], Abstr.. — Publikacja dostępna online od: 2023-03-28. — tekst: https://ieeexplore-1ieee-1org-10000472a0095.wbg2.bg.agh.edu.pl/stamp/stamp.jsp?tp=&arnumber=10076500

    orcid iD

  • keywords: Petri nets, production systems, manufacturing systems, automation and control, deadlock recovery

    cyfrowy identyfikator dokumentu: 10.1109/CADSM58174.2023.10076500

8
9

  • Determinism in cyber-physical systems specified by interpreted Petri nets / Remigiusz Wiśniewski, Iwona Grobelna, Andrei KARATKEVICH // Sensors [Dokument elektroniczny]. — Czasopismo elektroniczne ; ISSN 1424-8220. — 2020 vol. 20 iss. 19 art. no. 5565, s. 1–22. — Wymagania systemowe: Adobe Reader. — Bibliogr. s. 19–22, Abstr.. — Publikacja dostępna online od: 2020-09-28. — tekst: https://www.mdpi.com/1424-8220/20/19/5565/pdf

    orcid iD

  • keywords: Petri nets, control systems, determinism, control logic, cyber physical systems

    cyfrowy identyfikator dokumentu: 10.3390/s20195565

10

  • Język modelowania Alvis — Alvis modelling language / Marcin SZPYRKA, Michał WYPYCH, Andrei KARATKEVICH, Konrad ZAWORSKI // W: Nauka – technika – technologia : seria wydawnicza AGH, T. 4. — Kraków : Wydawnictwa AGH, 2022. — Materiały z konferencji naukowej "Wydział Elektryczny AGH – Wczoraj, Dziś i Jutro" : 23 czerwca 2022, Kraków. — ISBN: 978-83-66727-88-5 ; e-ISBN: 978-83-66727-89-2. — S. 135–144. — Bibliogr. s. 143–144, Streszcz., Abstr.. — tekst: https://winntbg.bg.agh.edu.pl/skrypty4/0601/NTT_tom4_135.pdf

    orcid iD

  • słowa kluczowe: systemy czasu rzeczywistego, metody formalne, systemy wbudowane, systemy współbieżne, weryfikacja modelowa, język Alvis

    keywords: formal methods, real time systems, embedded systems, concurrent systems, Alvis language, model verification

    Zobacz pełny wykaz publikacji Autora/Autorów: Marcin Szpyrka, Michał Wypych, Konrad Zaworski

    cyfrowy identyfikator dokumentu: 10.7494/978-83-66727-89-2_8

11

  • Minimization of SM-covers of Petri net specifications of control systems / Andrei KARATKEVICH, Łukasz Stefanowicz // W: MIXDES 2019 : Mixed Design of integrated circuits and systems : Rzeszów, Poland, June 27–29, 2019 : book of abstracts of 26\textsuperscript{th} international conference / ed. by Andrzej Napieralski. — Łódź : Department of Microelectronics and Computer Science. Lodz University of Technology, cop. 2019. — ISBN podany dla pełnego tekstu. — ISBN: 978-83-63578-15-2. — S. 132. — Bibliogr. s. 132. — Pełny tekst w: MIXDES 2019 [Dokument elektroniczny] : Mixed Design of integrated circuits and systems : Rzeszów, June 27–29, 2019 : proceedings of the 26\textsuperscript{th} conference / ed. Andrzej Napieralski. — Dane tekstowe. — Wersja do Windows. — [Łódź : Department of Microelectronics and Computer Science. Lodz University of Technology, 2019]. — 1 dysk optyczny. — ISBN 978-83-63578-15-2. — S. 398–403. — Wymagania systemowe: Adobe Reader. — Bibliogr. s. 402–403, Abstr.

    orcid iD

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu: 10.23919/MIXDES.2019.8787097