Results 71 to 80 of about 1,535,797 (279)
Safe reinforcement learning under temporal logic with reward design and quantum action selection
Scientific Reports, 2023 This paper proposes an advanced Reinforcement Learning (RL) method, incorporating reward-shaping, safety value functions, and a quantum action selection algorithm. The method is model-free and can synthesize a finite policy that maximizes the probability
Mingyu Cai +3 more
doaj +1 more source
Advanced Materials Technologies, EarlyView.A strain‐activated mechanical metamaterial is developed to achieve programmable dual‐phase stiffness through an intrinsic geometric locking mechanism. Finite element modeling and parametric analysis identify the key design parameters governing activation strain, stiffness transition, and energy absorption.
Ramin Yousefi‐Nooraie +3 more
wiley +1 more source
Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications [PDF]
Logical Methods in Computer Science, 2011 We study the verification of a finite continuous-time Markov chain (CTMC) C against a linear real-time specification given as a deterministic timed automaton (DTA) A with finite or Muller acceptance conditions.
Taolue Chen +3 more
doaj +1 more source
Advanced Robotics Research, EarlyView.An enhanced universal gripper combining rigid mechanics with self‐adaptable fingers is presented for industrial automation. The novel six‐bar linkage with integrated compliant pad eliminates mechanical interference while enabling passive shape adaptation.
Muhammad Usman Khalid +7 more
wiley +1 more source
COMPLETELY REACHABLE ALMOST GROUP AUTOMATA
Ural Mathematical JournalWe consider finite deterministic automata such that their alphabets consist of exactly one letter of defect 1 and a set of permutations of the state set. We study under which conditions such an automaton is completely reachable. We focus our attention on
David Fernando Casas Torres
doaj +1 more source
Cross‐Scale Hierarchical Targeted Delivery System Based on Small‐Scale Magnetic Robots
Advanced Robotics Research, EarlyView.This article reviews a cross‐scale hierarchical targeted delivery system that integrates magnetic continuum robots and magnetic microrobots. By combining rapid long‐range navigation with precise microscale targeting, the system overcomes key limitations of single‐scale approaches.
Junjian Zhou +4 more
wiley +1 more source
Exact and Approximate Determinization of Discounted-Sum Automata [PDF]
Logical Methods in Computer Science, 2014 A discounted-sum automaton (NDA) is a nondeterministic finite automaton with edge weights, valuing a run by the discounted sum of visited edge weights.
Udi Boker, Thomas A. Henzinger
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
Consensus Formation and Change are Enhanced by Neutrality
Advanced Science, EarlyView.Neutral agents are shown to enhance both the formation and overturning of consensus in collective decision‐making. A general mathematical model and experiments with locusts and humans reveal that neutrality enables robust consensus via simple interactions and accelerates consensus change by reducing effective population size.
Andrei Sontag +3 more
wiley +1 more source
An Automaton State Explosion Optimization Method for Repetitive Features in Deep Packet Inspection
IEEE AccessTraditional automaton-based deep packet inspection (DPI) approaches suffer from severe state explosion when processing rules with repetitive features, resulting in prohibitive memory requirements.
Xuejian Li, Zihan Wang, Zehua Cheng
doaj +1 more source