Timed Automata Semantics for Analyzing Creol

We give a real-time semantics for the concurrent, object-oriented modeling language Creol, by mapping Creol processes to a network of timed automata. We can use our semantics to verify real time properties of Creol objects, in particular to see whether processes can be scheduled correctly and meet their end-to-end deadlines. Real-time Creol can be useful for analyzing, for instance, abstract models of multi-core embedded systems. We show how analysis can be done in Uppaal.Comment: In Proceedings FOCLASA 2010, arXiv:1007.499

Roadmap on spatiotemporal light fields

Spatiotemporal sculpturing of light pulse with ultimately sophisticated structures represents the holy grail of the human everlasting pursue of ultrafast information transmission and processing as well as ultra-intense energy concentration and extraction. It also holds the key to unlock new extraordinary fundamental physical effects. Traditionally, spatiotemporal light pulses are always treated as spatiotemporally separable wave packet as solution of the Maxwell's equations. In the past decade, however, more generalized forms of spatiotemporally nonseparable solution started to emerge with growing importance for their striking physical effects. This roadmap intends to highlight the recent advances in the creation and control of increasingly complex spatiotemporally sculptured pulses, from spatiotemporally separable to complex nonseparable states, with diverse geometric and topological structures, presenting a bird's eye viewpoint on the zoology of spatiotemporal light fields and the outlook of future trends and open challenges.Comment: This is the version of the article before peer review or editing, as submitted by an author to Journal of Optics. IOP Publishing Ltd is not responsible for any errors or omissions in this version of the manuscript or any version derived from i

Bio-inspired nanophotonics : manipulating light at the nanoscale with plasmonic metamaterials

textMetals interact very differently with light than with radio waves and finite conductivities and losses often limit the way that RF concepts can be directly transferred to higher frequencies. Plasmonic materials are investigated here for various optical applications, since they can interact, confine and focus light at the nanoscale; however, regular plasmonic devices are severely limited by frequency dispersion and absorption, and confined signals cannot travel along plasmonic lines over few wavelengths. For these reasons, novel concepts and materials should be introduced to successfully manipulate and radiate light in the same flexible way we operate at lower frequencies. In line with these efforts, optical metamaterials exploit the resonant wave interaction of collections of plasmonic nanoparticles to produce anomalous light effects, beyond what naturally available in optical materials and in their basic constituents. Still, these concepts are currently limited by a variety of factors, such as: (a) technological challenges in realizing 3-D bulk composites with specific nano-structured patterns; (b) inherent sensitivity to disorder and losses in their realization; (c) not straightforward modeling of their interaction with nearby optical sources. In this study, we develop a novel paradigm to use single-element nanoantennas, and composite nanoantenna arrays forming two-dimensional metasurfaces and three-dimensional metamaterials, to control and manipulate light and its polarization at the nanoscale, which can possibly bypass the abovementioned limitations in terms of design procedure and experimental realization. The final design of some of the metamaterial concepts proposed in this work was inspired by biological species, whose complex structure can exhibit superior functionalities to detect, control and manipulate the polarization state of light for their orientation, signaling and defense. Inspired by these concepts, we theoretically investigate and design metasurfaces and metamaterial models with the help of fully vectorial numerical simulation tools, and we are able to outline the limitations and ultimate conditions under which the average optical surface impedance concept may accurately describe the complex wave interaction with planar plasmonic metasurfaces. We also experimentally explore various technological approaches compatible with these goals, such as the realization of lithographic single-element nanoantenna and nanoantenna arrays with complex circuit loads, periodic arrays of plasmonic nanoparticles or nanoapertures, and stacks of rotated plasmonic metasurfaces. At the conclusion of this effort, we have theoretically analyzed, designed and experimentally realized and characterized the feasibility of using discrete metasurfaces to realize phenomena and performance that are not available in natural materials, oftentimes inspired by the biological world.Electrical and Computer Engineerin

Roadmap on Label-Free Super-resolution Imaging

Label-free super-resolution (LFSR) imaging relies on light-scattering processes in nanoscale objects without a need for fluorescent (FL) staining required in super-resolved FL microscopy. The objectives of this Roadmap are to present a comprehensive vision of the developments, the state-of-the-art in this field, and to discuss the resolution boundaries and hurdles that need to be overcome to break the classical diffraction limit of the label-free imaging. The scope of this Roadmap spans from the advanced interference detection techniques, where the diffraction-limited lateral resolution is combined with unsurpassed axial and temporal resolution, to techniques with true lateral super-resolution capability that are based on understanding resolution as an information science problem, on using novel structured illumination, near-field scanning, and nonlinear optics approaches, and on designing superlenses based on nanoplasmonics, metamaterials, transformation optics, and microsphere-assisted approaches. To this end, this Roadmap brings under the same umbrella researchers from the physics and biomedical optics communities in which such studies have often been developing separately. The ultimate intent of this paper is to create a vision for the current and future developments of LFSR imaging based on its physical mechanisms and to create a great opening for the series of articles in this field.Peer reviewe