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)

Statystyka obejmuje publikacje afiliowane AGH od 2008 roku włącznie

typ publikacji
rocznikl. publ.książkifragm.referatyartykułypatentymapyred. czas.inne
ogółem11—155————
20232——2—————
20224—121————
20211———1————
20202———2————
20192——11————
język publikacji
rocznikrazempolskojęzyczneanglojęzycznepozostałe języki
ogółem11110—
20232—2—
2022413—
20211—1—
20202—2—
20192—2—
kraj wydania
rocznikrazempubl. krajowepubl. zagraniczne
ogółem1129
20232—2
2022413
20211—1
20202—2
2019211
Lista Filadelfijska
rocznikrazempubl. z LFpubl. pozostałe
ogółem1156
20232—2
2022413
202111—
202022—
2019211
punktacja MNiSW
rocznikrazempubl. z pkt. MNiSWpubl. pozostałe
ogółem1111—
202322—
202244—
202111—
202022—
201922—
publikacje recenzowane
rocznikrazempubl. recenzowanepubl. nierecenzowane
ogółem1111—
202322—
202244—
202111—
202022—
201922—
1
  • [referat, 2022]
  • TytułA deadlock recovery policy for flexible manufacturing systems with minimized traversing within Reachability Graph
    AutorzyIwona Grobelna, Andrei KARATKEVICH
    ŹródłoINFOTEH [Dokument elektroniczny] : 2022 21textsuperscript{st} international symposium INFOTEH-JAHORINA (INFOTEH) : March 16–18, 2022, Jahorina, East Sarajevo, Republic of Srpska, Bosnia and Herzegovina : proceedings. — [Piscataway] : IEEE, cop. 2022. — S. 1–[6]

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

    cyfrowy identyfikator dokumentu: 10.1109/INFOTEH53737.2022.9751283

2
3
  • [referat, 2022]
  • TytułA process-oriented deadlock recovery policy for flexible manufacturing systems
    AutorzyAndrei KARATKEVICH, Iwona Grobelna
    ŹródłoICARCV 2022 [Dokument elektroniczny] : the 17textsuperscript{th} International Conference on Control, Automation, Robotics and Vision : December 11-13, 2022, Singapore / Nanyang Technological University, Singapore. — [Piscataway] : IEEE, cop. 2022. — S. 545-552

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

    cyfrowy identyfikator dokumentu: 10.1109/ICARCV57592.2022.10004357

4
  • [referat, 2023]
  • TytułA quick heuristic algorithm for enforcing the liveness of $S^{3}PR$ Petri nets
    AutorzyAndrei KARATKEVICH, Iwona Grobelna
    ŹródłoINFOTEH [Dokument elektroniczny] : 2023 22textsuperscript{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.]. — [Piscataway] : IEEE, cop. 2023. — S. 1-6

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

    cyfrowy identyfikator dokumentu: 10.1109/INFOTEH57020.2023.10094203

5
6
  • [przegląd , 2021]
  • TytułChallenges in application of Petri nets in manufacturing systems
    AutorzyIwona Grobelna, Andrei KARATKEVICH
    ŹródłoElectronics [Dokument elektroniczny]. — Czasopismo elektroniczne. — 2021 vol. 10 iss. 18 art. no. 2305, s. 1–24. — tekst: https://www.mdpi.com/2079-9292/10/18/2305/pdf

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

    cyfrowy identyfikator dokumentu: 10.3390/electronics10182305

7
  • [referat, 2023]
  • TytułDeadlock recovery for flexible manufacturing systems with exhaustive exploration of the reachability graph
    AutorzyIwona Grobelna, Andrei KARATKEVICH
    Źródło2023 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.]. — Danvers : IEEE, cop. 2023. — S. [1–5]

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

    cyfrowy identyfikator dokumentu: 10.1109/CADSM58174.2023.10076500

8
9
  • [artykuł w czasopiśmie, 2020]
  • TytułDeterminism in cyber-physical systems specified by interpreted Petri nets
    AutorzyRemigiusz Wiśniewski, Iwona Grobelna, Andrei KARATKEVICH
    ŹródłoSensors [Dokument elektroniczny]. — Czasopismo elektroniczne. — 2020 vol. 20 iss. 19 art. no. 5565, s. 1–22. — tekst: https://www.mdpi.com/1424-8220/20/19/5565/pdf

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

    cyfrowy identyfikator dokumentu: 10.3390/s20195565

10
  • [fragment monografii pokonferencyjnej, 2022]
  • TytułJęzyk modelowania Alvis
    AutorzyMarcin SZPYRKA, Michał WYPYCH, Andrei KARATKEVICH, Konrad ZAWORSKI
    ŹródłoNauka – technika – technologia : seria wydawnicza AGH, T. 4. — Kraków : Wydawnictwa AGH, 2022. — S. 135–144

  • 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
  • [referat, 2019]
  • TytułMinimization of SM-covers of Petri net specifications of control systems
    AutorzyAndrei KARATKEVICH, Łukasz Stefanowicz
    ŹródłoMIXDES 2019 : Mixed Design of integrated circuits and systems : Rzeszów, Poland, June 27–29, 2019 : book of abstracts of 26textsuperscript{th} international conference / ed. by Andrzej Napieralski. — Łódź : Department of Microelectronics and Computer Science. Lodz University of Technology, cop. 2019. — S. 132

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu: 10.23919/MIXDES.2019.8787097