Results 91 to 100 of about 283,349 (325)
G4LTL-ST: Automatic Generation of PLC Programs
, 2014 G4LTL-ST automatically synthesizes control code for industrial Programmable Logic Controls (PLC) from timed behavioral specifications of input-output signals.
Cheng, Chih-Hong +3 more
core +1 more source
Robotic swarm control from spatio-temporal specifications [PDF]
, 2016 In this paper, we study the problem of controlling a two-dimensional robotic swarm with the purpose of achieving high level and complex spatio-temporal patterns.
Belta, Calin +2 more
core +2 more sources
Advanced Healthcare Materials, EarlyView.Membrane fusion‐inspired nanomaterials offer transformative potential in diagnostics by mimicking natural fusion processes to achieve highly sensitive and specific detection of disease biomarkers. This review highlights recent advancements in nanomaterial functionalization strategies, signal amplification systems, and stimuli‐responsive fusion designs,
Sojeong Lee +9 more
wiley +1 more source
Seeing inside the Body Using Wearable Sensing and Imaging Technologies
Advanced Healthcare Materials, EarlyView.This review explores wearable technologies for noninvasive internal health monitoring. It categorizes approaches into indirect sensing (e.g., bioelectrical and biochemical signals) and direct imaging (e.g., wearable ultrasound and EIT), highlighting multimodal integration and system‐level innovation toward personalized, continuous healthcare.
Sumin Kim +3 more
wiley +1 more source
On Verification of PLC-Programs Written in the LD-Language
Моделирование и анализ информационных систем, 2015 We discuss some questions connected with the construction of a technology of analysing correctness of Programmable Logic Controller programs. We consider an example of modeling and automated verification of PLC-programs written in the Ladder Diagram ...
E. V. Kuzmin, V. A. Sokolov
doaj +3 more sources
A High-Level LTL Synthesis Format: TLSF v1.1 [PDF]
Electronic Proceedings in Theoretical Computer Science, 2016 We present the Temporal Logic Synthesis Format (TLSF), a high-level format to describe synthesis problems via Linear Temporal Logic (LTL). The format builds upon standard LTL, but additionally allows to use high-level constructs, such as sets and ...
Swen Jacobs +2 more
doaj +1 more source
Progressive Insights into 3D Bioprinting for Corneal Tissue Restoration
Advanced Healthcare Materials, EarlyView.This review explores the potential of 3D bioprinting to replicate the complex structure and function of the human cornea. It highlights key advances in bioink development, printing modalities, and in vivo performance, while addressing current challenges and emerging strategies. The review emphasizes bioprinting's promise to overcome donor shortages and
Ilayda Namli +6 more
wiley +1 more source
Receding Horizon Temporal Logic Control for Finite Deterministic Systems [PDF]
, 2012 This paper considers receding horizon control of finite deterministic systems, which must satisfy a high level, rich specification expressed as a linear temporal logic formula.
Belta, Calin, Ding, Xuchu, Lazar, Mircea
core +2 more sources
Biodegradable Implantable Electronics with Wireless Technology for Real‐Time Clinical Applications
Advanced Healthcare Materials, EarlyView.The article explores how bioresorbable implantable electronics merge wireless communication and power delivery with biodegradable materials to enable real‐time clinical applications. It highlights advances in materials, system design, and medical uses across neural, cardiovascular, digestive, immune, and drug‐delivery systems.
Myeongki Cho +4 more
wiley +1 more source
Decomposing GR(1) Games with Singleton Liveness Guarantees for Efficient Synthesis [PDF]
, 2017 Temporal logic based synthesis approaches are often used to find trajectories that are correct-by-construction for tasks in systems with complex behavior. Some examples of such tasks include synchronization for multi-agent hybrid systems, reactive motion
Dathathri, Sumanth, Murray, Richard M.
core +2 more sources