Results 131 to 140 of about 71,357 (311)

When is Metric Temporal Logic Expressively Complete? [PDF]

, 2013
A seminal result of Kamp is that over the reals Linear Temporal Logic (LTL) has the same expressive power as first-order logic with binary order relation < and monadic predicates.
Paul Hunter, Hunter, Paul William, Hunter, Paul   +2 more
core   +1 more source

Temporal logic circuits implementation using a dual cross-inhibition mechanism based on DNA strand displacement. [PDF]

RSC Adv, 2023
Liu Y, Zhang X, Zhang X, Liu X, Wang B, Zhang Q, Wei X.   +6 more
europepmc   +1 more source

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

Constructive interval temporal logic in Alf

, 1997
This paper gives an implementation of an interval temporal logic in a constructive type theory, using the Alf proof system. After explaining the constructive approach, its relevance to interval temporal logic and potential applications of our work, we ...
Thompson, Simon
core  

Safe reinforcement learning under temporal logic with reward design and quantum action selection. [PDF]

Sci Rep, 2023
Cai M, Xiao S, Li J, Kan Z.
europepmc   +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

Extracting Interval Temporal Logic Rules: A First Approach [PDF]

, 2018
Discovering association rules is a classical data mining task with a wide range of applications that include the medical, the financial, and the planning domains, among others.
Sciavicco, Guido, Enrico Cominato, Simone Gnani, Guido Sciavicco, Gnani, Simone, Emilio Muñoz-Velasco, Muñoz-Velasco, Emilio, Davide Bresolin, Bresolin, Davide, Cominato, Enrico   +9 more
core   +1 more source

A Formal Verification of a Reputation Multi-Factor Authentication Mechanism for Constrained Devices and Low-Power Wide-Area Network Using Temporal Logic. [PDF]

Sensors (Basel), 2023
Bezerra WR, Martina JE, Westphall CB.
europepmc   +1 more source

An Online Human-Aware Behavior Planning Method for Nondeterministic UAV System Under Probabilistic Model Checking

Drones
This 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, Peng Wang, Yong Peng, Quanjun Yin   +3 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, Changyu Pi, Kai Hong, Le Gao, Xin Wu   +4 more
wiley   +1 more source