We study the linear and nonlinear optical properties of hybrid metallic-dielectric plasmonic gap nanoantennas. Using a two-step-aligned electron beam lithography process, we demonstrate the ability to selectively and reproducibly fill the gap region of nanoantennas with dielectric nanoparticles made of lithium niobate (LiNbO3) with high efficiency. The linear optical properties of the antennas ...

A hybrid filter constructed of a shunt active filter and distributed passive filters used for power quality improvement in PV power generating systems is presented. The distribution system consists of a photovoltaic power generation system and several dynamic nonlinear loads. The power quality problems of dispersed generation low voltage systems are introduced and the necessity of using hybrid ...

hybrid of rationalized haar functions are developed to approximate the solution of the differential equations. the properties of hybrid functions which are the combinations of block-pulse functions and rationalized haar functions are first presented. these properties together with the newton-cotes nodes are then utilized to reduce the differential equations to the solution of algebraic equation...

‎here‎, ‎we give a two phases algorithm based on integrating differential evolution (de) algorithm with modified hybrid genetic algorithm (mhga) for solving the associated nonlinear programming problem of a nonlinear optimal control problem‎. ‎in the first phase‎, ‎de starts with a completely random initial population where each individual‎, ‎or solution‎, ‎is a random matrix of control input v...

We present the results of a friendly competition for formal verification of continuous and hybrid systems with nonlinear continuous dynamics. The friendly competition took place as part of the workshop Applied Verification for Continuous and Hybrid Systems (ARCH) in 2017. This year, three tools CORA, Flow* and Isabelle/HOL (in alphabetic order) participated. They are applied to solve the reacha...

We present the framework of delta-complete analysis for bounded reachability problems of hybrid systems. We perform bounded reachability checking through solving delta-decision problems over the reals. The techniques take into account of robustness properties of the systems under numerical perturbations. Our implementation of the techniques scales well on several highly nonlinear hybrid system ...

We propose an algebraic model for hybrid systems and illustrate its usefulness by proving theorems in realization theory using this viewpoint. By a hybrid system, we mean a collection of continuous nonlinear control systems associated with a discrete finite state automaton. The automaton switches between the continuous control systems, and this switching is a function of the discrete input symb...

In this paper we consider three-tank system as a hybrid system with discrete (on/off) valves and then we use Hybrid System’s Description Language to acquire a Mixed Logical Dynamical model of the system. In order to obtain a relatively accurate model of three-tank system, instead of using straight line approximation method for linearization of valves in whole space, we use Piecewise Affine meth...

We propose HyDICE, Hybrid DIscrete Continuous Exploration, a multi-layered approach for hybrid-system testing that integrates continuous sampling-based robot motion planning with discrete searching. The discrete search uses the discrete transitions of the hybrid system and coarse-grained decompositions of the continuous state spaces or related projections to guide the motion planner during the ...