4 papers
Constraint-Driven Synthesis of Hyper Petri Nets
Maksym Figat, Alessandro Pinto
This paper addresses the modeling and synthesis of constrained robotic system behaviors using Petri nets (PNs). It investigates how to construct models in which all observable syst…
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…
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…
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…