140 research outputs found

    Computational techniques for hybrid system verification

    Full text link

    Woodpile and diamond structures by optical interference holography

    Full text link
    We report the use of an optical interference holographic setup with a five-beam configuration, consisting of four side beams and one central beam from the same half space, to fabricate woodpile and diamond structures for the use as photonic bandgap materials in which electromagnetic waves are forbidden in the bandgap. By exploiting the advantage of the binarization of the interference pattern, using intensity cut-off, either linear or circular central beam can be used. More importantly, the beam configurations can be easily implemented experimentally as compared to other configurations in which the interfering beams are counter-propagating from both half spaces.Comment: 11 pages, 3 figures, and one tabl

    Guiding and reflecting light by boundary material

    Full text link
    We study effects of finite height and surrounding material on photonic crystal slabs of one- and two-dimensional photonic crystals with a pseudo-spectral method and finite difference time domain simulation methods. The band gap is shown to be strongly modified by the boundary material. As an application we suggest reflection and guiding of light by patterning the material on top/below the slab.Comment: 12 pages, 7 figure

    Simulation-based reachability analysis for nonlinear systems using componentwise contraction properties

    Full text link
    A shortcoming of existing reachability approaches for nonlinear systems is the poor scalability with the number of continuous state variables. To mitigate this problem we present a simulation-based approach where we first sample a number of trajectories of the system and next establish bounds on the convergence or divergence between the samples and neighboring trajectories. We compute these bounds using contraction theory and reduce the conservatism by partitioning the state vector into several components and analyzing contraction properties separately in each direction. Among other benefits this allows us to analyze the effect of constant but uncertain parameters by treating them as state variables and partitioning them into a separate direction. We next present a numerical procedure to search for weighted norms that yield a prescribed contraction rate, which can be incorporated in the reachability algorithm to adjust the weights to minimize the growth of the reachable set

    Immittance Matching for Multi-dimensional Open-system Photonic Crystals

    Full text link
    An electromagnetic (EM) Bloch wave propagating in a photonic crystal (PC) is characterized by the immittance (impedance and admittance) of the wave. The immittance is used to investigate transmission and reflection at a surface or an interface of the PC. In particular, the general properties of immittance are useful for clarifying the wave propagation characteristics. We give a general proof that the immittance of EM Bloch waves on a plane in infinite one- and two-dimensional (2D) PCs is real when the plane is a reflection plane of the PC and the Bloch wavevector is perpendicular to the plane. We also show that the pure-real feature of immittance on a reflection plane for an infinite three-dimensional PC is good approximation based on the numerical calculations. The analytical proof indicates that the method used for immittance matching is extremely simplified since only the real part of the immittance function is needed for analysis without numerical verification. As an application of the proof, we describe a method based on immittance matching for qualitatively evaluating the reflection at the surface of a semi-infinite 2D PC, at the interface between a semi-infinite slab waveguide (WG) and a semi-infinite 2D PC line-defect WG, and at the interface between a semi-infinite channel WG and a semi-infinite 2D PC slab line-defect WG.Comment: 8 pages, 6 figure

    Reachability of Uncertain Linear Systems Using Zonotopes

    Full text link
    International audienceWe present a method for the computation of reachable sets of uncertain linear systems. The main innovation of the method consists in the use of zonotopes for reachable set representation. Zonotopes are special polytopes with several interesting properties : they can be encoded efficiently, they are closed under linear transformations and Minkowski sum. The resulting method has been used to treat several examples and has shown great performances for high dimensional systems. An extension of the method for the verification of piecewise linear hybrid systems is proposed

    Approximate Reachability Computation for Polynomial Systems

    Full text link
    Abstract. In this paper we propose an algorithm for approximating the reachable sets of systems defined by polynomial differential equations. Such systems can be used to model a variety of physical phenomena. We first derive an integration scheme that approximates the state reachable in one time step by applying some polynomial map to the current state. In order to use this scheme to compute all the states reachable by the system starting from some initial set, we then consider the problem of computing the image of a set by a multivariate polynomial. We propose a method to do so using the Bézier control net of the polynomial map and the blossoming technique to compute this control net. We also prove that our overall method is of order 2. In addition, we have successfully applied our reachability algorithm to two models of a biological system.

    Photonic band gaps in materials with triply periodic surfaces and related tubular structures

    Full text link
    We calculate the photonic band gap of triply periodic bicontinuous cubic structures and of tubular structures constructed from the skeletal graphs of triply periodic minimal surfaces. The effect of the symmetry and topology of the periodic dielectric structures on the existence and the characteristics of the gaps is discussed. We find that the C(I2-Y**) structure with Ia3d symmetry, a symmetry which is often seen in experimentally realized bicontinuous structures, has a photonic band gap with interesting characteristics. For a dielectric contrast of 11.9 the largest gap is approximately 20% for a volume fraction of the high dielectric material of 25%. The midgap frequency is a factor of 1.5 higher than the one for the (tubular) D and G structures
    • …
    corecore