Formalization of Transform Methods using HOL Light

Transform methods, like Laplace and Fourier, are frequently used for analyzing the dynamical behaviour of engineering and physical systems, based on their transfer function, and frequency response or the solutions of their corresponding differential equations. In this paper, we present an ongoing project, which focuses on the higher-order logic formalization of transform methods using HOL Light theorem prover. In particular, we present the motivation of the formalization, which is followed by the related work. Next, we present the task completed so far while highlighting some of the challenges faced during the formalization. Finally, we present a roadmap to achieve our objectives, the current status and the future goals for this project.Comment: 15 Pages, CICM 201

Dielectric loaded surface plasmon waveguides for datacom applications

International audienceWe first report on design, fabrication and characterizations of thermally-controlled plasmonic routers relying on the interference of a plasmonic and a photonic mode supported by wide enough dielectric loaded waveguides. We show that, by owing a current through the gold lm on which the dielectric waveguides are deposited, the length of the beating created by the interference of the two modes can be controlled accurately. By operating such a plasmonic dual-mode interferometer switch, symmetric extinction ratio of 7dB are obtained at the output ports of a 2x2 router. Next, we demonstrate ber-to-ber characterizations of stand-alone dielectric loaded surface plasmon waveguide (DLSPPW) devices by using grating couplers. The couplers are comprised of dielectric loaded gratings with carefully chosen periods and duty-cycles close to 0.5. We show that insertion loss below 10dB per coupler can be achieved with optimized gratings. This coupling scheme is used to operate Bit-Error-Rate (BER) measurements for the transmission of a 10Gbits/s signal along a stand-alone straight DLSPPW. We show in particular that these waveguides introduce a rather small BER power penalty (below 1dB) demonstrating the suitability of this plasmonic waveguiding platform for high-bit rate transmission