Max Robotics — Global Service Robot Directory + US Certification

About

Maksym Figat is a roboticist whose work centers on formal methods for designing and specifying robot control systems. His major contributions lie in developing model-based approaches that bring mathematical rigor to the often ad-hoc world of robotics software. Figat’s research introduces hierarchical Petri nets and finite state machines (FSMs) as core tools for decomposing complex robotic systems into verifiable, reusable components. His most cited paper, "Variable structure robot control systems: The RAPP approach" (35 citations), established a foundation for adaptive robot architectures. This work is complemented by his development of the Robotic System Specification Language (RSSL), a formal language that enables automatic synthesis of controllers from high-level specifications. Figat’s impact is demonstrated through a consistent stream of publications, with several papers accumulating 20+ citations, including his work on Hierarchical Petri net methodologies and parameterised meta-models for multi-agent systems. Notably, his 2023 paper on predictive pan–tilt camera tracking introduces novel control strategies for dynamic object tracking, showcasing his ability to apply formal methods to practical perception challenges. Through his systematic approach to robot system design, Figat is helping to create a future where robotic software is as reliable and well-engineered as the hardware it controls.