{"id":185,"date":"2025-01-17T18:40:09","date_gmt":"2025-01-17T17:40:09","guid":{"rendered":"https:\/\/home.agh.edu.pl\/~kkulak\/?page_id=185"},"modified":"2025-01-18T15:41:01","modified_gmt":"2025-01-18T14:41:01","slug":"other-research","status":"publish","type":"page","link":"https:\/\/home.agh.edu.pl\/~kkulak\/other-research\/","title":{"rendered":"Other research"},"content":{"rendered":"\n<h2 class=\"wp-block-heading\">Formal methods and robotics<\/h2>\n\n\n\n<p>The KBP&nbsp;<em>(Knowledge-Behavior-Platform)<\/em>&nbsp;architecture is proposed with the aim of integrating the low level control systems (Platform), and artificial intelligence (Knowledge) by interfacing these two layers through explicitly plugging them into the reactive planning component (Behavior). For the implementation language of the behavior model, the CCL notation was chosen.<\/p>\n\n\n\n<p>A Concurrent Communicating Lists (CCL) is a kind of algebraic-like notation, which facilitates executable modeling of computer control systems. CCL is well integrated with Clojure &#8211; a modern concurrent dialect of the Lisp language. Thus every CCL model can be easily extend to the fully functional Clojure\/Java application.<\/p>\n\n\n\n<h6 class=\"wp-block-heading\">Papers:<\/h6>\n\n\n<div class=\"teachpress_pub_list\"><form name=\"tppublistform\" method=\"get\"><a name=\"tppubs\" id=\"tppubs\"><\/a><\/form><div class=\"teachpress_publication_list\"><h3 class=\"tp_h3\" id=\"tp_h3_2013\">2013<\/h3><div class=\"tp_publication tp_publication_techreport\"><div class=\"tp_pub_info\"><p class=\"tp_pub_author\"> Ku\u0142akowski, K.;  Szmuc, T.<\/p><p class=\"tp_pub_title\"><a class=\"tp_title_link\" onclick=\"teachpress_pub_showhide('54','tp_links')\" style=\"cursor:pointer;\">Outline of CCL notation syntax<\/a> <span class=\"tp_pub_type tp_  techreport\">Technical Report<\/span> <\/p><p class=\"tp_pub_additional\"><span class=\"tp_pub_additional_institution\">AGH University of Science and Technology <\/span><span class=\"tp_pub_additional_year\">2013<\/span>.<\/p><p class=\"tp_pub_menu\"><span class=\"tp_resource_link\"><a id=\"tp_links_sh_54\" class=\"tp_show\" onclick=\"teachpress_pub_showhide('54','tp_links')\" title=\"Show links and resources\" style=\"cursor:pointer;\">Links<\/a><\/span> | <span class=\"tp_bibtex_link\"><a id=\"tp_bibtex_sh_54\" class=\"tp_show\" onclick=\"teachpress_pub_showhide('54','tp_bibtex')\" title=\"Show BibTeX entry\" style=\"cursor:pointer;\">BibTeX<\/a><\/span><\/p><div class=\"tp_bibtex\" id=\"tp_bibtex_54\" style=\"display:none;\"><div class=\"tp_bibtex_entry\"><pre>@techreport{kulakowski2013oocn,<br \/>\r\ntitle = {Outline of CCL notation syntax},<br \/>\r\nauthor = {K. Ku\u0142akowski and T. Szmuc},<br \/>\r\nurl = {http:\/\/winntbg.bg.agh.edu.pl\/csl\/dacstr-1-2013.pdf},<br \/>\r\nyear  = {2013},<br \/>\r\ndate = {2013-01-01},<br \/>\r\ninstitution = {AGH University of Science and Technology},<br \/>\r\nkeywords = {},<br \/>\r\npubstate = {published},<br \/>\r\ntppubtype = {techreport}<br \/>\r\n}<br \/>\r\n<\/pre><\/div><p class=\"tp_close_menu\"><a class=\"tp_close\" onclick=\"teachpress_pub_showhide('54','tp_bibtex')\">Close<\/a><\/p><\/div><div class=\"tp_links\" id=\"tp_links_54\" style=\"display:none;\"><div class=\"tp_links_entry\"><ul class=\"tp_pub_list\"><li><i class=\"fas fa-file-pdf\"><\/i><a class=\"tp_pub_list\" href=\"http:\/\/winntbg.bg.agh.edu.pl\/csl\/dacstr-1-2013.pdf\" title=\"http:\/\/winntbg.bg.agh.edu.pl\/csl\/dacstr-1-2013.pdf\" target=\"_blank\">http:\/\/winntbg.bg.agh.edu.pl\/csl\/dacstr-1-2013.pdf<\/a><\/li><\/ul><\/div><p class=\"tp_close_menu\"><a class=\"tp_close\" onclick=\"teachpress_pub_showhide('54','tp_links')\">Close<\/a><\/p><\/div><\/div><\/div><h3 class=\"tp_h3\" id=\"tp_h3_2012\">2012<\/h3><div class=\"tp_publication tp_publication_incollection\"><div class=\"tp_pub_info\"><p class=\"tp_pub_author\"> Ku\u0142akowski, K.;  Szmuc, T.<\/p><p class=\"tp_pub_title\"><a class=\"tp_title_link\" onclick=\"teachpress_pub_showhide('57','tp_links')\" style=\"cursor:pointer;\">Modeling Robot Behavior with CCL<\/a> <span class=\"tp_pub_type tp_  incollection\">Book Section<\/span> <\/p><p class=\"tp_pub_additional\"><span class=\"tp_pub_additional_in\">In: <\/span> Noda, Itsuki;  Ando, Noriaki;  Brugali, Davide;  Kuffner, JamesJ. (Ed.): <span class=\"tp_pub_additional_booktitle\">Simulation, Modeling, and Programming for Autonomous Robots, <\/span><span class=\"tp_pub_additional_volume\">vol. 7628, <\/span><span class=\"tp_pub_additional_pages\">pp. 40-51, <\/span><span class=\"tp_pub_additional_publisher\">Springer Berlin Heidelberg, <\/span><span class=\"tp_pub_additional_year\">2012<\/span>, <span class=\"tp_pub_additional_isbn\">ISBN: 978-3-642-34326-1<\/span>.<\/p><p class=\"tp_pub_menu\"><span class=\"tp_resource_link\"><a id=\"tp_links_sh_57\" class=\"tp_show\" onclick=\"teachpress_pub_showhide('57','tp_links')\" title=\"Show links and resources\" style=\"cursor:pointer;\">Links<\/a><\/span> | <span class=\"tp_bibtex_link\"><a id=\"tp_bibtex_sh_57\" class=\"tp_show\" onclick=\"teachpress_pub_showhide('57','tp_bibtex')\" title=\"Show BibTeX entry\" style=\"cursor:pointer;\">BibTeX<\/a><\/span><\/p><div class=\"tp_bibtex\" id=\"tp_bibtex_57\" style=\"display:none;\"><div class=\"tp_bibtex_entry\"><pre>@incollection{Kulakowski2012mrbw,<br \/>\r\ntitle = {Modeling Robot Behavior with CCL},<br \/>\r\nauthor = {K. Ku\u0142akowski and T. Szmuc},<br \/>\r\neditor = {Itsuki Noda and Noriaki Ando and Davide Brugali and JamesJ. Kuffner},<br \/>\r\nurl = {http:\/\/dx.doi.org\/10.1007\/978-3-642-34327-8_7},<br \/>\r\ndoi = {10.1007\/978-3-642-34327-8_7},<br \/>\r\nisbn = {978-3-642-34326-1},<br \/>\r\nyear  = {2012},<br \/>\r\ndate = {2012-01-01},<br \/>\r\nbooktitle = {Simulation, Modeling, and Programming for Autonomous Robots},<br \/>\r\nvolume = {7628},<br \/>\r\npages = {40-51},<br \/>\r\npublisher = {Springer Berlin Heidelberg},<br \/>\r\nseries = {Lecture Notes in Computer Science},<br \/>\r\nkeywords = {},<br \/>\r\npubstate = {published},<br \/>\r\ntppubtype = {incollection}<br \/>\r\n}<br \/>\r\n<\/pre><\/div><p class=\"tp_close_menu\"><a class=\"tp_close\" onclick=\"teachpress_pub_showhide('57','tp_bibtex')\">Close<\/a><\/p><\/div><div class=\"tp_links\" id=\"tp_links_57\" style=\"display:none;\"><div class=\"tp_links_entry\"><ul class=\"tp_pub_list\"><li><i class=\"fas fa-globe\"><\/i><a class=\"tp_pub_list\" href=\"http:\/\/dx.doi.org\/10.1007\/978-3-642-34327-8_7\" title=\"http:\/\/dx.doi.org\/10.1007\/978-3-642-34327-8_7\" target=\"_blank\">http:\/\/dx.doi.org\/10.1007\/978-3-642-34327-8_7<\/a><\/li><li><i class=\"ai ai-doi\"><\/i><a class=\"tp_pub_list\" href=\"https:\/\/dx.doi.org\/10.1007\/978-3-642-34327-8_7\" title=\"Follow DOI:10.1007\/978-3-642-34327-8_7\" target=\"_blank\">doi:10.1007\/978-3-642-34327-8_7<\/a><\/li><\/ul><\/div><p class=\"tp_close_menu\"><a class=\"tp_close\" onclick=\"teachpress_pub_showhide('57','tp_links')\">Close<\/a><\/p><\/div><\/div><\/div><div class=\"tp_publication tp_publication_article\"><div class=\"tp_pub_info\"><p class=\"tp_pub_author\"> Ku\u0142akowski, K.<\/p><p class=\"tp_pub_title\"><a class=\"tp_title_link\" onclick=\"teachpress_pub_showhide('58','tp_links')\" style=\"cursor:pointer;\">Concurrent systems modeling with CCL<\/a> <span class=\"tp_pub_type tp_  article\">Journal Article<\/span> <\/p><p class=\"tp_pub_additional\"><span class=\"tp_pub_additional_in\">In: <\/span><span class=\"tp_pub_additional_journal\">Automatyka, <\/span><span class=\"tp_pub_additional_year\">2012<\/span>.<\/p><p class=\"tp_pub_menu\"><span class=\"tp_resource_link\"><a id=\"tp_links_sh_58\" class=\"tp_show\" onclick=\"teachpress_pub_showhide('58','tp_links')\" title=\"Show links and resources\" style=\"cursor:pointer;\">Links<\/a><\/span> | <span class=\"tp_bibtex_link\"><a id=\"tp_bibtex_sh_58\" class=\"tp_show\" onclick=\"teachpress_pub_showhide('58','tp_bibtex')\" title=\"Show BibTeX entry\" style=\"cursor:pointer;\">BibTeX<\/a><\/span><\/p><div class=\"tp_bibtex\" id=\"tp_bibtex_58\" style=\"display:none;\"><div class=\"tp_bibtex_entry\"><pre>@article{Kulakowski2012csmw,<br \/>\r\ntitle = {Concurrent systems modeling with CCL},<br \/>\r\nauthor = {K. Ku\u0142akowski},<br \/>\r\nurl = {http:\/\/journals.bg.agh.edu.pl\/AUTOMAT\/2012.16.2\/automat.2012.16.2.115.pdf},<br \/>\r\nyear  = {2012},<br \/>\r\ndate = {2012-01-01},<br \/>\r\njournal = {Automatyka},<br \/>\r\nkeywords = {},<br \/>\r\npubstate = {published},<br \/>\r\ntppubtype = {article}<br \/>\r\n}<br \/>\r\n<\/pre><\/div><p class=\"tp_close_menu\"><a class=\"tp_close\" onclick=\"teachpress_pub_showhide('58','tp_bibtex')\">Close<\/a><\/p><\/div><div class=\"tp_links\" id=\"tp_links_58\" style=\"display:none;\"><div class=\"tp_links_entry\"><ul class=\"tp_pub_list\"><li><i class=\"fas fa-file-pdf\"><\/i><a class=\"tp_pub_list\" href=\"http:\/\/journals.bg.agh.edu.pl\/AUTOMAT\/2012.16.2\/automat.2012.16.2.115.pdf\" title=\"http:\/\/journals.bg.agh.edu.pl\/AUTOMAT\/2012.16.2\/automat.2012.16.2.115.pdf\" target=\"_blank\">http:\/\/journals.bg.agh.edu.pl\/AUTOMAT\/2012.16.2\/automat.2012.16.2.115.pdf<\/a><\/li><\/ul><\/div><p class=\"tp_close_menu\"><a class=\"tp_close\" onclick=\"teachpress_pub_showhide('58','tp_links')\">Close<\/a><\/p><\/div><\/div><\/div><div class=\"tp_publication tp_publication_inproceedings\"><div class=\"tp_pub_info\"><p class=\"tp_pub_author\"> Ku\u0142akowski, K.<\/p><p class=\"tp_pub_title\">CCL Sim, the simulation environment for concurrent systems <span class=\"tp_pub_type tp_  inproceedings\">Proceedings Article<\/span> <\/p><p class=\"tp_pub_additional\"><span class=\"tp_pub_additional_in\">In: <\/span><span class=\"tp_pub_additional_booktitle\">proceedings of Dependability and Complex Systems DepCoS, <\/span><span class=\"tp_pub_additional_year\">2012<\/span>.<\/p><p class=\"tp_pub_menu\"><span class=\"tp_bibtex_link\"><a id=\"tp_bibtex_sh_59\" class=\"tp_show\" onclick=\"teachpress_pub_showhide('59','tp_bibtex')\" title=\"Show BibTeX entry\" style=\"cursor:pointer;\">BibTeX<\/a><\/span><\/p><div class=\"tp_bibtex\" id=\"tp_bibtex_59\" style=\"display:none;\"><div class=\"tp_bibtex_entry\"><pre>@inproceedings{Kulakowski2012CCLS,<br \/>\r\ntitle = {CCL Sim, the simulation environment for concurrent systems},<br \/>\r\nauthor = {K. Ku\u0142akowski},<br \/>\r\nyear  = {2012},<br \/>\r\ndate = {2012-01-01},<br \/>\r\nbooktitle = {proceedings of Dependability and Complex Systems DepCoS},<br \/>\r\nkeywords = {},<br \/>\r\npubstate = {published},<br \/>\r\ntppubtype = {inproceedings}<br \/>\r\n}<br \/>\r\n<\/pre><\/div><p class=\"tp_close_menu\"><a class=\"tp_close\" onclick=\"teachpress_pub_showhide('59','tp_bibtex')\">Close<\/a><\/p><\/div><\/div><\/div><\/div><\/div>\n\n\n\n<h2 class=\"wp-block-heading\">Concurrency<\/h2>\n\n\n\n<p>The concurrency research focused on selected concurrency algorithms such as fast autonomous robot path finding, bisimulation. They also included concurrent data structures.<\/p>\n\n\n\n<h6 class=\"wp-block-heading\">Papers:<\/h6>\n\n\n<div class=\"teachpress_pub_list\"><form name=\"tppublistform\" method=\"get\"><a name=\"tppubs\" id=\"tppubs\"><\/a><\/form><div class=\"teachpress_publication_list\"><h3 class=\"tp_h3\" id=\"tp_h3_2015\">2015<\/h3><div class=\"tp_publication tp_publication_article\"><div class=\"tp_pub_info\"><p class=\"tp_pub_author\"> Ku\u0142akowski, K.<\/p><p class=\"tp_pub_title\"><a class=\"tp_title_link\" onclick=\"teachpress_pub_showhide('39','tp_links')\" style=\"cursor:pointer;\">On the Properties of the Priority Deriving Procedure in the Pairwise Comparisons Method<\/a> <span class=\"tp_pub_type tp_  article\">Journal Article<\/span> <\/p><p class=\"tp_pub_additional\"><span class=\"tp_pub_additional_in\">In: <\/span><span class=\"tp_pub_additional_journal\">Fundamenta Informaticae, <\/span><span class=\"tp_pub_additional_volume\">vol. 139, <\/span><span class=\"tp_pub_additional_number\">no. 4, <\/span><span class=\"tp_pub_additional_pages\">pp. 403 - 419, <\/span><span class=\"tp_pub_additional_year\">2015<\/span>.<\/p><p class=\"tp_pub_menu\"><span class=\"tp_resource_link\"><a id=\"tp_links_sh_39\" class=\"tp_show\" onclick=\"teachpress_pub_showhide('39','tp_links')\" title=\"Show links and resources\" style=\"cursor:pointer;\">Links<\/a><\/span> | <span class=\"tp_bibtex_link\"><a id=\"tp_bibtex_sh_39\" class=\"tp_show\" onclick=\"teachpress_pub_showhide('39','tp_bibtex')\" title=\"Show BibTeX entry\" style=\"cursor:pointer;\">BibTeX<\/a><\/span><\/p><div class=\"tp_bibtex\" id=\"tp_bibtex_39\" style=\"display:none;\"><div class=\"tp_bibtex_entry\"><pre>@article{Kulakowski2015otpo,<br \/>\r\ntitle = {On the Properties of the Priority Deriving Procedure in the Pairwise Comparisons Method},<br \/>\r\nauthor = {K. Ku\u0142akowski},<br \/>\r\ndoi = {10.3233\/FI-2015-1240},<br \/>\r\nyear  = {2015},<br \/>\r\ndate = {2015-07-01},<br \/>\r\njournal = {Fundamenta Informaticae},<br \/>\r\nvolume = {139},<br \/>\r\nnumber = {4},<br \/>\r\npages = {403 - 419},<br \/>\r\nkeywords = {},<br \/>\r\npubstate = {published},<br \/>\r\ntppubtype = {article}<br \/>\r\n}<br \/>\r\n<\/pre><\/div><p class=\"tp_close_menu\"><a class=\"tp_close\" onclick=\"teachpress_pub_showhide('39','tp_bibtex')\">Close<\/a><\/p><\/div><div class=\"tp_links\" id=\"tp_links_39\" style=\"display:none;\"><div class=\"tp_links_entry\"><ul class=\"tp_pub_list\"><li><i class=\"ai ai-doi\"><\/i><a class=\"tp_pub_list\" href=\"https:\/\/dx.doi.org\/10.3233\/FI-2015-1240\" title=\"Follow DOI:10.3233\/FI-2015-1240\" target=\"_blank\">doi:10.3233\/FI-2015-1240<\/a><\/li><\/ul><\/div><p class=\"tp_close_menu\"><a class=\"tp_close\" onclick=\"teachpress_pub_showhide('39','tp_links')\">Close<\/a><\/p><\/div><\/div><\/div><h3 class=\"tp_h3\" id=\"tp_h3_2014\">2014<\/h3><div class=\"tp_publication tp_publication_article\"><div class=\"tp_pub_info\"><p class=\"tp_pub_author\"> Koczkodaj, W. W.;  Ku\u0142akowski, K.;  Lig\u0119za, A.<\/p><p class=\"tp_pub_title\"><a class=\"tp_title_link\" onclick=\"teachpress_pub_showhide('47','tp_links')\" style=\"cursor:pointer;\">On the quality evaluation of scientific entities in Poland supported by consistency-driven pairwise comparisons method<\/a> <span class=\"tp_pub_type tp_  article\">Journal Article<\/span> <\/p><p class=\"tp_pub_additional\"><span class=\"tp_pub_additional_in\">In: <\/span><span class=\"tp_pub_additional_journal\">Scientometrics, <\/span><span class=\"tp_pub_additional_volume\">vol. 99, <\/span><span class=\"tp_pub_additional_number\">no. 3, <\/span><span class=\"tp_pub_additional_pages\">pp. 911-926, <\/span><span class=\"tp_pub_additional_year\">2014<\/span>, <span class=\"tp_pub_additional_issn\">ISSN: 0138-9130<\/span>.<\/p><p class=\"tp_pub_menu\"><span class=\"tp_resource_link\"><a id=\"tp_links_sh_47\" class=\"tp_show\" onclick=\"teachpress_pub_showhide('47','tp_links')\" title=\"Show links and resources\" style=\"cursor:pointer;\">Links<\/a><\/span> | <span class=\"tp_bibtex_link\"><a id=\"tp_bibtex_sh_47\" class=\"tp_show\" onclick=\"teachpress_pub_showhide('47','tp_bibtex')\" title=\"Show BibTeX entry\" style=\"cursor:pointer;\">BibTeX<\/a><\/span><\/p><div class=\"tp_bibtex\" id=\"tp_bibtex_47\" style=\"display:none;\"><div class=\"tp_bibtex_entry\"><pre>@article{Koczkodaj2014otqe,<br \/>\r\ntitle = {On the quality evaluation of scientific entities in Poland supported by consistency-driven pairwise comparisons method},<br \/>\r\nauthor = {W. W. Koczkodaj and K. Ku\u0142akowski and A. Lig\u0119za},<br \/>\r\nurl = {http:\/\/dx.doi.org\/10.1007\/s11192-014-1258-y},<br \/>\r\ndoi = {10.1007\/s11192-014-1258-y},<br \/>\r\nissn = {0138-9130},<br \/>\r\nyear  = {2014},<br \/>\r\ndate = {2014-01-01},<br \/>\r\njournal = {Scientometrics},<br \/>\r\nvolume = {99},<br \/>\r\nnumber = {3},<br \/>\r\npages = {911-926},<br \/>\r\npublisher = {Springer Netherlands},<br \/>\r\nkeywords = {},<br \/>\r\npubstate = {published},<br \/>\r\ntppubtype = {article}<br \/>\r\n}<br \/>\r\n<\/pre><\/div><p class=\"tp_close_menu\"><a class=\"tp_close\" onclick=\"teachpress_pub_showhide('47','tp_bibtex')\">Close<\/a><\/p><\/div><div class=\"tp_links\" id=\"tp_links_47\" style=\"display:none;\"><div class=\"tp_links_entry\"><ul class=\"tp_pub_list\"><li><i class=\"fas fa-globe\"><\/i><a class=\"tp_pub_list\" href=\"http:\/\/dx.doi.org\/10.1007\/s11192-014-1258-y\" title=\"http:\/\/dx.doi.org\/10.1007\/s11192-014-1258-y\" target=\"_blank\">http:\/\/dx.doi.org\/10.1007\/s11192-014-1258-y<\/a><\/li><li><i class=\"ai ai-doi\"><\/i><a class=\"tp_pub_list\" href=\"https:\/\/dx.doi.org\/10.1007\/s11192-014-1258-y\" title=\"Follow DOI:10.1007\/s11192-014-1258-y\" target=\"_blank\">doi:10.1007\/s11192-014-1258-y<\/a><\/li><\/ul><\/div><p class=\"tp_close_menu\"><a class=\"tp_close\" onclick=\"teachpress_pub_showhide('47','tp_links')\">Close<\/a><\/p><\/div><\/div><\/div><h3 class=\"tp_h3\" id=\"tp_h3_2013\">2013<\/h3><div class=\"tp_publication tp_publication_article\"><div class=\"tp_pub_info\"><p class=\"tp_pub_author\"> Ku\u0142akowski, K.<\/p><p class=\"tp_pub_title\">Notes on discrepancy in the pairwise comparisons method <span class=\"tp_pub_type tp_  article\">Journal Article<\/span> <\/p><p class=\"tp_pub_additional\"><span class=\"tp_pub_additional_in\">In: <\/span><span class=\"tp_pub_additional_journal\">CoRR (Submitted to EJOR), <\/span><span class=\"tp_pub_additional_volume\">vol. abs\/1312.2986, <\/span><span class=\"tp_pub_additional_year\">2013<\/span>.<\/p><p class=\"tp_pub_menu\"><span class=\"tp_bibtex_link\"><a id=\"tp_bibtex_sh_55\" class=\"tp_show\" onclick=\"teachpress_pub_showhide('55','tp_bibtex')\" title=\"Show BibTeX entry\" style=\"cursor:pointer;\">BibTeX<\/a><\/span><\/p><div class=\"tp_bibtex\" id=\"tp_bibtex_55\" style=\"display:none;\"><div class=\"tp_bibtex_entry\"><pre>@article{Kulakowski2013nodi,<br \/>\r\ntitle = {Notes on discrepancy in the pairwise comparisons method},<br \/>\r\nauthor = {K. Ku\u0142akowski},<br \/>\r\nyear  = {2013},<br \/>\r\ndate = {2013-01-01},<br \/>\r\njournal = {CoRR (Submitted to EJOR)},<br \/>\r\nvolume = {abs\/1312.2986},<br \/>\r\nkeywords = {},<br \/>\r\npubstate = {published},<br \/>\r\ntppubtype = {article}<br \/>\r\n}<br \/>\r\n<\/pre><\/div><p class=\"tp_close_menu\"><a class=\"tp_close\" onclick=\"teachpress_pub_showhide('55','tp_bibtex')\">Close<\/a><\/p><\/div><\/div><\/div><h3 class=\"tp_h3\" id=\"tp_h3_2012\">2012<\/h3><div class=\"tp_publication tp_publication_incollection\"><div class=\"tp_pub_info\"><p class=\"tp_pub_author\"> Ku\u0142akowski, K.;  Szmuc, T.<\/p><p class=\"tp_pub_title\"><a class=\"tp_title_link\" onclick=\"teachpress_pub_showhide('57','tp_links')\" style=\"cursor:pointer;\">Modeling Robot Behavior with CCL<\/a> <span class=\"tp_pub_type tp_  incollection\">Book Section<\/span> <\/p><p class=\"tp_pub_additional\"><span class=\"tp_pub_additional_in\">In: <\/span> Noda, Itsuki;  Ando, Noriaki;  Brugali, Davide;  Kuffner, JamesJ. (Ed.): <span class=\"tp_pub_additional_booktitle\">Simulation, Modeling, and Programming for Autonomous Robots, <\/span><span class=\"tp_pub_additional_volume\">vol. 7628, <\/span><span class=\"tp_pub_additional_pages\">pp. 40-51, <\/span><span class=\"tp_pub_additional_publisher\">Springer Berlin Heidelberg, <\/span><span class=\"tp_pub_additional_year\">2012<\/span>, <span class=\"tp_pub_additional_isbn\">ISBN: 978-3-642-34326-1<\/span>.<\/p><p class=\"tp_pub_menu\"><span class=\"tp_resource_link\"><a id=\"tp_links_sh_57\" class=\"tp_show\" onclick=\"teachpress_pub_showhide('57','tp_links')\" title=\"Show links and resources\" style=\"cursor:pointer;\">Links<\/a><\/span> | <span class=\"tp_bibtex_link\"><a id=\"tp_bibtex_sh_57\" class=\"tp_show\" onclick=\"teachpress_pub_showhide('57','tp_bibtex')\" title=\"Show BibTeX entry\" style=\"cursor:pointer;\">BibTeX<\/a><\/span><\/p><div class=\"tp_bibtex\" id=\"tp_bibtex_57\" style=\"display:none;\"><div class=\"tp_bibtex_entry\"><pre>@incollection{Kulakowski2012mrbw,<br \/>\r\ntitle = {Modeling Robot Behavior with CCL},<br \/>\r\nauthor = {K. Ku\u0142akowski and T. Szmuc},<br \/>\r\neditor = {Itsuki Noda and Noriaki Ando and Davide Brugali and JamesJ. Kuffner},<br \/>\r\nurl = {http:\/\/dx.doi.org\/10.1007\/978-3-642-34327-8_7},<br \/>\r\ndoi = {10.1007\/978-3-642-34327-8_7},<br \/>\r\nisbn = {978-3-642-34326-1},<br \/>\r\nyear  = {2012},<br \/>\r\ndate = {2012-01-01},<br \/>\r\nbooktitle = {Simulation, Modeling, and Programming for Autonomous Robots},<br \/>\r\nvolume = {7628},<br \/>\r\npages = {40-51},<br \/>\r\npublisher = {Springer Berlin Heidelberg},<br \/>\r\nseries = {Lecture Notes in Computer Science},<br \/>\r\nkeywords = {},<br \/>\r\npubstate = {published},<br \/>\r\ntppubtype = {incollection}<br \/>\r\n}<br \/>\r\n<\/pre><\/div><p class=\"tp_close_menu\"><a class=\"tp_close\" onclick=\"teachpress_pub_showhide('57','tp_bibtex')\">Close<\/a><\/p><\/div><div class=\"tp_links\" id=\"tp_links_57\" style=\"display:none;\"><div class=\"tp_links_entry\"><ul class=\"tp_pub_list\"><li><i class=\"fas fa-globe\"><\/i><a class=\"tp_pub_list\" href=\"http:\/\/dx.doi.org\/10.1007\/978-3-642-34327-8_7\" title=\"http:\/\/dx.doi.org\/10.1007\/978-3-642-34327-8_7\" target=\"_blank\">http:\/\/dx.doi.org\/10.1007\/978-3-642-34327-8_7<\/a><\/li><li><i class=\"ai ai-doi\"><\/i><a class=\"tp_pub_list\" href=\"https:\/\/dx.doi.org\/10.1007\/978-3-642-34327-8_7\" title=\"Follow DOI:10.1007\/978-3-642-34327-8_7\" target=\"_blank\">doi:10.1007\/978-3-642-34327-8_7<\/a><\/li><\/ul><\/div><p class=\"tp_close_menu\"><a class=\"tp_close\" onclick=\"teachpress_pub_showhide('57','tp_links')\">Close<\/a><\/p><\/div><\/div><\/div><h3 class=\"tp_h3\" id=\"tp_h3_2010\">2010<\/h3><div class=\"tp_publication tp_publication_inbook\"><div class=\"tp_pub_info\"><p class=\"tp_pub_author\"> Rzucid\u0142o, J.;  Ku\u0142akowski, K.<\/p><p class=\"tp_pub_title\">Explorer \u2013 the robust search robot <span class=\"tp_pub_type tp_  inbook\">Book Chapter<\/span> <\/p><p class=\"tp_pub_additional\"><span class=\"tp_pub_additional_in\">In: <\/span><span class=\"tp_pub_additional_publisher\">Wroc\u0142aw University of Technology. \u2014 Wroc\u0142aw : Oficyna Wydawnicza Politechniki Wroc\u0142awskiej, <\/span><span class=\"tp_pub_additional_year\">2010<\/span>.<\/p><p class=\"tp_pub_menu\"><span class=\"tp_bibtex_link\"><a id=\"tp_bibtex_sh_65\" class=\"tp_show\" onclick=\"teachpress_pub_showhide('65','tp_bibtex')\" title=\"Show BibTeX entry\" style=\"cursor:pointer;\">BibTeX<\/a><\/span><\/p><div class=\"tp_bibtex\" id=\"tp_bibtex_65\" style=\"display:none;\"><div class=\"tp_bibtex_entry\"><pre>@inbook{Kulakowski2010etrs,<br \/>\r\ntitle = {Explorer \u2013 the robust search robot},<br \/>\r\nauthor = {J. Rzucid\u0142o and K. Ku\u0142akowski},<br \/>\r\nyear  = {2010},<br \/>\r\ndate = {2010-01-01},<br \/>\r\njournal = {Information systems architecture and technology : system analysis approach to the design, control and decision support},<br \/>\r\npublisher = {Wroc\u0142aw University of Technology. \u2014 Wroc\u0142aw : Oficyna Wydawnicza Politechniki Wroc\u0142awskiej},<br \/>\r\nkeywords = {},<br \/>\r\npubstate = {published},<br \/>\r\ntppubtype = {inbook}<br \/>\r\n}<br \/>\r\n<\/pre><\/div><p class=\"tp_close_menu\"><a class=\"tp_close\" onclick=\"teachpress_pub_showhide('65','tp_bibtex')\">Close<\/a><\/p><\/div><\/div><\/div><\/div><\/div>\n\n\n\n<h2 class=\"wp-block-heading\">Pedestrian dynamics and simulation<\/h2>\n\n\n\n<p>Cafe &#8211; which means: Cellular Automata Framework Environment. The aim of this project is to create a Java based CA modeling tool which allows to create and simulate various kinds of asynchronous, nonhomogenous cellular automata. The automata built this way will be used to simulation of pedestrians behaviors (<em>MNiSW grant: N N516 228735<\/em>), and to modeling robots behavior. In the&nbsp;<code>robotic approach<\/code>&nbsp;CA is treated as&nbsp;<code>another kind of knowledge<\/code>&nbsp;used by so-called&nbsp;<em>Intelligent Control System<\/em>. Screen of the Cafe&#8217;s early version can be viewed below.<\/p>\n\n\n<div class=\"wp-block-image\">\n<figure class=\"aligncenter size-full is-resized\"><img loading=\"lazy\" decoding=\"async\" width=\"552\" height=\"667\" src=\"https:\/\/home.agh.edu.pl\/~kkulak\/wp-content\/uploads\/2025\/01\/cafe_viewer_screen.jpg\" alt=\"\" class=\"wp-image-195\" style=\"width:300px\" srcset=\"https:\/\/home.agh.edu.pl\/~kkulak\/wp-content\/uploads\/2025\/01\/cafe_viewer_screen.jpg 552w, https:\/\/home.agh.edu.pl\/~kkulak\/wp-content\/uploads\/2025\/01\/cafe_viewer_screen-248x300.jpg 248w\" sizes=\"auto, (max-width: 552px) 100vw, 552px\" \/><\/figure>\n<\/div>\n\n\n<h6 class=\"wp-block-heading\">Papers:<\/h6>\n\n\n<div class=\"teachpress_pub_list\"><form name=\"tppublistform\" method=\"get\"><a name=\"tppubs\" id=\"tppubs\"><\/a><\/form><div class=\"teachpress_publication_list\"><h3 class=\"tp_h3\" id=\"tp_h3_2010\">2010<\/h3><div class=\"tp_publication tp_publication_inbook\"><div class=\"tp_pub_info\"><p class=\"tp_pub_author\"> Ku\u0142akowski, K.;  W\u0105s, J.;  Topa, P.<\/p><p class=\"tp_pub_title\">Simulation environment for modeling pedestrian dynamics <span class=\"tp_pub_type tp_  inbook\">Book Chapter<\/span> <\/p><p class=\"tp_pub_additional\"><span class=\"tp_pub_additional_in\">In: <\/span><span class=\"tp_pub_additional_booktitle\">Intelligent Information Systems : new approaches, <\/span><span class=\"tp_pub_additional_publisher\">Publishing House of University of Podlasie, <\/span><span class=\"tp_pub_additional_year\">2010<\/span>.<\/p><p class=\"tp_pub_menu\"><span class=\"tp_bibtex_link\"><a id=\"tp_bibtex_sh_68\" class=\"tp_show\" onclick=\"teachpress_pub_showhide('68','tp_bibtex')\" title=\"Show BibTeX entry\" style=\"cursor:pointer;\">BibTeX<\/a><\/span><\/p><div class=\"tp_bibtex\" id=\"tp_bibtex_68\" style=\"display:none;\"><div class=\"tp_bibtex_entry\"><pre>@inbook{Kulakowski2010sefm,<br \/>\r\ntitle = {Simulation environment for modeling pedestrian dynamics},<br \/>\r\nauthor = {K. Ku\u0142akowski and J. W\u0105s and P. Topa},<br \/>\r\nyear  = {2010},<br \/>\r\ndate = {2010-01-01},<br \/>\r\nbooktitle = {Intelligent Information Systems : new approaches},<br \/>\r\npublisher = {Publishing House of University of Podlasie},<br \/>\r\nkeywords = {},<br \/>\r\npubstate = {published},<br \/>\r\ntppubtype = {inbook}<br \/>\r\n}<br \/>\r\n<\/pre><\/div><p class=\"tp_close_menu\"><a class=\"tp_close\" onclick=\"teachpress_pub_showhide('68','tp_bibtex')\">Close<\/a><\/p><\/div><\/div><\/div><div class=\"tp_publication tp_publication_inproceedings\"><div class=\"tp_pub_info\"><p class=\"tp_pub_author\"> W\u0105s, J.;  Ku\u0142akowski, K.<\/p><p class=\"tp_pub_title\">Agent-Based Approach in Evacuation Modeling <span class=\"tp_pub_type tp_  inproceedings\">Proceedings Article<\/span> <\/p><p class=\"tp_pub_additional\"><span class=\"tp_pub_additional_in\">In: <\/span> J\u0119drzejowicz, Piotr;  Nguyen, Ngoc Thanh;  Howlet, Robert J.;  Jain, Lakhmi C. (Ed.): <span class=\"tp_pub_additional_booktitle\">Agent and Multi-Agent Systems: Technologies and Applications, <\/span><span class=\"tp_pub_additional_pages\">pp. 325\u2013330, <\/span><span class=\"tp_pub_additional_publisher\">Springer Berlin Heidelberg, <\/span><span class=\"tp_pub_additional_address\">Berlin, Heidelberg, <\/span><span class=\"tp_pub_additional_year\">2010<\/span>, <span class=\"tp_pub_additional_isbn\">ISBN: 978-3-642-13480-7<\/span>.<\/p><p class=\"tp_pub_menu\"><span class=\"tp_abstract_link\"><a id=\"tp_abstract_sh_69\" class=\"tp_show\" onclick=\"teachpress_pub_showhide('69','tp_abstract')\" title=\"Show abstract\" style=\"cursor:pointer;\">Abstract<\/a><\/span> | <span class=\"tp_bibtex_link\"><a id=\"tp_bibtex_sh_69\" class=\"tp_show\" onclick=\"teachpress_pub_showhide('69','tp_bibtex')\" title=\"Show BibTeX entry\" style=\"cursor:pointer;\">BibTeX<\/a><\/span><\/p><div class=\"tp_bibtex\" id=\"tp_bibtex_69\" style=\"display:none;\"><div class=\"tp_bibtex_entry\"><pre>@inproceedings{Was2010aaie,<br \/>\r\ntitle = {Agent-Based Approach in Evacuation Modeling},<br \/>\r\nauthor = {J. W\u0105s and K. Ku\u0142akowski},<br \/>\r\neditor = {Piotr J\u0119drzejowicz and Ngoc Thanh Nguyen and Robert J. Howlet and Lakhmi C. Jain},<br \/>\r\nisbn = {978-3-642-13480-7},<br \/>\r\nyear  = {2010},<br \/>\r\ndate = {2010-01-01},<br \/>\r\nbooktitle = {Agent and Multi-Agent Systems: Technologies and Applications},<br \/>\r\npages = {325\u2013330},<br \/>\r\npublisher = {Springer Berlin Heidelberg},<br \/>\r\naddress = {Berlin, Heidelberg},<br \/>\r\nabstract = {The article presents an agent-based approach to modeling of pedestrian evacuation. It includes some theoretical aspect of using the agents techniques as well as case study of evacuation tests realized by the authors. Results from real data gained from experiments are compared with data from designed simulations. The use of agent-based methods gives promising perspective in pedestrian evacuation modeling.},<br \/>\r\nkeywords = {},<br \/>\r\npubstate = {published},<br \/>\r\ntppubtype = {inproceedings}<br \/>\r\n}<br \/>\r\n<\/pre><\/div><p class=\"tp_close_menu\"><a class=\"tp_close\" onclick=\"teachpress_pub_showhide('69','tp_bibtex')\">Close<\/a><\/p><\/div><div class=\"tp_abstract\" id=\"tp_abstract_69\" style=\"display:none;\"><div class=\"tp_abstract_entry\">The article presents an agent-based approach to modeling of pedestrian evacuation. It includes some theoretical aspect of using the agents techniques as well as case study of evacuation tests realized by the authors. Results from real data gained from experiments are compared with data from designed simulations. The use of agent-based methods gives promising perspective in pedestrian evacuation modeling.<\/div><p class=\"tp_close_menu\"><a class=\"tp_close\" onclick=\"teachpress_pub_showhide('69','tp_abstract')\">Close<\/a><\/p><\/div><\/div><\/div><h3 class=\"tp_h3\" id=\"tp_h3_2009\">2009<\/h3><div class=\"tp_publication tp_publication_inproceedings\"><div class=\"tp_pub_info\"><p class=\"tp_pub_author\"> W\u0105s, J.;  Ku\u0142akowski, K.<\/p><p class=\"tp_pub_title\">Multi-agent Systems in Pedestrian Dynamics Modeling <span class=\"tp_pub_type tp_  inproceedings\">Proceedings Article<\/span> <\/p><p class=\"tp_pub_additional\"><span class=\"tp_pub_additional_in\">In: <\/span> Nguyen, Ngoc Thanh;  Kowalczyk, Ryszard;  Chen, Shyi-Ming (Ed.): <span class=\"tp_pub_additional_booktitle\">Computational Collective Intelligence. Semantic Web, Social Networks and Multiagent Systems, <\/span><span class=\"tp_pub_additional_pages\">pp. 294\u2013300, <\/span><span class=\"tp_pub_additional_publisher\">Springer Berlin Heidelberg, <\/span><span class=\"tp_pub_additional_address\">Berlin, Heidelberg, <\/span><span class=\"tp_pub_additional_year\">2009<\/span>, <span class=\"tp_pub_additional_isbn\">ISBN: 978-3-642-04441-0<\/span>.<\/p><p class=\"tp_pub_menu\"><span class=\"tp_abstract_link\"><a id=\"tp_abstract_sh_74\" class=\"tp_show\" onclick=\"teachpress_pub_showhide('74','tp_abstract')\" title=\"Show abstract\" style=\"cursor:pointer;\">Abstract<\/a><\/span> | <span class=\"tp_bibtex_link\"><a id=\"tp_bibtex_sh_74\" class=\"tp_show\" onclick=\"teachpress_pub_showhide('74','tp_bibtex')\" title=\"Show BibTeX entry\" style=\"cursor:pointer;\">BibTeX<\/a><\/span><\/p><div class=\"tp_bibtex\" id=\"tp_bibtex_74\" style=\"display:none;\"><div class=\"tp_bibtex_entry\"><pre>@inproceedings{Was2009msip,<br \/>\r\ntitle = {Multi-agent Systems in Pedestrian Dynamics Modeling},<br \/>\r\nauthor = {J. W\u0105s and K. Ku\u0142akowski},<br \/>\r\neditor = {Ngoc Thanh Nguyen and Ryszard Kowalczyk and Shyi-Ming Chen},<br \/>\r\nisbn = {978-3-642-04441-0},<br \/>\r\nyear  = {2009},<br \/>\r\ndate = {2009-01-01},<br \/>\r\nbooktitle = {Computational Collective Intelligence. Semantic Web, Social Networks and Multiagent Systems},<br \/>\r\npages = {294\u2013300},<br \/>\r\npublisher = {Springer Berlin Heidelberg},<br \/>\r\naddress = {Berlin, Heidelberg},<br \/>\r\nabstract = {The article presents the use of Multi-agent system (MAS) in pedestrian dynamics modeling. Current trends in pedestrian dynamics are presented with particular focus on a short review of various agent-based models of pedestrian dynamics. The models are briefly discussed and compared.},<br \/>\r\nkeywords = {},<br \/>\r\npubstate = {published},<br \/>\r\ntppubtype = {inproceedings}<br \/>\r\n}<br \/>\r\n<\/pre><\/div><p class=\"tp_close_menu\"><a class=\"tp_close\" onclick=\"teachpress_pub_showhide('74','tp_bibtex')\">Close<\/a><\/p><\/div><div class=\"tp_abstract\" id=\"tp_abstract_74\" style=\"display:none;\"><div class=\"tp_abstract_entry\">The article presents the use of Multi-agent system (MAS) in pedestrian dynamics modeling. Current trends in pedestrian dynamics are presented with particular focus on a short review of various agent-based models of pedestrian dynamics. The models are briefly discussed and compared.<\/div><p class=\"tp_close_menu\"><a class=\"tp_close\" onclick=\"teachpress_pub_showhide('74','tp_abstract')\">Close<\/a><\/p><\/div><\/div><\/div><\/div><\/div>\n\n\n\n<h2 class=\"wp-block-heading\">Software engineering and real time systems<\/h2>\n\n\n\n<p>Proposed approach to executable modeling of ractive systems consist of two elements: UML editor and Reactive Appliance Toolkit. There is no limitation to one specific kind of UML editor. Every editor could be used if satisfy following requirements: at least metamodel 1.4, XMI support, stereotypes and profiles, class diagram, statechart diagram, activity diagram.<\/p>\n\n\n\n<p>In order to use Reactive Appliance Toolkit standard Java 1 and some implementation of RealTime Java (e.g. Jamaica VM 2) should be instaled. Reactive Appliance Toolkit consist of three components:<\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li>API&nbsp;library<\/li>\n\n\n\n<li>Code generator<\/li>\n\n\n\n<li>Management console<\/li>\n<\/ul>\n\n\n\n<p>A console for the robot control case study is shown below:<\/p>\n\n\n<div class=\"wp-block-image\">\n<figure class=\"aligncenter size-full\"><img loading=\"lazy\" decoding=\"async\" width=\"400\" height=\"300\" src=\"https:\/\/home.agh.edu.pl\/~kkulak\/wp-content\/uploads\/2025\/01\/robotrtamgmconsole2.jpg\" alt=\"\" class=\"wp-image-197\" srcset=\"https:\/\/home.agh.edu.pl\/~kkulak\/wp-content\/uploads\/2025\/01\/robotrtamgmconsole2.jpg 400w, https:\/\/home.agh.edu.pl\/~kkulak\/wp-content\/uploads\/2025\/01\/robotrtamgmconsole2-300x225.jpg 300w\" sizes=\"auto, (max-width: 400px) 100vw, 400px\" \/><\/figure>\n<\/div>\n\n\n<h6 class=\"wp-block-heading\">Papers:<\/h6>\n\n\n<div class=\"teachpress_pub_list\"><form name=\"tppublistform\" method=\"get\"><a name=\"tppubs\" id=\"tppubs\"><\/a><\/form><div class=\"teachpress_publication_list\"><h3 class=\"tp_h3\" id=\"tp_h3_2008\">2008<\/h3><div class=\"tp_publication tp_publication_inproceedings\"><div class=\"tp_pub_info\"><p class=\"tp_pub_author\"> Kulakowski, K.;  Kostrzewa, M.<\/p><p class=\"tp_pub_title\"><a class=\"tp_title_link\" onclick=\"teachpress_pub_showhide('76','tp_links')\" style=\"cursor:pointer;\">Rapid prototyping of real-time reactive systems<\/a> <span class=\"tp_pub_type tp_  inproceedings\">Proceedings Article<\/span> <\/p><p class=\"tp_pub_additional\"><span class=\"tp_pub_additional_in\">In: <\/span><span class=\"tp_pub_additional_booktitle\">Proceedings of International Conference on Signals and Electronic Systems, 2008. ICSES '08., <\/span><span class=\"tp_pub_additional_pages\">pp. 381-384, <\/span><span class=\"tp_pub_additional_year\">2008<\/span>.<\/p><p class=\"tp_pub_menu\"><span class=\"tp_resource_link\"><a id=\"tp_links_sh_76\" class=\"tp_show\" onclick=\"teachpress_pub_showhide('76','tp_links')\" title=\"Show links and resources\" style=\"cursor:pointer;\">Links<\/a><\/span> | <span class=\"tp_bibtex_link\"><a id=\"tp_bibtex_sh_76\" class=\"tp_show\" onclick=\"teachpress_pub_showhide('76','tp_bibtex')\" title=\"Show BibTeX entry\" style=\"cursor:pointer;\">BibTeX<\/a><\/span><\/p><div class=\"tp_bibtex\" id=\"tp_bibtex_76\" style=\"display:none;\"><div class=\"tp_bibtex_entry\"><pre>@inproceedings{Kulakowski2008rpor,<br \/>\r\ntitle = {Rapid prototyping of real-time reactive systems},<br \/>\r\nauthor = {K. Kulakowski and M. Kostrzewa},<br \/>\r\ndoi = {10.1109\/ICSES.2008.4673443},<br \/>\r\nyear  = {2008},<br \/>\r\ndate = {2008-09-01},<br \/>\r\nbooktitle = {Proceedings of International Conference on Signals and Electronic Systems, 2008. ICSES '08.},<br \/>\r\npages = {381-384},<br \/>\r\nkeywords = {},<br \/>\r\npubstate = {published},<br \/>\r\ntppubtype = {inproceedings}<br \/>\r\n}<br \/>\r\n<\/pre><\/div><p class=\"tp_close_menu\"><a class=\"tp_close\" onclick=\"teachpress_pub_showhide('76','tp_bibtex')\">Close<\/a><\/p><\/div><div class=\"tp_links\" id=\"tp_links_76\" style=\"display:none;\"><div class=\"tp_links_entry\"><ul class=\"tp_pub_list\"><li><i class=\"ai ai-doi\"><\/i><a class=\"tp_pub_list\" href=\"https:\/\/dx.doi.org\/10.1109\/ICSES.2008.4673443\" title=\"Follow DOI:10.1109\/ICSES.2008.4673443\" target=\"_blank\">doi:10.1109\/ICSES.2008.4673443<\/a><\/li><\/ul><\/div><p class=\"tp_close_menu\"><a class=\"tp_close\" onclick=\"teachpress_pub_showhide('76','tp_links')\">Close<\/a><\/p><\/div><\/div><\/div><div class=\"tp_publication tp_publication_article\"><div class=\"tp_pub_info\"><p class=\"tp_pub_author\"> Ku\u0142akowski, K.;  Kostrzewa, M.<\/p><p class=\"tp_pub_title\">Modelowanie system\u00f3w czasu rzeczywistego w UML <span class=\"tp_pub_type tp_  article\">Journal Article<\/span> <\/p><p class=\"tp_pub_additional\"><span class=\"tp_pub_additional_in\">In: <\/span><span class=\"tp_pub_additional_journal\">Automatyka, <\/span><span class=\"tp_pub_additional_year\">2008<\/span>.<\/p><p class=\"tp_pub_menu\"><span class=\"tp_bibtex_link\"><a id=\"tp_bibtex_sh_77\" class=\"tp_show\" onclick=\"teachpress_pub_showhide('77','tp_bibtex')\" title=\"Show BibTeX entry\" style=\"cursor:pointer;\">BibTeX<\/a><\/span><\/p><div class=\"tp_bibtex\" id=\"tp_bibtex_77\" style=\"display:none;\"><div class=\"tp_bibtex_entry\"><pre>@article{Kulakowski2008mscr,<br \/>\r\ntitle = {Modelowanie system\u00f3w czasu rzeczywistego w UML},<br \/>\r\nauthor = {K. Ku\u0142akowski and M. Kostrzewa},<br \/>\r\nyear  = {2008},<br \/>\r\ndate = {2008-01-01},<br \/>\r\nurldate = {2008-01-01},<br \/>\r\njournal = {Automatyka},<br \/>\r\nkeywords = {},<br \/>\r\npubstate = {published},<br \/>\r\ntppubtype = {article}<br \/>\r\n}<br \/>\r\n<\/pre><\/div><p class=\"tp_close_menu\"><a class=\"tp_close\" onclick=\"teachpress_pub_showhide('77','tp_bibtex')\">Close<\/a><\/p><\/div><\/div><\/div><h3 class=\"tp_h3\" id=\"tp_h3_2007\">2007<\/h3><div class=\"tp_publication tp_publication_inproceedings\"><div class=\"tp_pub_info\"><p class=\"tp_pub_author\"> Ku\u0142akowski, K.;  Kostrzewa, M.<\/p><p class=\"tp_pub_title\">Modelowanie System\u00f3w Czasu Rzeczywistego w UML <span class=\"tp_pub_type tp_  inproceedings\">Proceedings Article<\/span> <\/p><p class=\"tp_pub_additional\"><span class=\"tp_pub_additional_in\">In: <\/span><span class=\"tp_pub_additional_booktitle\">Seminarium wyjazdowe KA w Lublinie, <\/span><span class=\"tp_pub_additional_year\">2007<\/span>.<\/p><p class=\"tp_pub_menu\"><span class=\"tp_bibtex_link\"><a id=\"tp_bibtex_sh_81\" class=\"tp_show\" onclick=\"teachpress_pub_showhide('81','tp_bibtex')\" title=\"Show BibTeX entry\" style=\"cursor:pointer;\">BibTeX<\/a><\/span><\/p><div class=\"tp_bibtex\" id=\"tp_bibtex_81\" style=\"display:none;\"><div class=\"tp_bibtex_entry\"><pre>@inproceedings{Kulakowski2007mscr,<br \/>\r\ntitle = {Modelowanie System\u00f3w Czasu Rzeczywistego w UML},<br \/>\r\nauthor = {K. Ku\u0142akowski and M. Kostrzewa},<br \/>\r\nyear  = {2007},<br \/>\r\ndate = {2007-01-01},<br \/>\r\nurldate = {2007-01-01},<br \/>\r\nbooktitle = {Seminarium wyjazdowe KA w Lublinie},<br \/>\r\nkeywords = {},<br \/>\r\npubstate = {published},<br \/>\r\ntppubtype = {inproceedings}<br \/>\r\n}<br \/>\r\n<\/pre><\/div><p class=\"tp_close_menu\"><a class=\"tp_close\" onclick=\"teachpress_pub_showhide('81','tp_bibtex')\">Close<\/a><\/p><\/div><\/div><\/div><h3 class=\"tp_h3\" id=\"tp_h3_2006\">2006<\/h3><div class=\"tp_publication tp_publication_inproceedings\"><div class=\"tp_pub_info\"><p class=\"tp_pub_author\"> Ku\u0142akowski, K.;  Kostrzewa, M.<\/p><p class=\"tp_pub_title\">Wspomaganie tworzenia oprogramowania system\u00f3w reaktywnych w Real Time Java <span class=\"tp_pub_type tp_  inproceedings\">Proceedings Article<\/span> <\/p><p class=\"tp_pub_additional\"><span class=\"tp_pub_additional_in\">In: <\/span><span class=\"tp_pub_additional_booktitle\">Systemy informatyczne z ograniczeniami czasowymi, <\/span><span class=\"tp_pub_additional_publisher\">WK\u0141 Wydawnictwa Komunikacji i \u0141\u0105czno\u015bci, <\/span><span class=\"tp_pub_additional_year\">2006<\/span>.<\/p><p class=\"tp_pub_menu\"><span class=\"tp_bibtex_link\"><a id=\"tp_bibtex_sh_83\" class=\"tp_show\" onclick=\"teachpress_pub_showhide('83','tp_bibtex')\" title=\"Show BibTeX entry\" style=\"cursor:pointer;\">BibTeX<\/a><\/span><\/p><div class=\"tp_bibtex\" id=\"tp_bibtex_83\" style=\"display:none;\"><div class=\"tp_bibtex_entry\"><pre>@inproceedings{Kulakowski2006wtos,<br \/>\r\ntitle = {Wspomaganie tworzenia oprogramowania system\u00f3w reaktywnych w Real Time Java},<br \/>\r\nauthor = {K. Ku\u0142akowski and M. Kostrzewa},<br \/>\r\nyear  = {2006},<br \/>\r\ndate = {2006-01-01},<br \/>\r\nbooktitle = {Systemy informatyczne z ograniczeniami czasowymi},<br \/>\r\npublisher = {WK\u0141 Wydawnictwa Komunikacji i \u0141\u0105czno\u015bci},<br \/>\r\nkeywords = {},<br \/>\r\npubstate = {published},<br \/>\r\ntppubtype = {inproceedings}<br \/>\r\n}<br \/>\r\n<\/pre><\/div><p class=\"tp_close_menu\"><a class=\"tp_close\" onclick=\"teachpress_pub_showhide('83','tp_bibtex')\">Close<\/a><\/p><\/div><\/div><\/div><div class=\"tp_publication tp_publication_inproceedings\"><div class=\"tp_pub_info\"><p class=\"tp_pub_author\"> Kostrzewa, M.;  Ku\u0142akowski, K.<\/p><p class=\"tp_pub_title\">A practical approach to the modelling, visualising and executing of reactive systems <span class=\"tp_pub_type tp_  inproceedings\">Proceedings Article<\/span> <\/p><p class=\"tp_pub_additional\"><span class=\"tp_pub_additional_in\">In: <\/span><span class=\"tp_pub_additional_booktitle\">MIXed DESign of integrated circuits and systems, <\/span><span class=\"tp_pub_additional_pages\">pp. 705\u2013710, <\/span><span class=\"tp_pub_additional_year\">2006<\/span>.<\/p><p class=\"tp_pub_menu\"><span class=\"tp_bibtex_link\"><a id=\"tp_bibtex_sh_86\" class=\"tp_show\" onclick=\"teachpress_pub_showhide('86','tp_bibtex')\" title=\"Show BibTeX entry\" style=\"cursor:pointer;\">BibTeX<\/a><\/span><\/p><div class=\"tp_bibtex\" id=\"tp_bibtex_86\" style=\"display:none;\"><div class=\"tp_bibtex_entry\"><pre>@inproceedings{Kostrzewa2006apat,<br \/>\r\ntitle = {A practical approach to the modelling, visualising and executing of reactive systems},<br \/>\r\nauthor = {M. Kostrzewa and K. Ku\u0142akowski},<br \/>\r\nyear  = {2006},<br \/>\r\ndate = {2006-01-01},<br \/>\r\nbooktitle = {MIXed DESign of integrated circuits and systems},<br \/>\r\npages = {705\u2013710},<br \/>\r\nkeywords = {},<br \/>\r\npubstate = {published},<br \/>\r\ntppubtype = {inproceedings}<br \/>\r\n}<br \/>\r\n<\/pre><\/div><p class=\"tp_close_menu\"><a class=\"tp_close\" onclick=\"teachpress_pub_showhide('86','tp_bibtex')\">Close<\/a><\/p><\/div><\/div><\/div><\/div><\/div>\n","protected":false},"excerpt":{"rendered":"<p>Formal methods and robotics The KBP&nbsp;(Knowledge-Behavior-Platform)&nbsp;architecture is proposed with the aim of integrating the low level control systems (Platform), and artificial intelligence (Knowledge) by interfacing these two layers through explicitly plugging them into the reactive planning component (Behavior). For the implementation language of the behavior model, the CCL notation was chosen. A Concurrent Communicating Lists [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"page-templates\/full-width.php","meta":{"footnotes":""},"class_list":["post-185","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/home.agh.edu.pl\/~kkulak\/wp-json\/wp\/v2\/pages\/185","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/home.agh.edu.pl\/~kkulak\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/home.agh.edu.pl\/~kkulak\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/home.agh.edu.pl\/~kkulak\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/home.agh.edu.pl\/~kkulak\/wp-json\/wp\/v2\/comments?post=185"}],"version-history":[{"count":14,"href":"https:\/\/home.agh.edu.pl\/~kkulak\/wp-json\/wp\/v2\/pages\/185\/revisions"}],"predecessor-version":[{"id":324,"href":"https:\/\/home.agh.edu.pl\/~kkulak\/wp-json\/wp\/v2\/pages\/185\/revisions\/324"}],"wp:attachment":[{"href":"https:\/\/home.agh.edu.pl\/~kkulak\/wp-json\/wp\/v2\/media?parent=185"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}