{'fraction_non_alphanumeric': 0.007936507936507936, 'fraction_numerical': 0.0, 'mean_word_length': 5.640350877192983, 'pattern_counts': {'":': 0, '<': 0, '<?xml version=': 0, '>': 0, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
A Formal Control Architecture for Collaborative Robotics Applications

The increasing interest in collaborative robotics applications is mainly due to the flexibility of these robots and to the possibility of saving space on the production shopfloor. On the other hand, physical collaboration is way far from being a commonly adopted practice, and most of the applications only entails a reduced level of interaction. This work addresses the problem of synchronising human and robot activities and proposes a formal control architecture to govern the execution of collaborative application requiring some degree of coordination between the human and the robot. The control architecture is then validated in a realistic collaborative assembly demonstration.