PRESS-NEWS.org - Press Release Distribution
PRESS RELEASES DISTRIBUTION

Method rapidly verifies that a robot will avoid collisions

Faster and more accurate than some alternatives, this approach could be useful for robots that interact with humans or work in tight spaces

2024-03-07
(Press-News.org)

Before a robot can grab dishes off a shelf to set the table, it must ensure its gripper and arm won’t crash into anything and potentially shatter the fine china. As part of its motion planning process, a robot typically runs “safety check” algorithms that verify its trajectory is collision-free. 

However, sometimes these algorithms generate false positives, claiming a trajectory is safe when the robot would actually collide with something. Other methods that can avoid false positives are typically too slow for robots in the real world.

Now, MIT researchers have developed a safety check technique which can prove with 100 percent accuracy that a robot’s trajectory will remain collision-free (assuming the model of the robot and environment is itself accurate). Their method, which is so precise it can discriminate between trajectories that differ by only millimeters, provides proof in only a few seconds.

But a user doesn’t need to take the researchers’ word for it — the mathematical proof generated by this technique can be checked quickly with relatively simple math.

The researchers accomplished this using a special algorithmic technique, called sum-of-squares programming, and adapted it to effectively solve the safety check problem. Using sum-of-squares programming enables their method to generalize to a wide range of complex motions.

This technique could be especially useful for robots that must move rapidly avoid collisions in spaces crowded with objects, such as food preparation robots in a commercial kitchen. It is also well-suited for situations where robot collisions could cause injuries, like home health robots that care for frail patients.

“With this work, we have shown that you can solve some challenging problems with conceptually simple tools. Sum-of-squares programming is a powerful algorithmic idea, and while it doesn’t solve every problem, if you are careful in how you apply it, you can solve some pretty nontrivial problems,” says Alexandre Amice, an electrical engineering and computer science (EECS) graduate student and lead author of a paper on this technique.

Amice is joined on the paper fellow EECS graduate student Peter Werner and senior author Russ Tedrake, the Toyota Professor of EECS, Aeronautics and Astronautics, and Mechanical Engineering, and a member of the Computer Science and Artificial Intelligence Laboratory (CSAIL). The work will be presented at the International Conference on Robots and Automation.

Certifying safety

Many existing methods that check whether a robot’s planned motion is collision-free do so by simulating the trajectory and checking every few seconds to see whether the robot hits anything. But these static safety checks can’t tell if the robot will collide with something in the intermediate seconds.

This might not be a problem for a robot wandering around an open space with few obstacles, but for robots performing intricate tasks in small spaces, a few seconds of motion can make an enormous difference.

Conceptually, one way to prove that a robot is not headed for a collision would be to hold up a piece of paper that separates the robot from any obstacles in the environment. Mathematically, this piece of paper is called a hyperplane. Many safety check algorithms work by generating this hyperplane at a single point in time. However, each time the robot moves, a new hyperplane needs to be recomputed to perform the safety check.

Instead, this new technique generates a hyperplane function that moves with the robot, so it can prove that an entire trajectory is collision-free rather than working one hyperplane at a time.

The researchers used sum-of-squares programming, an algorithmic toolbox that can effectively turn a static problem into a function. This function is an equation that describes where the hyperplane needs to be at each point in the planned trajectory so it remains collision-free. 

Sum-of-squares can generalize the optimization program to find a family of collision-free hyperplanes. Often, sum-of-squares is considered a heavy optimization that is only suitable for offline use, but the researchers have shown that for this problem it is extremely efficient and accurate. 

“The key here was figuring out how to apply sum-of-squares to our particular problem. The biggest challenge was coming up with the initial formulation. If I don’t want my robot to run into anything, what does that mean mathematically, and can the computer give me an answer?” Amice says.

In the end, like the name suggests, sum-of-squares produces a function that is the sum of several squared values. The function is always positive, since the square of any number is always a positive value. 

Trust but verify

By double-checking that the hyperplane function contains squared values, a human can easily verify that the function is positive, which means the trajectory is collision-free, Amice explains.

While the method certifies with perfect accuracy, this assumes the user has an accurate model of the robot and environment; the mathematical certifier is only as good as the model.

“One really nice thing about this approach is that the proofs are really easy to interpret, so you don’t have to trust me that I coded it right because you can check it yourself,” he adds.

They tested their technique in simulation by certifying that complex motion plans for robots with one and two arms were collision-free. At its slowest, their method took just a few hundred milliseconds to generate a proof, making it much faster than some alternate techniques.

While their approach is fast enough to be used as a final safety check in some real-world situations, it is still too slow to be implemented directly in a robot motion planning loop, where decisions need to be made in microseconds, Amice says.

