Synthesis of Robotic System Controllers Using Robotic System Specification Language

Maksym Figat; Cezary Zielinski

RA-L 20237 citations

Synthesis of Robotic System Controllers Using Robotic System Specification Language

Abstract

Robotic System Specification Language (RSSL) stems from the embodied agent approach to robotic system design. It enables the specification of both the structure and activities of a multi-robot multi-agent robotic system. RSSL specification can be verified and automatically transformed by its compiler into a six-layered Robotic System Hierarchical Petri Net (RSHPN). RSHPN models the activities and structure of the designed robotic system. The automatically generated RSHPN is loaded into RSHPN Tool modeling RSHPNs and automatically generating the controller code. This approach was validated on several robotic systems. The use of RSSL and RSHPN facilitates the synthesis of robotic system controllers.

BibTeX

@inproceedings{ral2023_synthesisofrobot,
  title = {Synthesis of Robotic System Controllers Using Robotic System Specification Language},
  author = {Maksym Figat and Cezary Zielinski},
  booktitle = {RA-L 2023},
  year = {2023}
}