Results 121 to 130 of about 283,349 (325)
Synthesis of Distributed Longitudinal Control Protocols for a Platoon of Autonomous Vehicles [PDF]
, 2015 We develop a framework for control protocol synthesis for a platoon of autonomous vehicles subject to temporal logic specifications. We describe the desired behavior of the platoon in a set of linear temporal logic formulas, such as collision avoidance ...
Han, Duo, Mo, Yilin, Murray, Richard M.
core
Illuminating Quantum Phenomena in 2D Materials: The Power of Optical Spectroscopy
Advanced Optical Materials, EarlyView.Atomically thin 2D materials host quantum tunnelling, plasmonic and excitonic phenomena driven by reduced dimensionality and strong many‐body interactions. This review links these effects to state‐of‐the‐art optical probes—NSOM, pump–probe, CARS, TRR, and optical frequency comb spectroscopy—highlighting how their ultrahigh spatial–temporal resolution ...
Yuhui Zhou +4 more
wiley +1 more source
Temporal-Logic-Based Testing Tool Architecture for Dual-Programming Model Systems
ComputersToday, 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 +4 more
doaj +1 more source
Advanced Optical Materials, EarlyView.Light intensity‐induced photoconductance polarity switching is demonstrated in geometrically asymmetric Schottky MoSe2 devices. The devices exhibit bidirectional reconfigurable optoelectronic logic gates and synaptic applications using a single light source, opening new avenues for multifunctional optoelectronic and neuromorphic computing systems ...
Amin Abnavi +4 more
wiley +1 more source
Fuzzy Computation Tree Temporal Logic with Quality Constraints and Its Model Checking
AxiomsThe encapsulation of particular quality functions and predicates within temporal logic formulas markedly enhances the representation of detailed temporal characteristics within a system.
Xianfeng Yu +3 more
doaj +1 more source
From Linear to Branching-Time Temporal Logics: Transfer of Semantics and Definability [PDF]
, 2006 Valentin Goranko, Alberto Zanardo
openalex +1 more source
Model checking for linear temporal logic: An efficient implementation [PDF]
This report provides evidence to support the claim that model checking for linear temporal logic (LTL) is practically efficient. Two implementations of a linear temporal logic model checker is described.
Pnueli, Amir, Sherman, Rivi
core +1 more source
Giving Instructions in Linear Temporal Logic
, 2022 Our aim is to develop a formal semantics for giving instructions to taskable agents, to investigate the complexity of decision problems relating to these semantics, and to explore the issues that these semantics raise. In the setting we consider, agents are given instructions in the form of Linear Temporal Logic (LTL) formulae; the intuitive ...
Julian Gutierrez +3 more
openaire +3 more sources
Flexible Sensor‐Based Human–Machine Interfaces with AI Integration for Medical Robotics
Advanced Robotics Research, EarlyView.This review explores how flexible sensing technology and artificial intelligence (AI) significantly enhance human–machine interfaces in medical robotics. It highlights key sensing mechanisms, AI‐driven advancements, and applications in prosthetics, exoskeletons, and surgical robotics.
Yuxiao Wang +5 more
wiley +1 more source
A Syntactical Proof of the Canonical Reactivity Form for Past Linear Temporal Logic [PDF]
, 2007 Dimitar P. Guelev
openalex +1 more source