Arquimedes Canedo

Papers

Total Citations

H-Index

About

Arquimedes Canedo is a pioneering researcher at the intersection of robotics, formal methods, and industrial automation. His work redefines how robotic systems achieve interoperability and how real-time embedded software is designed for manufacturing. Canedo’s most notable contribution is **RoboCat**, a groundbreaking framework that applies category theory—a branch of mathematics—to robotics. By using goal-oriented, declarative programming, RoboCat formally models modularity and behavioral knowledge, enabling seamless software integration with only local modifications. This work, cited 7 times, offers a powerful alternative to traditional, brittle robotic architectures. In parallel, Canedo has advanced **Model-Based Design (MBD)** for time-triggered real-time embedded systems in digital manufacturing. His 2015 paper presents an innovative tool-chain that automatically synthesizes software for Programmable Logical Controllers (PLCs) compliant with the IEC 61131-3 standard. This approach, cited 2 times, streamlines the development of reliable, time-critical automation systems through Software-In-the-Loop validation. Together, these contributions demonstrate Canedo’s unique ability to bridge abstract mathematical theory with practical, industrial-scale solutions, positioning him as a key innovator in next-generation cyber-physical systems and intelligent manufacturing.