Thais Campos de Almeida

Automated Synthesis of Modular Manipulators’ Structure and Control for Continuous Tasks around Obstacles

In this work, we describe an end-to-end system for automatically synthesizing correct-by-construction structure and controls for modular manipulators from high-level task specifications. We define specifications that include both continuous trajectories the end-effector must follow and constraints o…