Results 221 to 230 of about 2,329,578 (354)
Fly-by-Logic: Control of Multi-Drone Fleets with Temporal Logic Objectives
International Conference on Cyber-Physical Systems, 2018 Y. Pant +3 more
semanticscholar +1 more source
Memristive Chaotic Circuit for Information Processing Through Time
Advanced Intelligent Systems, EarlyView.A chaotic circuit that exploits the nonlinear characteristics of a memristive device is realized in hardware. The circuit response evolves through simple periodic, multiperiod, and chaotic regimes. The circuit also displays fading memory property. Finally, the circuit is used in a reservoir computing architecture to demonstrate nonlinear classification
Manuel Escudero +2 more
wiley +1 more source
Stratified negation in temporal logic programming and the cycle-sum test
, 2001 Panos Rondogiannis
openalex +1 more source
Verifying Temporal Heap Properties Specified via Evolution Logic [PDF]
, 2003 Eran Yahav +3 more
openalex +1 more source
Real‐Time and Rapid Dynamic Missile Identification Utilizing a TiOx Memristor Array
Advanced Intelligent Systems, EarlyView.Real‐time missile target identification is demonstrated using an artificial intelligence model based on step‐weighted long–short‐term memory networks and a TiOx memristor array. The approach classifies five projectile types with enhanced early‐stage prediction through data augmentation and custom training strategies. Achieving 94.4% accuracy, the model
Mingyu Kim, Gwanyeong Park, Gunuk Wang
wiley +1 more source
Almost-Certain Eventualities and Abstract Probabilities in Quantitative Temporal Logic
, 2001 Annabelle McIver, Carroll Morgan
openalex +1 more source
Smooth operator: Control using the smooth robustness of temporal logic
Conference on Control Technology and Applications, 2017 Y. Pant, Houssam Abbas, Rahul Mangharam
semanticscholar +1 more source
Advanced Intelligent Systems, EarlyView.A surrogate‐model‐based framework is proposed for combining high‐fidelity finite element method and efficient physics simulations to enable fast, accurate soft robot simulation for reinforcement learning, validated through sim‐to‐real experiments. Soft robotics holds immense promise for applications requiring adaptability and compliant interactions ...
Taehwa Hong +3 more
wiley +1 more source
A Correspondence between Temporal Description Logics [PDF]
, 2004 Alessandro Artale, Carsten Lutz
openalex +1 more source
A Review of Trans‐Dimensional Kirigami: From Compliant Mechanism to Multifunctional Robot
Advanced Intelligent Systems, EarlyView.This review outlines recent advancements in the geometric design and mechanical properties of kirigami. The kirigami is classified into two categories from a compliant mechanism perspective, highlighting their applications in metamaterials and robotic systems. Finally, the future research directions, is explored focusing on the potential of integrating
Yang Yu +14 more
wiley +1 more source