Spis treści

Piotr Matyasik

Zaproszenie na obronę pracy doktorskiej

DZIEKAN I RADA WYDZIAŁU
ELEKTROTECHNIKI, AUTOMATYKI, INFORMATYKI I ELEKTRONIKI
AKADEMII GÓRNICZO-HUTNICZEJ im. S. STASZICA W KRAKOWIE
zapraszają na
publiczną dyskusję nad rozprawą doktorską

mgr inż. Piotra Matyasika
Modelowanie i analiza systemów wbudowanych z zastosowaniem algebry procesów XCCS
Dyskusja odbędzie się 28 października 2009 roku o godz. 10:00 w sali 015
al. Mickiewicza 30, pawilon B-1
PROMOTOR: dr hab. Marcin Szpyrka
RECENZENCI: Prof. dr hab. inż. Zbigniew Huzar, Politechnika Wrocławska
Prof. dr hab. inż. Antoni Ligęza, Akademia Górniczo-Hutnicza
Z rozprawą doktorską i opiniami recenzentów można się zapoznać
w Czytelni Biblioteki Głównej AGH, al. Mickiewicza 30

Streszczenie

Modelowanie i analiza systemów wbudowanych z zastosowaniem algebry procesów XCCS

mgr inż. Piotr Matyasik

Promotor: dr hab. Marcin Szpyrka

W rozprawie przedstawiono algebraiczno-graficzny język modelowania XCCS oparty na algebrach procesów CCS. Język ten, będący rozszerzeniem algebr CCS i pozwalający automatycznie uzyskiwać równoważne modele zapisane w algebrze CCS, został opracowany przede wszystkim do modelowania i weryfikacji dynamiki systemów wbudowanych. Poza opisem algebry CCS oraz algebry XCCS zarówno w wersji elementarnej jak i rozszerzonej (z przesyłaniem danych) w pracy podjęto próbę pokazania praktycznego aspektu zastosowania wprowadzonego języka modelowania. Opisano zaimplementowane narzędzia wspierające modelowanie z użyciem XCCS oraz pokazano przykład zastosowania XCCS do modelowania sterowania robotem kroczącym Hexor II.

Autoreferat

Pełna wersja autoreferatu autoreferat.pdf

Ważniejsze publikacje doktoranta

  1. M. Szpyrka and P. Matyasik. Formal modelling and verification of concurrent systems with XCCS. In Proc. of the 7th International Symposium on Parallel and Distributed Computing, Kraków, Poland, July 1-5 2008.
  2. M. Szpyrka and P. Matyasik. Graphical modelling tool for ccs process algebra. In Software engineering techniques in progress, page 81–94, Brno, Czech Republic, 2008.
  3. M. Szpyrka and P. Matyasik. Modelling hexor robot behaviour with value passing xccs. In Software engineering techniques in progress, page 67–78, Kraków, 2009. Wydawnictwa AGH.
  4. P. Matyasik and G. J. Nalepa. Knowledge-based control of reactive systems with multilayer architecture. In Proc. of Mixdes 2007, the 14th International Conference Mixed Design of Integrated Circuits and Systems, pages 667–672, Ciechocinek, Poland, June 21-23 2007.
  5. P. Matyasik, G. J. Nalepa, and P. Ziecik. Prolog-based real-time intelligent control of the Hexor mobile robot. In J. Hertzberg, M. Beetz, and R. Englert, editors, KI 2007: Advances in Artificial Intelligence, proc. of 30th Annual German Conference on AI, Osnabrück, Germany, volume 4667 of LNCS, pages 485–488. Springer, 2007.