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

  • 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

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