Projects funded by the NCN

Information on the principal investigator and host institution

Information of the project and the call

Keywords

Equipment

Delete all

Robotic system design methodology based on a formal specification

2017/25/N/ST7/00900

Keywords:

robotics control system formal specification robot controller robot system design methodology

Descriptors:

  • ST7_10: Hardware implementation of algorithms

Panel:

ST7 - Systems and communication engineering: electronics, communication, optoelectronics

Host institution :

Politechnika Warszawska, Wydział Elektroniki i Technik Informacyjnych

woj. mazowieckie

Other projects carried out by the institution 

Principal investigator (from the host institution):

Maksym Figat 

Number of co-investigators in the project: 3

Call: PRELUDIUM 13 - announced on 2017-03-15

Amount awarded: 69 600 PLN

Project start date (Y-m-d): 2018-03-27

Project end date (Y-m-d): 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)
  • Articles in post-conference publications (3)
  1. Communication Within Multi-FSM Based Robotic Systems
    Authors:
    Cezary Zieliński, Maksym Figat, René Hexel
    Academic press:
    Journal of Intelligent & Robotic Systems (rok: 2019, tom: 93, strony: 787-805), Wydawca: Springer Netherlands
    Status:
    Published
    DOI:
    10.1007/s10846-018-0869-6 - link to the publication
  2. Robotic System Specification Methodology Based on Hierarchical Petri Nets
    Authors:
    Maksym Figat, Cezary Zieliński
    Academic press:
    IEEE Access (rok: 2020, tom: 8, strony: 71617-71627), Wydawca: IEEE
    Status:
    Published
    DOI:
    10.1109/ACCESS.2020.2987099 - link to the publication
  1. Hierarchical Petri Net Representation of Robot Systems
    Authors:
    Maksym Figat, Cezary Zieliński
    Conference:
    Conference on Automation (AUTOMATION 2019) (rok: 2019, ), Wydawca: Springer, Cham
    Data:
    konferencja 27-29.03.2019
    Status:
    Published
  2. 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) (rok: 2019, ), Wydawca: brak informacji
    Data:
    konferencja 20-24.05.2019
    Status:
    Published
  3. Model agenta upostaciowionego bazujący na hierarchicznej sieci Petriego
    Authors:
    Maksym Figat, Cezary Zieliński
    Conference:
    15. Krajowa Konferencja Robotyki (15 KKR 2018) (rok: 2018, ), Wydawca: Oficyna Wydawnicza Politechniki Warszawskiej
    Data:
    konferencja 5-9.09.2018
    Status:
    Published

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy