Results 151 to 160 of about 2,243,371 (296)
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
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 +6 more
wiley +1 more source
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 +6 more
wiley +1 more source
IEEE AccessOne of the persistent challenges in formally verifying distributed and concurrent systems is the combinatorial growth of the state space, a phenomenon known as the state explosion problem.
Sawsen Khlifa +3 more
doaj +1 more source
Flexible Sensors for Robotics Tactile Perception: A Review
Advanced Robotics Research, EarlyView.Flexible tactile sensing for robotics is reviewed through four interconnected dimensions. Physical mechanisms include piezoresistive, capacitive, piezoelectric, triboelectric, iontronic, and optical sensing. Structural design includes bioinspired, defect‐based, and MEMS‐based tactile systems.
Yu Song, Ying Chen, Yihao Chen, Xue Feng
wiley +1 more source
DronesThis paper proposes an online human-aware behavior planning method to enable Unmanned Aerial Vehicles (UAVs) to dynamically satisfy high-level linear temporal logic (LTL) task descriptions from human collaborators.
Jiancheng Zhu +3 more
doaj +1 more source
Nonreciprocal Swarmalators With Reconfigurable and Controllable Formations for Robot Collectives
Advanced Robotics Research, EarlyView.Nonreciprocal swarmalator interactions are enabled through control barrier functions to transform self‐organizing robot collectives into reconfigurable, constraint‐aware systems. Complex two‐ and three‐dimensional shapes, continuous morphing, obstacle‐aware navigation, collective splitting, and object transport emerge from modulating agent‐level ...
Kush Patel +3 more
wiley +1 more source
MC-PoisonVerif: Model Checking-Driven Poisoning Attack Formal Verification Algorithm
MathematicsAiming at two core problems in data poisoning attack detection, namely the lack of formal modeling and the insufficient guarantee of theoretical completeness, this paper proposes a model checking-driven formal verification algorithm for poisoning attacks.
Congdong Lv +5 more
doaj +1 more source
Cross Kingdom Metabolic Engineering Paradigm Elevating Sustainable Protein Production
Advanced Science, EarlyView.ABSTRACT Confronting the dual crisis of escalating global protein demand and unsustainable agriculture necessitates transformative solutions. Here, we pioneer evolutionary insights from maize nitrogen optimization via asparagine synthetase (ASNS) to rewire metabolism in Pichia pastoris.
Yuanyuan Du +4 more
wiley +1 more source
Logical consecutions in discrete linear temporal logic
, 2005 We investigate logical consequence in temporal logics in terms of logical consecutions. i.e., inference rules. First, we discuss the question: what does it mean for a logical consecution to be 'correct' in a propositional logic.
Rybakov, Vladimir V.
core