Wykaz publikacji wybranego autora

Andrei Karatkevich, prof. dr hab. inż.

profesor nadzwyczajny

Wydział Elektrotechniki, Automatyki, Informatyki i Inżynierii Biomedycznej
WEAIiIB-kis, Katedra Informatyki Stosowanej

  • 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)

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

  • Alvis approach to modeling and verification of real-time systems running on single-processor environment / Marcin SZPYRKA, Jarosław BANIEWICZ, Andrei KARATKEVICH // IEEE Access [Dokument elektroniczny]. — Czasopismo elektroniczne ; ISSN 2169-3536. — 2022 vol. 10, s. 104178–104189. — Wymagania systemowe: Adobe Reader. — Bibliogr. s. 104188–104189, Abstr.. — Publikacja dostępna online od: 2022-09-26. — tekst: https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=9903617

    orcid iD

  • keywords: system verification, Alvis language, discrete time systems, formal languages, system analysis and design, single processor hardware

    Zobacz pełny wykaz publikacji Autora/Autorów: Marcin Szpyrka, Jarosław Baniewicz

    cyfrowy identyfikator dokumentu: 10.1109/ACCESS.2022.3210191

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