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

  • 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

3

  • 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