====== 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** {{:2009:matyasik:autoreferat.pdf|}}

==== Ważniejsze publikacje doktoranta ====

  - 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.
  - 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.
  - 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. 
  - 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.
  - 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.