Results 111 to 120 of about 430,787 (365)
Joint Control of Radiated and Surface Waves via Space‐Time Coding Metasurfaces
Advanced Functional Materials, EarlyView.A unified space‐time coding metasurface platform enables simultaneous control of radiated and surface‐confined waves across multiple harmonics. Demonstrated functionalities include multi‐frequency beam shaping; surface‐wave excitation, and hybrid multiplexing.
Zihao Dai +6 more
wiley +1 more source
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
Spectrally Tunable 2D Material‐Based Infrared Photodetectors for Intelligent Optoelectronics
Advanced Functional Materials, EarlyView.Intelligent optoelectronics through spectral engineering of 2D material‐based infrared photodetectors. Abstract The evolution of intelligent optoelectronic systems is driven by artificial intelligence (AI). However, their practical realization hinges on the ability to dynamically capture and process optical signals across a broad infrared (IR) spectrum.
Junheon Ha +18 more
wiley +1 more source
Simulation under Arbitrary Temporal Logic Constraints [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 Most model checkers provide a useful simulation mode, that allows users to explore the set of possible behaviours by interactively picking at each state which event to execute next.
Julien Brunel +3 more
doaj +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
Pure-Past Linear Temporal and Dynamic Logic on Finite Traces
International Joint Conference on Artificial Intelligence, 2020 We review PLTLf and PLDLf, the pure-past versions of the well-known logics on finite traces LTLf and LDLf, respectively. PLTLf and PLDLf are logics about the past, and so scan the trace backwards from the end towards the beginning.
L. Lamb +5 more
semanticscholar +1 more source
Improved Automata Generation for Linear Temporal Logic [PDF]
, 1999 We improve the state-of-the-art algorithm for obtaining an automaton from a linear temporal logic formula. The automaton is intended to be used for model checking, as well as for satisfiability checking. Therefore, the algorithm is mainly concerned with keeping the automaton as small as possible.
M. Daniele +2 more
openaire +2 more sources
Integrative Approaches for DNA Sequence‐Controlled Functional Materials
Advanced Functional Materials, EarlyView.DNA is emerging as a programmable building block for functional materials with applications in biomimicry, biochemical, and mechanical information processing. The integration of simulations, experiments, and machine learning is explored as a means to bridge DNA sequences with macroscopic material properties, highlighting current advances and providing ...
Aaron Gadzekpo +4 more
wiley +1 more source
Advanced Functional Materials, EarlyView.A single cell type Electro‐chromo‐emissive (ECECL) device integrating synchronized electrochromic (EC) and electrochemiluminescent (ECL) functions is developed using a mixed ionic‐electronic conductor (MIEC). A MIEC layer reduces ionic/electronic resistance, enabling ultrafast switching and enhanced optical contrast.
Hwandong Jang +5 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