This article presents a comprehensive survey of the integration of machine learning
techniques into robotic grasping, with a special emphasis on the challenges and …

Runtime verification (RV) has the potential to enable the safe operation of safety-critical
systems that are too complex to formally verify, such as Robot Operating System 2 (ROS2) …

Space free-flyers like the Astrobee robots currently operating aboard the International Space
Station must operate with inherent system uncertainties. Parametric uncertainties like mass …

Typical robotic systems rely on models for planning. Therefore, the quality of the robot's
behavior is heavily dependent on how accurately the model can predict the outcome of the …

Certain forms of uncertainty that robotic systems encounter can be explicitly learned within
the context of a known model, like parametric model uncertainties such as mass and …

The Mobile Metamaterial Internal Co-Integrator (MMIC-I) is a structure assembly and
servicing robot for in-space servicing, assembly, and manufacturing of primary structures …

The estimation of relative motion between spacecraft increasingly relies on feature-matching
computer vision, which feeds data into a recursive filtering algorithm. Kalman filters …

Many modern robotic systems rely on models to complete their tasks. A model captures all
aspects of the environment relevant to the robot, and enables the robot to predict the result …

Last decades, space applications and technological demonstrations involving small
satellites have significantly increased. Many companies, which invest in developing …