Long lifetime plasma channel in air generated by multiple femtosecond laser pulses and an external electrical field

The lifetime of a plasma channel produced by self-guiding intense femtosecond laser pulses in air is largely prolonged by adding a high voltage electrical field in the plasma and by introducing a series of femtosecond laser pulses. An optimal lifetime value is realized through adjusting the delay among these laser pulses. The lifetime of a plasma channel is greatly enhanced to 350 ns by using four sequential intense 100fs( FWHM) laser pulses with an external electrical field of about 350kV/m, which proves the feasibility of prolonging the lifetime of plasma by adding an external electrical field and employing multiple laser pulses. (c) 2006 Optical Society of America.

Formation of X-waves at fundamental and harmonics by infrared femtosecond pulse filamentation in air

We experimentally observe the formation of X-waves at fundamental, third harmonic, and fifth harmonic wavelengths by infrared (central wavelength at similar to 1500 nm) femtosecond laser pulse filamentation in air. By fitting the angularly resolved spectra of the fundamental and harmonic waves using X-wave relations, we confirm that all the X-waves have nearly the same group velocity, indicating that they are locked in space and time during their propagation in filament.

Spectral evolution of angularly resolved third-order harmonic generation by infrared femtosecond laser-pulse filamentation in air

We experimentally investigate the evolution of an angularly resolved spectrum of third harmonic generated by infrared femtosecond laser pulse filamentation in air. We show that at low pump intensity, phase matching between the fundamental and third-harmonic waves dominates the nonlinear optical effect and induces a ring structure of the third-harmonic beam, whereas at high pump intensity, the dispersion properties of air begin to affect the angular spectrum, leading to the formation of a nonlinear X wave at third harmonic.

X-shaped third harmonic generated by ultrashort infrared pulse filamentation in air

The authors report the measurement of the angularly resolved spectrum of the third harmonic generated in a femtosecond filament in air and its evolution with increasing pump power. Pumped by a focused infrared ultrashort pulse with a carrier wavelength of 1270 nm, a pulse duration of similar to 20 fs, and pulse energy up to 487 mu J, the generated third harmonic is composed of an on-axis emission and a conical ring emission. When the pump power is sufficiently high, angularly resolved spectra with significant X-like feature could be observed, indicating the formation of nonlinear X wave at third harmonic. (c) 2008 American Institute of Physics.

Control of dynamical systems with temporal logic specifications

This thesis is motivated by safety-critical applications involving autonomous air, ground, and space vehicles carrying out complex tasks in uncertain and adversarial environments. We use temporal logic as a language to formally specify complex tasks and system properties. Temporal logic specifications generalize the classical notions of stability and reachability that are studied in the control and hybrid systems communities. Given a system model and a formal task specification, the goal is to automatically synthesize a control policy for the system that ensures that the system satisfies the specification. This thesis presents novel control policy synthesis algorithms for optimal and robust control of dynamical systems with temporal logic specifications. Furthermore, it introduces algorithms that are efficient and extend to high-dimensional dynamical systems.

The first contribution of this thesis is the generalization of a classical linear temporal logic (LTL) control synthesis approach to optimal and robust control. We show how we can extend automata-based synthesis techniques for discrete abstractions of dynamical systems to create optimal and robust controllers that are guaranteed to satisfy an LTL specification. Such optimal and robust controllers can be computed at little extra computational cost compared to computing a feasible controller.

The second contribution of this thesis addresses the scalability of control synthesis with LTL specifications. A major limitation of the standard automaton-based approach for control with LTL specifications is that the automaton might be doubly-exponential in the size of the LTL specification. We introduce a fragment of LTL for which one can compute feasible control policies in time polynomial in the size of the system and specification. Additionally, we show how to compute optimal control policies for a variety of cost functions, and identify interesting cases when this can be done in polynomial time. These techniques are particularly relevant for online control, as one can guarantee that a feasible solution can be found quickly, and then iteratively improve on the quality as time permits.

The final contribution of this thesis is a set of algorithms for computing feasible trajectories for high-dimensional, nonlinear systems with LTL specifications. These algorithms avoid a potentially computationally-expensive process of computing a discrete abstraction, and instead compute directly on the system's continuous state space. The first method uses an automaton representing the specification to directly encode a series of constrained-reachability subproblems, which can be solved in a modular fashion by using standard techniques. The second method encodes an LTL formula as mixed-integer linear programming constraints on the dynamical system. We demonstrate these approaches with numerical experiments on temporal logic motion planning problems with high-dimensional (10+ states) continuous systems.

Optimal guidance of low-thrust interplanetary space vehicles

The low-thrust guidance problem is defined as the minimum terminal variance (MTV) control of a space vehicle subjected to random perturbations of its trajectory. To accomplish this control task, only bounded thrust level and thrust angle deviations are allowed, and these must be calculated based solely on the information gained from noisy, partial observations of the state. In order to establish the validity of various approximations, the problem is first investigated under the idealized conditions of perfect state information and negligible dynamic errors. To check each approximate model, an algorithm is developed to facilitate the computation of the open loop trajectories for the nonlinear bang-bang system. Using the results of this phase in conjunction with the Ornstein-Uhlenbeck process as a model for the random inputs to the system, the MTV guidance problem is reformulated as a stochastic, bang-bang, optimal control problem. Since a complete analytic solution seems to be unattainable, asymptotic solutions are developed by numerical methods. However, it is shown analytically that a Kalman filter in cascade with an appropriate nonlinear MTV controller is an optimal configuration. The resulting system is simulated using the Monte Carlo technique and is compared to other guidance schemes of current interest.

Transverse evolution of a plasma channel in air induced by a femtosecond laser

We investigate the evolution of filamentation in air by using a longitudinal diffraction method and a plasma fluorescence imaging technique. The diameter of a single filament in which the intensity is clamped increases as the energy of the pump light pulse increases, until multiple filaments appear. (c) 2006 Optical Society of America.

ZnSe nanowires grown on the crystal surface by femtosecond laser ablation in air

Uniform ZnSe nanowires are observed on the ablation crater on ZnSe crystal surface irradiated by femtosecond lasers in air, while other parts of the sample surface are not polluted. The nanowire growth rate is about 5 mu m/s, it is higher than that fabricated by chemical vapor deposition method by a factor of 10(4). The nanowire length and diameter can be controlled by varying laser pulse energy and pulse number. The formation mechanism is studied and found to be self-catalyzed vapor-liquid-solid process. (c) 2006 American Institute of Physics.

Control of filamentation induced by femtosecond laser pulses propagating in air

Filamentation formed by self-focusing of intense laser pulses propagating in air is investigated. It is found that the position of filamentation can be controlled continuously by changing the laser power and divergence angle of the laser beam. An analytical model for the process is given.

Polarization-dependent supercontinuum generation from light filaments in air

We investigate polarization-dependent properties of the supercontinuum emission generated from filaments produced by intense femtosecond laser pulses propagating through air over a long distance. The conversion efficiency from the 800-nm fundamental to white light is observed to be higher for circular polarization than for linear polarization when the laser intensity exceeds the threshold of the breakdown of air. (C) 2005 Optical Society of America.

The Uniform World Model: A Methodology for Predicting the Health Impacts of Air Pollution

47 p.

Decarbonising urban transportation

18 p.