Showing cs.ROShow all
3 papers · 1 filter
cs.RO2026
Ontology-Driven Robotic Specification Synthesis
Maksym Figat, Ryan M. Mackey, Michel D. Ingham
This paper addresses robotic system engineering for safety- and mission-critical applications by bridging the gap between high-level objectives and formal, executable specification…
cs.RO2024
Simplification of Robotic System Model Analysis by Petri Net Meta-Model Property Transfer
Maksym Figat, Cezary Zieliński
This paper presents a simplification of robotic system model analysis due to the transfer of Robotic System Hierarchical Petri Net (RSHPN) meta-model properties onto the model of a…
cs.RO2019
Methodology of Designing Multi-agent Robot Control Systems Utilising Hierarchical Petri Nets
Maksym Figat, Cezary Zieliński
A robot system is designed as a set of embodied agents. An embodied agent is decomposed into cooperating subsystems. In our previous work activities of subsystems were defined by h…