3 papers
eess.SY2026
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…
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.RO2025
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…