The researchers plan to accelerate their process by ignoring situations that don’t require safety checks, like when the robot is far away from any objects it might collide with. They also want to experiment with specialized optimization solvers that could run faster.

This work was supported, in part, by Amazon and the U.S. Air Force Research Laboratory.

###

Written by Adam Zewe, MIT News

Paper: “Certifying Bimanual RRT Motion Plans in a Second”

https://arxiv.org/pdf/2310.16603.pdf

END



ELSE PRESS RELEASES FROM THIS DATE:

Eating habits, physical activity practice and clinical prognosis of colorectal cancer patients with overweight/obesity

2024-03-07
Background and objectives Obesity is a chronic metabolic disease associated with the development of several other diseases, including cancer. The present study aims to evaluate the eating habits, physical activity, and clinical profiles of colorectal cancer (CRC) patients with overweight/obesity.   Methods A cross-sectional study was conducted with data collected from the medical records of patients diagnosed with CRC (n = 41) from June 2019 to June 2022. Additionally, a questionnaire (n = 35) was applied to gather information on eating habits and physical activity. The data were ...

Exploring the effectiveness of a novel pain management device for endometriosis pain

Exploring the effectiveness of a novel pain management device for endometriosis pain
2024-03-07
Endometriosis is a chronic condition affecting women, often resulting in painful symptoms such as menstrual cramps and pelvic pain. Pain caused by endometriosis significantly lowers the quality of life and reproductive health of affected women, with around one-third of women still experiencing pain and discomfort despite treatment. While hormonal therapies and surgeries are common treatments, they often do not result in complete alleviation of symptoms. Effectively managing pain is, therefore, crucial for managing ...

Fibrinolytic biomarkers for identifying patients at risk of severe COVID-19

Fibrinolytic biomarkers for identifying patients at risk of severe COVID-19
2024-03-07
The global impact of the COVID-19 pandemic on healthcare systems has been significant. The sudden surge in infected cases overwhelmed hospitals and disrupted routine healthcare services, thus further worsening public health. Managing patients, too, has been challenging due to the variation of COVID-19 symptoms, ranging from mild to severe, that require medical intervention.   To help hospitals prioritize patients in need of care, researchers have been looking into various biological markers that can determine the risk of the disease becoming more severe. Among these, proteins in the blood related to blood clot formation, increased inflammation, and ...

Exploring the surface properties of NiO with low-energy electron diffraction

Exploring the surface properties of NiO with low-energy electron diffraction
2024-03-07
Spintronics is a field that deals with electronics that exploit the intrinsic spin of electrons and their associated magnetic moment for applications such as quantum computing and memory storage devices. Owing to its spin and magnetism exhibited in its insulator-metal phase transition, the strongly correlated electron systems of nickel oxide (NiO) have been thoroughly explored for over eight decades. Interest in its unique antiferromagnetic (AF) and spin properties has seen a revival lately, since NiO is a potential material for ultrafast spintronics devices.   Despite this rise in popularity, exploration of its surface magnetic properties using ...

What drives students to take up teaching? New study explores aspirations and challenges faced by prospective teachers in Japan

What drives students to take up teaching? New study explores aspirations and challenges faced by prospective teachers in Japan
2024-03-07
As role models and mentors for the youth, teachers play an important role in guiding children into well-rounded adults. However, excessive workloads and high skill expectations have allegedly led to teacher shortages in Japan. In 2022, the Ministry of Education Culture, Sports, Science, and Technology (MEXT) reported a record low in applicants for primary school teaching positions, and a survey from the same year revealed that 65.8% of 924 full-time educators expressed a desire to quit due to overwhelming demands. To address the teacher shortage, Associate Professor Akihiro Saito from ...

Baby quasars: Growing supermassive black holes

Baby quasars: Growing supermassive black holes
2024-03-07
The James Webb Space Telescope makes one of the most unexpected findings within its first year of service: A high number of faint little red dots in the distant Universe could change the way we understand the genesis of supermassive black holes. The research, led by Jorryt Matthee, Assistant Professor in astrophysics at the Institute of Science and Technology Austria (ISTA), is now published in The Astrophysical Journal. A bunch of little red dots found in a tiny region of our night sky might be an unexpected breakthrough for the James Webb Space Telescope (JWST) within its first year of service. These objects were indistinguishable from normal galaxies through the ...

Carnegie Mellon researchers develop new machine learning method for modeling of chemical reactions

