Results 131 to 140 of about 17,255,193 (320)

A Learner-Refiner Framework for Barrier Certificate Generation

Mathematics
Barrier certificate is a powerful tool for verifying they safety property of dynamical systems. In this paper, we introduce an innovative learner–refiner framework for synthesizing polynomial barrier certificates.
Deng Chen, Wang Lin, Zuohua Ding
doaj   +1 more source

Hard‐Magnetic Soft Millirobots in Underactuated Systems

Advanced Robotics Research, EarlyView.
This review provides a comprehensive overview of hard‐magnetic soft millirobots in underactuated systems. It examines key advances in structural design, physics‐informed modeling, and control strategies, while highlighting the interplay among these domains.
Qiong Wang, Zixuan Zhang, Bingyan Li, Junkai Wang, Hongcheng Gu   +4 more
wiley   +1 more source

UTact: Underwater Vision‐Based Tactile Sensor with Geometry Reconstruction and Contact Force Estimation

Advanced Robotics Research, EarlyView.
Embedded flexible sensing technologies advance underwater soft robotics, yet most systems still suffer from hysteresis and limited perceptiveness. Instead, vision‐based tactile sensors provide reliable and rapid feedback essential for complex underwater tasks.
Qiyi Zhang, Zonghao Zuo, Haoxuan Wang, Bin Liu, Yilidusi Yilihamu, Li Wen   +5 more
wiley   +1 more source

Gait Analysis of Pak Biawak: A Necrobot Lizard Built using the Skeleton of an Asian Water Monitor (Varanus Salvator)

Advanced Robotics Research, EarlyView.
Pak Biawak, a necrobot, embodies an unusual fusion of biology and robotics. Designed to repurpose natural structures after death, it challenges conventional boundaries between nature and engineering. Its movements are precise yet unsettling, raising questions about sustainability, ethics, and the untapped potential of biointegrated machines.
Leo Foulds, Donan Satria Yudha, Parvez Alam   +2 more
wiley   +1 more source

A State‐Adaptive Koopman Control Framework for Real‐Time Deformable Tool Manipulation in Robotic Environmental Swabbing

Advanced Robotics Research, EarlyView.
This work presents a state‐adaptive Koopman linear quadratic regulator framework for real‐time manipulation of a deformable swab tool in robotic environmental sampling. By combining Koopman linearization, tactile sensing, and centroid‐based force regulation, the system maintains stable contact forces and high coverage across flat and inclined surfaces.
Siavash Mahmoudi, Amirreza Davar, Dongyi Wang   +2 more
wiley   +1 more source

Compliant Pneumatic Feet with Real‐Time Stiffness Adaptation for Humanoid Locomotion

Advanced Robotics Research, EarlyView.
A compliant pneumatic foot with real‐time variable stiffness enables humanoid robots to adapt to changing terrains. Using onboard vision and pressure control, the foot modulates stiffness within each gait cycle, reducing impact forces and improving balance. The design, cast in soft silicone with embedded air chambers and Kevlar wrapping, offers durable,
Irene Frizza, Hiroshi Kaminaga, Philippe Fraisse, Gentiane Venture   +3 more
wiley   +1 more source

Backpropagation Through Soft Body: Investigating Information Processing in Brain–Body Coupling Systems

Advanced Robotics Research, EarlyView.
This study explores how information processing is distributed between brains and bodies through a codesign approach. Using the “backpropagation through soft body” framework, brain–body coupling agents are developed and analyzed across several tasks in which output is generated through the agents’ physical dynamics.
Hiroki Tomioka, Katsuma Inoue, Yasuo Kuniyoshi, Kohei Nakajima   +3 more
wiley   +1 more source

Optimized implementation of HQC on Cortex-M4

ICT Express
In March 2025, NIST selected HQC as a standardized PQC algorithm. Since HQC relies on binary polynomial operations, optimizations for prime-field schemes like Kyber are not directly applicable.
DongCheon Kim, JunHyeok Choi, SeungYong Yoon, Seog Chung Seo   +3 more
doaj   +1 more source

The complexity of evaluating interpolation polynomials

Theoretical Computer Science, 1985
It is well known that the complexity of computing all coefficients of the Lagrangian interpolation polynomial for n nodes and n values is of order n log n. Proving in this paper a more general theorem with respect to the complexity bounds of the tasks of computing the coefficients of the Lagrangian interpolation polynomials, the author derives from ...
openaire   +1 more source

Modular, Textile‐Based Soft Robotic Grippers for Agricultural Produce Handling

Advanced Robotics Research, EarlyView.
This article introduces textile‐based pneumatic grippers that transform simple textiles into robust bending actuators. Detailed experiments uncover how cut geometry and fabric selection shape performance. Successful handling of fragile agricultural items showcases the potential of textile robotics for safe, scalable automation in food processing and ...
Zeyu Hou, Eran Beeri Bamani, Joao Buzzatto, Bryan Busby, Lucas Ferrari Gerez   +4 more
wiley   +1 more source