English
Related papers

Related papers: Toward Achieving Formal Guarantees for Human-Aware…

200 papers

Humans seamlessly fuse anticipatory planning with immediate feedback to perform successive mobile manipulation tasks without stopping, achieving both high efficiency and reliability. Replicating this fluid and reliable behavior in robots…

Humanoid robots are increasingly demanded to operate in interactive and human-surrounded environments while achieving sophisticated locomotion and manipulation tasks. To accomplish these tasks, roboticists unremittingly seek for advanced…

Robotics · Computer Science 2018-11-28 Ye Zhao

This paper introduces MobileH2R, a framework for learning generalizable vision-based human-to-mobile-robot (H2MR) handover skills. Unlike traditional fixed-base handovers, this task requires a mobile robot to reliably receive objects in a…

Robotics · Computer Science 2025-01-10 Zifan Wang , Ziqing Chen , Junyu Chen , Jilong Wang , Yuxin Yang , Yunze Liu , Xueyi Liu , He Wang , Li Yi

In this paper, we propose a framework for the control of mobile robots subject to temporal logic specifications using barrier functions. Complex task specifications can be conveniently encoded using linear temporal logic. In particular, we…

Robotics · Computer Science 2020-03-31 Mohit Srinivasan , Samuel Coogan

Nowadays, robots are expected to interact more physically, cognitively, and socially with people. They should adapt to unpredictable contexts alongside individuals with various behaviours. For this reason, personalisation is a valuable…

A major challenge for the realization of intelligent robots is to supply them with cognitive abilities in order to allow ordinary users to program them easily and intuitively. One way of such programming is teaching work tasks by…

Human-Computer Interaction · Computer Science 2016-11-17 P. C. McGuire , J. Fritsch , J. J. Steil , F. Roethling , G. A. Fink , S. Wachsmuth , G. Sagerer , H. Ritter

Applications that require multi-robot systems to operate independently for extended periods of time in unknown or unstructured environments face a broad set of challenges, such as hardware degradation, changing weather patterns, or…

Robotics · Computer Science 2021-04-16 Yousef Emam , Paul Glotfelter , Sean Wilson , Gennaro Notomista , Magnus Egerstedt

Recent advances in learning for control allow to synthesize vehicle controllers from learned system dynamics and maintain robust stability guarantees. However, no approach is well-suited for training linear time-invariant (LTI) controllers…

Systems and Control · Electrical Eng. & Systems 2022-05-11 Marc-Antoine Beaudoin , Benoit Boulet

Assistive robotic systems have shown growing potential to improve the quality of life of those with disabilities. As researchers explore the automation of various caregiving tasks, considerations for how the technology can still preserve…

Human-robot collaboration has benefited users with higher efficiency towards interactive tasks. Nevertheless, most collaborative schemes rely on complicated human-machine interfaces, which might lack the requisite intuitiveness compared…

Robotics · Computer Science 2024-10-28 Haolin Fei , Stefano Tedeschi , Yanpei Huang , Andrew Kennedy , Ziwei Wang

Ensuring human safety in collaborative robotics can compromise efficiency because traditional safety measures increase robot cycle time when human interaction is frequent. This paper proposes a safety-aware approach to mitigate efficiency…

Robotics · Computer Science 2025-12-22 M. Faroni , A. Spano , A. M. Zanchettin , P. Rocco

Research in social robotics is commonly focused on designing robots that imitate human behavior. While this might increase a user's satisfaction and acceptance of robots at first glance, it does not automatically aid a non-expert user in…

This paper presents a method for synthesizing a reactive program which coordinates the actions of a group of other reactive programs, so that the combined system satisfies a temporal specification of its desired long-term behavior.…

Programming Languages · Computer Science 2019-11-12 Suguman Bansal , Kedar S. Namjoshi , Yaniv Sa'ar

As social robots become increasingly prevalent in day-to-day environments, they will participate in conversations and appropriately manage the information shared with them. However, little is known about how robots might appropriately…

Robotics · Computer Science 2022-01-11 Brian Tang , Dakota Sullivan , Bengisu Cagiltay , Varun Chandrasekaran , Kassem Fawaz , Bilge Mutlu

We generalize the system level synthesis framework to systems defined by bounded causal linear operators, and use this parameterization to make connections between robust system level synthesis and classical results from the robust control…

Optimization and Control · Mathematics 2020-05-15 Nikolai Matni , Anish A. Sarma

We present an abstraction and refinement methodology for the automated controller synthesis to enforce general predefined specifications. The designed controllers require quantized (or symbolic) state information only and can be interfaced…

Optimization and Control · Mathematics 2017-09-21 Gunther Reissig , Alexander Weber , Matthias Rungger

The field of Human-Robot Collaboration (HRC) has seen a considerable amount of progress in recent years. Thanks in part to advances in control and perception algorithms, robots have started to work in increasingly unstructured environments,…

Robotics · Computer Science 2022-02-15 Olivier Mangin , Alessandro Roncone , Brian Scassellati

When a robot performs a task next to a human, physical interaction is inevitable: the human might push, pull, twist, or guide the robot. The state-of-the-art treats these interactions as disturbances that the robot should reject or avoid.…

Robotics · Computer Science 2021-07-07 Dylan P. Losey , Andrea Bajcsy , Marcia K. O'Malley , Anca D. Dragan

Autonomous robots are projected to significantly augment the manual workforce, especially in repetitive and hazardous tasks. For a successful deployment of such robots in human environments, it is crucial to guarantee human safety.…

Robotics · Computer Science 2025-07-30 Jakob Thumm , Julian Balletshofer , Leonardo Maglanoc , Luis Muschal , Matthias Althoff

For planning an assembly of a product from a given set of parts, robots necessitate certain cognitive skills: high-level planning is needed to decide the order of actuation actions, while geometric reasoning is needed to check the…

Artificial Intelligence · Computer Science 2026-05-14 Momina Rizwan , Volkan Patoglu , Esra Erdem