This paper proposes FineMote, a control firmware generation framework with a scheduling mechanism tailored for tree-structured device models, and implements the proposed framework and evaluates it on real robotic control platforms, showing improved timing behavior and runtime responsiveness.
Abstract
As robotic systems become increasingly complex, generating control firmware from structural description files has emerged as a promising paradigm for reducing development complexity and improving maintainability. Existing robot description formats naturally represent robotic systems as hierarchical tree structures, where devices are recursively composed into functional subsystems and eventually into the complete robot. However, such tree-structured organization also introduces structured data dependencies that affect perception-to-decision latency and, consequently, control performance. In this paper, we propose FineMote, a control firmware generation framework with a scheduling mechanism tailored for tree-structured device models. The framework objectifies heterogeneous low-level control logic and exposes unified scheduling units and execution entry points. Based on the resulting object hierarchy, the scheduling mechanism exploits compile-time information to statically determine execution order with minimal runtime overhead. We prove that the proposed mechanism satisfies deadline and precedence constraints, and further derive an upper bound on intra-tree decision latency. We implement the proposed framework and evaluate it on real robotic control platforms. The experimental results show improved timing behavior and runtime responsiveness, demonstrating the practical effectiveness of the proposed design.
Factories are shifting toward smaller lot sizes with high product customization, requiring frequent re-programming of flexible and reconfigurable automation systems. LLM-based agents can be deployed in two complementary roles: offline, they generate deterministic production sequences, reducing programming effort; onlin...
Kay Köhle, Darko Anicic, T. Runkler et al.· IEEE International Conferenc...· 0 citations
A coordination architecture in which a Hierarchical Task Network (HTN) planner generates a verifiable cross-server plan once, and a runtime middleware executes it deterministically across multiple MCP servers, binding cross-action data dependencies via a template mechanism substituted at execution time.
E. Jacopin, Éric Jacopin, Koichi Takahashi· 0 citations
This paper’s key contribution is a module extension for an existing ROS-focused container framework that leverages Kubernetes’ capabilities—controlled rolling updates, ROS-adapted readiness checks, distributed workload management, and embedded observability—to bridge cloud-native practices with robotics development.
Nicholas Hopf, Rafael Arrais, Pedro Melo et al.· Applied Sciences· 0 citations
A compositional framework that formalizes robotic systems as abstract circuits within a strict symmetric monoidal category, in which design and runtime composition of hardware, software, and behavior are synthesized simultaneously via an SMT-based solver.
Steven Swanbeck, Mitchell W. Pryor· 1 citation· ⚡1
Historically, the integration of ROS 2 with Programmable Logic Controllers (PLCs) has been achieved using standard industrial protocols (such as MODBUS TCP, OPC UA, MQTT). However, these conventional approaches introduce network latencies that preclude strict closed-loop kinematic control. Addressing this constraint, l...
Juan Diego Cruz Salazar, Edwin Daniel Oña Simbaña, Santiago Martínez· Jornadas de Automática· 0 citations
Large language models (LLMs) have recently been applied in systems research as a tool to reduce human-intensive engineering effort through cost-efficient automation. Decades of research have produced a rich landscape of concurrency control (CC) protocols, each encoding distinct trade-offs in correctness, throughput, an...