English
Related papers

Related papers: Formal Verification of a Programmable Hypersurface

200 papers

Tunable metasurfaces enable active and on-demand control over optical wavefronts through reconfigurable scattering of resonant nanostructures. Here, we present novel insights inspired by mechanical metamaterials to achieve giant tunability…

Optics · Physics 2025-10-31 Freek van Gorp , Wenfeng Liu , Corentin Coulais , Jorik van de Groep

The paper presents partial overview of the mathematical synthesis and the physical realization of metasurfaces, and related illustrative examples. The synthesis consists in determining the exact tensorial surface susceptibility functions of…

The Metaverse emerges by integrating highly-distributed, complex, and interconnecting technologies. These technologies need to be formally verified and evaluated through formal modelling before executing them in real-world applications, in…

Emerging Technologies · Computer Science 2025-09-16 Maryam Amin , Umara Noor , Zahid Rashid , Jorn Altmann

Metamaterials are composed of periodic subwavelength metal/dielectric structures that resonantly couple to the electric and/or magnetic components of the incident electromagnetic fields, exhibiting properties that are not found in nature.…

Optics · Physics 2016-11-29 Hou-Tong Chen , Antoinette J Taylor , Nanfang Yu

Recently, new artificial material has been proposed to control an electromagnetic wave-metasurface, a two-dimensional metamaterial. Compared with a three-dimensional bulky metamaterial, this artificial plane material with sub-wavelength…

Optics · Physics 2019-07-12 Chong Sheng , Hui Liu , Shining Zhu

Developments in metamaterials and related structures such as metasurfaces have opened up new possibilities in designing materials and devices with unique properties. The main progress related to electromagnetic waves applications was done…

Medical Physics · Physics 2016-12-13 Rita Schmidt , Alexey Slobozhanyuk , Pavel Belov , Andrew Webb

Metasurfaces have drawn significant attentions due to their superior capability in tailoring electromagnetic waves with a wide frequency range, from microwave to visible light. Recently, programmable metasurfaces have demonstrated the…

Signal Processing · Electrical Eng. & Systems 2021-02-09 Wankai Tang , Xiang Li , Jun Yan Dai , Shi Jin , Yong Zeng , Qiang Cheng , Tie Jun Cui

Metasurfaces have revolutionized the design concepts for opticalcomponents, fostering an excitingfield offlat optics. Thanks to theflat and ultrathinnature, metasurfaces possess unique advantages over conventional optical components,such as…

Optics · Physics 2021-05-03 Jianxiong Li , Ping Yu , Shuang Zhang , Na Liu

Actively tunable and reconfigurable wavefront shaping by optical metasurfaces poses a significant technical challenge often requiring unconventional materials engineering and nanofabrication. Most wavefront-shaping metasurfaces can be…

Optics · Physics 2020-08-24 Stephanie C. Malek , Adam C. Overvig , Sajan Shrestha , Nanfang Yu

Metamaterials are engineered materials composed of specially designed unit cells that exhibit extraordinary properties beyond those of natural materials. Complex engineering tasks often require heterogeneous unit cells to accommodate…

Machine Learning · Computer Science 2025-11-06 Hongrui Chen , Liwei Wang , Levent Burak Kara

In this paper we present the theoretical considerations and the design evolution of a proof-of-concept reconfigurable metasurface, primarily used as a tunable microwave absorber, but also as a wavefront manipulation and polarization…

Manipulating the electromagnetic (EM) reflection behavior from an arbitrary surface dynamically on arbitrary design goals is an ultimate ambition for many EM stealth and communication problems, yet it is nearly impossible to accomplish with…

Applied Physics · Physics 2023-05-23 Erda Wen , Xiaozhen Yang , Daniel F. Sievenpiper

In order to obtain a metasurface structure capable of filtering the light of a specific wavelength in the visible band, traditional method usually traverses the space consisting of possible designs, searching for a potentially satisfying…

Other Computer Science · Computer Science 2019-12-10 Xiao Han , Ziyang Fan , Chao Li , Zeyang Liu , L. Jay Guo

Verification of functional correctness of control programs is an essential task for the development of space electronics; it is difficult and time-consuming and typically outweighs design and programming tasks in terms of development hours.…

Programming Languages · Computer Science 2018-02-07 Andrey Mokhov , Georgy Lukyanov , Jakob Lechner

The rapid evolution of next-generation communications and the Internet of Things (IoT) has catalyzed an urgent demand for governing expansive spatial environments as functional electromagnetic (EM) entities. However, deterministically…

As a two-dimensional planar material with low depth profile, a metasurface can generate non-classical phase distributions for the transmitted and reflected electromagnetic waves at its interface. Thus, it offers more flexibility to control…

Programmable metasurfaces incorporated with tunable materials controlled by external stimuli can provide an unprecedented degree of freedom in dynamical wave manipulation in real-time. Beyond the scope of isotropic reconfigurable…

Applied Physics · Physics 2020-01-23 Javad Shabanpour

Metasurfaces are planar structures that locally modify the polarization, phase, and amplitude of light in reflection or transmission, thus enabling lithographically patterned flat optical components with functionalities controlled by…

Optics · Physics 2015-09-08 Amir Arbabi , Yu Horie , Mahmood Bagheri , Andrei Faraon

Flat optics foresees a new era of ultra-compact optical devices, where metasurfaces serve as the foundation. Conventional designs of metasurfaces start with a certain structure as the prototype, followed by an extensive parametric sweep to…

Applied Physics · Physics 2020-07-02 Dayu Zhu , Zhaocheng Liu , Lakshmi Raju , Andrew S. Kim , Wenshan Cai

A systematic approach is presented to exploit the rich field transformation capabilities of Electromagnetic (EM) metasurfaces for creating a variety of illusions using the concept of metasurface holograms. A system level approach to…

Computational Physics · Physics 2020-02-20 Tom. J. Smy , Scott A. Stewart , Shulabh Gupta