Results 91 to 100 of about 26,826 (260)

Towards Real-time, On-board, Hardware-supported Sensor and Software Health Management for Unmanned Aerial Systems

International Journal of Prognostics and Health Management, 2015
For unmanned aerial systems (UAS) to be successfully deployed and integrated within the national airspace, it is imperative that they possess the capability to effectively complete their missions without compromising the safety of other aircraft, as well
Johann Schumann, Kristin Y. Rozier, Thomas Reinbacher, Ole J. Mengshoel, Timmy Mbaya, Corey Ippolito   +5 more
doaj   +1 more source

LLM‐Integrated Human–Robot Interaction System for Microrobots

Advanced Robotics Research, EarlyView.
This paper proposes an LLM‐based control framework for guiding microrobots using human natural language. This framework can convert the natural human speech into safe and executable command sets for reliable navigation in complex environments. The experimental results show high accuracy and robustness in task performance, demonstrating the potential of
Bairong Zhu, Amar Salehi, Tingting Yu
wiley   +1 more source

Design and Modeling of a High‐Displacement, Skin‐Integrated Flexible Electromagnetic Actuator for Haptic Interfaces in Virtual Reality

Advanced Robotics Research, EarlyView.
A flexible, skin‐integrated electromagnetic actuator is developed for wearable virtual/augmented reality (VR/AR) haptic systems. A tunable design model enables control over displacement and resonance frequency. The system is validated through a custom VR application with a 6 × 4 actuator array, demonstrating real‐time, spatially targeted tactile ...
Naji Tarabay, Alexandra Zhang Jiang, Ziteng Liu, Rachel Villamor, Derek Cha, Ananya Renuka Balakrishna, Tianshu Liu, Priyanshu Agarwal, Rainer Dömer, Camilo Velez   +9 more
wiley   +1 more source

Temporal-Logic-Based Testing Tool Architecture for Dual-Programming Model Systems

Computers
Today, various applications in different domains increasingly rely on high-performance computing (HPC) to accomplish computations swiftly. Integrating one or more programming models alongside the used programming language enhances system parallelism ...
Salwa Saad, Etimad Fadel, Ohoud Alzamzami, Fathy Eassa, Ahmed M. Alghamdi   +4 more
doaj   +1 more source

Task‐Oriented Path Planning Towards Autonomous Sensor Network Deployment in Rainforest Canopies

Advanced Robotics Research, EarlyView.
An informative path planner for drone‐based deployment of wireless sensor networks in rainforest canopies is presented, addressing key challenges in large‐scale biodiversity monitoring. By integrating canopy surface detection with connectivity‐aware sampling under strict flight constraints, the approach enables efficient and reliable aerial sensor ...
Rita Santos Raminhos, Salua Hamaza
wiley   +1 more source

DRIVE‐SAFE: Data‐Driven Robustness and Informed Validation for Evolving Specifications via Formal Evaluation

Advanced Robotics Research, EarlyView.
DRIVE‐SAFE evaluates learning‐based, black‐box autonomous driving policies against evolving temporal safety requirements using Signal Temporal Logic robustness metrics. It aggregates distributional robustness measures with domain‐informed weights to guide iterative retraining.
Kristy Sakano, Jianyu An, Dinesh Manocha, Huan Xu   +3 more
wiley   +1 more source

Intelligent Sky Guardians (InSkyGuard): An Aerial Robotic Swarm for Autonomous Detection and Entrapment of Rogue Multirotors

Advanced Robotics Research, EarlyView.
Intelligent Sky Guardians (InSkyGuard) is introduced as a four‐drone swarm that autonomously detects, tracks, and safely captures rogue drones using a coordinated net system. Computer vision and leader–follower control architecture enable synchronized enclosure, while integrated failsafes enhance system reliability. Validated through closed‐environment
Joshua Hastings, Levanya Dewanarayana, Iline Shaju, Haider Al‐Wizni, Sampson Marquis, Weicheng Huang, Pooya Sareh   +6 more
wiley   +1 more source

Fuzzy Computation Tree Temporal Logic with Quality Constraints and Its Model Checking

Axioms
The encapsulation of particular quality functions and predicates within temporal logic formulas markedly enhances the representation of detailed temporal characteristics within a system.
Xianfeng Yu, Yongming Li, Shengling Geng, Huirong Li   +3 more
doaj   +1 more source

Intelligent Maintenance Review for Robots: Multimodal Information, Deep Diagnosis and Embodied Artificial Intelligence

Advanced Robotics Research, EarlyView.
This review maps the methods to monitor robots’ health by fusing vibration, sound, control signals, vision, force, and oil information with artificial intelligence. It identifies deep learning, transfer learning, digital twins, and physics‐informed models as key methodological pathways enabling earlier diagnosis, safer human–robot collaboration, and ...
Yuting Qiao, Hongbo Wang, Naipeng Li, Shuo Wang, Yaguo Lei, Tonghai Wu, Junyi Cao   +6 more
wiley   +1 more source

Unified Sequent Calculi and Natural Deduction Systems for Until-free Linear-time Temporal Logics

Bulletin of the Section of Logic
A unified Gentzen-style proof-theoretic framework for until-free propositional linear-time temporal logic and its intuitionistic variant is introduced.
Norihiro Kamide, Sara Negri
doaj   +1 more source