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:

AI model offers accurate and explainable insights to support autism assessment

Process for dealing with sexual misconduct by doctors requires major reform

Severe pregnancy sickness raises risk of mental health conditions by over 50%

Early humans may have walked from Türkiye to mainland Europe, new groundbreaking research suggests

New study shows biochar’s electrical properties can influence rice field methane emissions

Guangdong faces largest chikungunya outbreak on record

Tirzepatide improves blood sugar control in children aged 10-17 years with type 2 diabetes inadequately controlled on existing therapies (SURPASS-PEDS trial)

An old drug, in a low dose, shown to be safe and effective in preventing progression of type 1 diabetes in children and young people (MELD-ATG trial)

Study reports potential effects of verapamil in slowing progression of type 1 diabetes

Fresh hope for type 1 diabetes as daily pill that slows onset confirms promise at 2-year follow-up

New estimates predict over 4 million missing people who would be alive in 2025 if not for inadequate type 1 diabetes care

So what should we call this – a grue jay?

Chicago Quantum Exchange-led coalition advances to final round in NSF Engine competition

Study identifies candidates for therapeutic targets in pediatric germ cell tumors

Media alert: The global burden of CVD

Study illuminates contributing factors to blood vessel leakage

What nations around the world can learn from Ukraine

Mixing tree species does not always make forests more drought-resilient

Public confidence in U.S. health agencies slides, fueled by declines among Democrats

“Quantum squeezing” a nanoscale particle for the first time

El Niño spurs extreme daily rain events despite drier monsoons in India

Two studies explore the genomic diversity of deadly mosquito vectors

Zebra finches categorize their vocal calls by meaning

Analysis challenges conventional wisdom about partisan support for US science funding

New model can accurately predict a forest’s future

‘Like talking on the telephone’: Quantum computing engineers get atoms chatting long distance

Genomic evolution of major malaria-transmitting mosquito species uncovered

Overcoming the barriers of hydrogen storage with a low-temperature hydrogen battery

Tuberculosis vulnerability of people with HIV: a viral protein implicated

Partnership with Kenya's Turkana community helps scientists discover genes involved in adaptation to desert living

[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