Robotic system design methodology based on a formal specification
2017/25/N/ST7/00900
Keywords
Descriptors
- ST7_10: Robotyka
Panel
ST7 – Systems and communication engineering: electronics, communication, optoelectronics
Host institution
Politechnika Warszawska, Wydział Elektroniki i Technik Informacyjnych
Voivodeship: mazowieckie
Principal investigator (from the host institution)
Number of co-investigators in the project: 3
Call
PRELUDIUM 13 – announced on 2017-03-15
- Amount awarded
- 69 600 PLN
- Project start date
- 2018-03-27
- Project end date
- 2020-09-26
- Project duration
- 30 months (the same as in the proposal)
- Project status
- Project settled
Project description
Download the project description in a pdf file
Note — project descriptions were prepared by the authors of the applications themselves and placed in the system in an unchanged form.
Information in the final report
Publication in academic press/journals (2)
-
Communication Within Multi-FSM Based Robotic Systems
- Authors:
- Cezary Zieliński, Maksym Figat, René Hexel
- Academic press:
- Journal of Intelligent & Robotic Systems (year: 2019, volume: 93, pages: 787-805), Publisher: Springer Netherlands
- Status:
- Published
- DOI:
- 10.1007/s10846-018-0869-6 – link to the publication
-
Robotic System Specification Methodology Based on Hierarchical Petri Nets
- Authors:
- Maksym Figat, Cezary Zieliński
- Academic press:
- IEEE Access (year: 2020, volume: 8, pages: 71617-71627), Publisher: IEEE
- Status:
- Published
- DOI:
- 10.1109/ACCESS.2020.2987099 – link to the publication
Articles in post-conference publications (3)
-
Model agenta upostaciowionego bazujący na hierarchicznej sieci Petriego
- Authors:
- Maksym Figat, Cezary Zieliński
- Conference:
- 15. Krajowa Konferencja Robotyki (15 KKR 2018) (year: 2018, pages: 395-406), Publisher: Oficyna Wydawnicza Politechniki Warszawskiej
- Date:
- conference 5-9.09.2018
- Status:
- Published
-
Methodology of Designing Multi-agent Robot Control Systems Utilising Hierarchical Petri Nets
- Authors:
- Maksym Figat, Cezary Zieliński
- Conference:
- 2019 International Conference on Robotics and Automation (ICRA 2019) (year: 2019, pages: 3363-3369), Publisher: brak informacji
- Date:
- conference 20-24.05.2019
- Status:
- Published
-
Hierarchical Petri Net Representation of Robot Systems
- Authors:
- Maksym Figat, Cezary Zieliński
- Conference:
- Conference on Automation (AUTOMATION 2019) (year: 2019, pages: 492-501), Publisher: Springer, Cham
- Date:
- conference 27-29.03.2019
- Status:
- Published