Carnegie Mellon researchers develop new machine learning method for modeling of chemical reactions
2024-03-07
Researchers from Carnegie Mellon University and Los Alamos National Laboratory have used machine learning to create a model that can simulate reactive processes in a diverse set of organic materials and conditions. "It's a tool that can be used to investigate more reactions in this field," said Shuhao Zhang, a graduate student in Carnegie Mellon University's Department of Chemistry. "We can offer a full simulation of the reaction mechanisms." Zhang is the first author on the paper that explains the creation and results of this new machine learning model, ...

Embargoed: For childhood cancer survivors, inherited genetic factors influence risk of cancers later in life

2024-03-07
Common inherited genetic factors that predict cancer risk in the general population may also predict elevated risk of new cancers among childhood cancer survivors, according to a study led by researchers at the National Cancer Institute (NCI), part of the National Institutes of Health. The findings, published March 7, 2024, in Nature Medicine, provide additional evidence that genetics may play an important role in the development of subsequent cancers in survivors of childhood cancer and suggest that common inherited variants could potentially inform screening and long-term ...

New method to predict medical risks decades ahead

New method to predict medical risks decades ahead
2024-03-07
[Vienna, March 5 2024] — The world population is aging at an increasing pace. According to the World Health Organization (WHO), in 2023, one in six people were over 60 years old. By 2050, the number of people over 60 is expected to double to 2.1 billion. “As age increases, the risk of multiple, often chronic diseases occurring simultaneously—known as multimorbidity—significantly rises,” explains Elma Dervic from the Complexity Science Hub (CSH). Given the demographic shift we are facing, this poses several challenges. On one hand, multimorbidity diminishes ...

City of Hope-developed chimeric antigen receptor (CAR) T cell therapy shows clinical activity in patients with aggressive brain tumors in a Phase 1 trial

City of Hope-developed chimeric antigen receptor (CAR) T cell therapy shows clinical activity in patients with aggressive brain tumors in a Phase 1 trial
2024-03-07
LOS ANGELES — A pioneering Phase 1 CAR T cell therapy trial for the treatment of glioblastoma at City of Hope, one of the largest cancer treatment and research organizations in the United States, demonstrates promising clinical activity against incurable brain tumors, according to research published today in Nature Medicine.  The study, which is the largest reported trial to date of CAR T therapy for solid tumors, evaluated CAR T cells engineered to target the tumor-associated antigen interleukin-13 receptor alpha 2 (IL13Rα2), a product invented at City of Hope and exclusively licensed by Mustang Bio Inc. (Nasdaq: MBIO), a Fortress Biotech Inc. (Nasdaq: ...

LAST 30 PRESS RELEASES:

Exercise as an anti-ageing intervention to avoid detrimental impact of mental fatigue

UMass Amherst Nursing Professor Emerita honored as ‘Living Legend’

New guidelines aim to improve cystic fibrosis screening

Picky eaters by day, buffet by night: Butterfly, moth diets sync to plant aromas

Pennington Biomedical’s Dr. Leanne Redman honored with the E. V. McCollum Award from the American Society for Nutrition

CCNY physicists uncover electronic interactions mediated via spin waves

Researchers’ 3D-printing formula may transform future of foam

Nurture more important than nature for robotic hand

Drug-delivering aptamers target leukemia stem cells for one-two knockout punch

New study finds that over 95% of sponsored influencer posts on Twitter were not disclosed

New sea grant report helps great lakes fish farmers navigate aquaculture regulations

Strain “trick” improves perovskite solar cells’ efficiency

How GPS helps older drivers stay on the roads

Estrogen and progesterone stimulate the body to make opioids

Dancing with the cells – how acoustically levitating a diamond led to a breakthrough in biotech automation

Machine learning helps construct an evolutionary timeline of bacteria

Cellular regulator of mRNA vaccine revealed... offering new therapeutic options

Animal behavioral diversity at risk in the face of declining biodiversity

Finding their way: GPS ignites independence in older adult drivers

Antibiotic resistance among key bacterial species plateaus over time

‘Some insects are declining but what’s happening to the other 99%?’

Powerful new software platform could reshape biomedical research by making data analysis more accessible

Revealing capillaries and cells in living organs with ultrasound

American College of Physicians awards $260,000 in grants to address equity challenges in obesity care

Researchers from MARE ULisboa discover that the European catfish, an invasive species in Portugal, has a prolonged breeding season, enhancing its invasive potential

Rakesh K. Jain, PhD, FAACR, honored with the 2025 AACR Award for Lifetime Achievement in Cancer Research

Solar cells made of moon dust could power future space exploration

Deporting immigrants may further shrink the health care workforce

Border region emergency medical services in migrant emergency care

Resident physician intentions regarding unionization

[Press-News.org] Method rapidly verifies that a robot will avoid collisions
Faster and more accurate than some alternatives, this approach could be useful for robots that interact with humans or work in tight spaces