Representations and algorithms for finite-state bisimulations of linear discrete-time control systems

While a large amount of research over the past two decades has focused on discrete abstractions of infinite-state dynamical systems, many structural and algorithmic details of these abstractions remain unknown. To clarify the computational resources needed to perform discrete abstractions, this paper examines the algorithmic properties of an existing method for deriving finite-state systems that are bisimilar to linear discrete-time control systems. We explicitly find the structure of the finite-state system, show that it can be enormous compared to the original linear system, and give conditions to guarantee that the finite-state system is reasonably sized and efficiently computable. Though constructing the finite-state system is generally impractical, we see that special cases could be amenable to satisfiability based verification techniques. ©2009 IEEE.

Oscillator models and collective motion: Splay state stabilization of self-propelled particles

This paper presents a Lyapunov design for the stabilization of collective motion in a planar kinematic model of N particles moving at constant speed. We derive a control law that achieves asymptotic stability of the splay state formation, characterized by uniform rotation of N evenly spaced particles on a circle. In designing the control law, the particle headings are treated as a system of coupled phase oscillators. The coupling function which exponentially stabilizes the splay state of particle phases is combined with a decentralized beacon control law that stabilizes circular motion of the particles. © 2005 IEEE.

Instability of the steady-state regime of generation in laser diodes with a broad gain spectrum

The laser-diode parameters at which the steady-state regime of generation becomes unstable are analyzed within the framework of the mode-locking model. The crucial role of the transverse inhomogeneity of the field, pumping intensity, and spectrum width in developing the instabilities of the steady-state regime of generation is demonstrated. The calculated values of the instability threshold are shown to be consistent with the experimental results. © 2008 Springer Science+Business Media, Inc.

Photon iterative numerical technique for steady-state simulation of gain-clamped semiconductor optical amplifiers

The photon iterative numerical technique, which chooses the outputs of the amplified spontaneous emission spectrum and lasing mode as iteration variables to solve the rate equations, is proposed and applied to analyse the steady behaviour of conventional semiconductor optical amplifiers (SOAs) and gain-clamped semiconductor optical amplifiers (GCSOAs). Numerical results show that the photon iterative method is a much faster and more efficient algorithm than the conventional approach, which chooses the carrier density distribution of the SOAs as the iterative variable. It is also found that the photon iterative method has almost the same computing efficiency for conventional SOAs and GCSOAs.

Ground-state properties of an artificial molecule: a simple model calculation for the double quantum dot

The ground state of a double quantum-dot structure is studied by a simplified Anderson-type model. Numerical calculations reveal that the ground-state level of this artificial molecule increases with the increasing single particle level of the dot, and also increases with the decreasing transfer integrals. We show the staircase feature of the electron occupation and the properties of the ground-state eigenvector by varying the;single particle level of the dot.

Delay of the excited state lasing of 1310 nm InAs/GaAs quantum dot lasers by facet coating

In this letter, we present a facet coating design to delay the excited state (ES) lasing for 1310 nm InAs/GaAs quantum dot lasers. The key point of our design is to ensure that the mirror loss of ES is larger than that of the ground state by decreasing the reflectivity of the ES. In the facet coating design, the central wavelength is at 1480 nm, and the high- and low-index materials are Ta2O5 and SiO2, respectively. Compared with the traditional Si/SiO2 facet coating with a central wavelength of 1310 nm, we have found that with the optimal design the turning temperature of the ES lasing has been delayed from 90 to 100 degrees C for the laser diodes with cavity length of 1.2 mm. Furthermore, the characteristic temperature (T-0) of the laser diodes is also improved.

Ground state energy of He isoelectronic sequence treated variationally via Hylleraas-like wavefunction

In this study, the energy for the ground state of helium and a few helium-like ions (Z=1-6) is computed variationally by using a Hylleraas-like wavefunction. A four-parameters wavefunction, satisfying boundary conditions for coalescence points, is combined with a Hylleraas-like basis set which explicitly incorporates r12 interelectronic distance. The main contribution of this work is the introduction of modified correlation terms leading to the definition of integral transforms which provide the calculation of expectation value of energy to be done analytically over single-particle coordinates instead of Hylleraas coordinates.

Fermi-Level Pinning at Metal/High-k Interface Influenced by Electron State Density of Metal Gate

The Fermi-level pinning (FLP) at the metal/high-k interface and its dependence on the electron state density of the metal gate are investigated. It is found that the FLP is largely determined by the distortion of the vacuum level of the metal which is quantitatively ruled by the electron state density of the metal. The physical origin of the vacuum level distortion of the metal is attributed to an image charge of the interface charge in the metal. Such results indicate that the effective work function of the metal/high-k stack is also governed by the electron state density of the metal.