Results 131 to 140 of about 174,662,359 (302)

Safety cases for the formal verification of automatically generated code

, 2010
Model-based development and automated code generation are increasingly used for actual production code, in particular in mathematical and engineering domains.
Basir, Nurlida
core  

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

Numerical Simulation Study on the Response of Ship Engine Room Structure Under Fire Based on Thermo-Mechanical Coupling Model

Fire
Ship structures may collapse or be severely deformed during a fire. To precisely assess the post-fire structural integrity of ships, in this study, a thermal–mechanical coupling data interface was created, employing a significant eddy simulation ...
Yuechao Zhao, Zeya Miao, Shouye Wang, Dihao Ai   +3 more
doaj   +1 more source

Adaptive filtering applications to satellite navigation [PDF]

, 2010
PhDDifferential Global Navigation Satellite Systems employ the extended Kalman filter to estimate the reference position error. High accuracy integrated navigation systems have the ability to mix traditional inertial sensor outputs with navigation ...
Zhahir, Md Amzari
core  

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

A robust maritime target tracking framework for shore-based surveillance via cascaded fusion and occlusion compensation of AIS, visual, and radar data

International Journal of Naval Architecture and Ocean Engineering
To address multi-modal tracking discontinuities in shore-based maritime surveillance caused by low-frequency AIS updates, visual occlusions, and radar identity voids, this study proposes a cascaded multi-source fusion tracking framework.
Wei He, Ziyue Zeng, Zhiyuan Wang, Jinyu Lei, Chengqiang Yu, Gufeng Jiang, Yichuan Lu   +6 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

Technical Feasibility Study of Autonomous Field Robot‐Based on‐the‐go Assessment of Soil Nutrients Using Ion‐Sensitive Field‐Effect Transistors

Advanced Robotics Research, EarlyView.
Autonomous field robots equipped with ISFET‐based sensors enable rapid, spatially resolved soil nutrient analysis directly in the field. An automated system based on the BoniRob platform is presented for standardized on‐site extraction and measurement of key macronutrients and soil pH.
Vadim Riedel, Stefan Hinck, Edgar Peiter, Arno Ruckelshausen   +3 more
wiley   +1 more source

Push the Limits: Human‐Like Multimodal Extreme Embodied Intelligence for Autonomous Racing

Advanced Robotics Research, EarlyView.
Autonomous racing tests embodied intelligence under extreme control limits of speed, actuation, and decision‐making. Inspired by human multimodality, we present Apex, an embodied agent deployed on a super‐formula racing car at Yas Marina. Integrating physics‐informed perception, multimodal learning, and tasking, Apex cuts lap times by 15% and achieves ...
Yanxin Zhou, Baichuan Lou, Wenhui Huang, Binbin Hu, Haohan Yang, Haochen Liu, Xiangkun He, Chee Kiong Ong, Yiran Zhang, Tianchu Su, Bolin Zhao, Xiaoyu Mo, Holden King Ho Li, Chen Lv   +13 more
wiley   +1 more source

Other title: Highway safety plan

, 2010
FFY 2010-; Vol. for FFY 2012- issued by: Office of Criminal Justice Services, Ohio Dept.

core   +1 more source