Results 51 to 60 of about 4,913 (260)
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 +3 more
wiley +1 more source
Design and Implementation of Runtime Verification Framework for Cyber-Physical Production Systems
Journal of Engineering, 2019 Traditional factories are turning into smart factories with the advent of various ICT technologies, and various control decisions are derived by AI technologies. In this circumstance, runtime verification of a control command is important for zero-defect
Sungjoo Kang, Ingeol Chun, Hyeon-Soo Kim
doaj +1 more source
Advanced Robotics Research, EarlyView.We proposed a Mixed Reality Sensorized Laryngoscope Training System to provide real‐time holographic torque feedback during pediatric endotracheal intubation simulation. Visualization formats are evaluated to reduce tracking error and visual demand.
Jiaqi Li +5 more
wiley +1 more source
Runtime Verification using LARVA
Kalpa Publications in Computing, 2018 Larva, which has been in use and continuous development for almost a decade, has been extended in several ways and used in a wide range of scenarios, from industrial deployment to educational ones. In this paper we give an overview of Larva and give an overview of its extensions and uses.
Christian Colombo 0001, Gordon J. Pace
openaire +2 more sources
Advanced Science, EarlyView.Photonic time crystals (PTCs) are systems in which electromagnetic parameters are modulated periodically in time, producing momentum bandgaps via temporal scattering rather than spatial Bragg processes. This review examines the theoretical frameworks, modeling, and computational tools for time‐varying media, and summarizes experimental demonstrations ...
Ranjan Kumar Patel +3 more
wiley +1 more source
Applied SciencesLarge language models (LLMs) frequently generate physically impossible parametric specifications in computer-aided design (CAD). This paper presents FMforME, a three-layer runtime constraint verification framework that integrates LLM-based generation ...
Xiaoyi Yin +3 more
doaj +1 more source
Performance–Complexity Trade‐Offs in Battery Lifetime Prediction with Task‐Aware Transformers
Advanced Science, EarlyView.FAST‐BatPro integrates convolutional feature extraction, flash Attention, and sparse attention for efficient battery lifetime prediction. Using limited early‐cycle data across multiple chemistries and operating conditions, it achieves robust accuracy while reducing inference latency, computational cost, and energy consumption.
Jingyuan Zhao +9 more
wiley +1 more source
Runtime Safety Verification of Stochastic System with Hidden Markov Model
工程科学与技术, 2018 The state of a complex stochastic system for verification is difficult to be observed at runtime, since the cost of reliably sensing the operating state of the system is very high and the monitoring of some events can seriously affect time-related ...
Bingwu FANG +3 more
doaj
Rule-Based Verification of Autonomous Unmanned Aerial Vehicles
DronesAutomation enhances the capabilities of unmanned aerial vehicles (UAVs) by enabling self-determined behavior, while reducing the need for extensive human involvement.
Christoph Sieber +3 more
doaj +1 more source
Advanced Science, EarlyView.This study presents an anatomical landmark‐guided DRL framework for autonomous wireless capsule endoscopy navigation. Using a lightweight edge‐contour‐depth fusion module, it achieves over 97% coverage across diverse gastric anatomies. To ensure reliability, a two‐stage sim‐to‐real pipeline with an adaptive dynamic programming controller mitigates ...
Haoxuan Wu +16 more
wiley +1 more source