Collision Avoidance in Bi-Directional AGV Systems

The use of a bi-directional, as opposed to a one-way, transportation system, can increase the operational efficiency of automated guided vehicles in both manufacturing and warehousing environments. However, the full potential will only be realized if the routeing algorithms pay particular attention to the problem of collision avoidance. This paper is concerned with the development of such an algorithm. The method is based on the use of delays and deviations to avoid collisions that could arise when using the shortest routes for each vehicle, and is applicable to any transportation system which can be represented as a network with known travel times.     

Guaranteed Output Feedback Control for Uncertain Systems under Control and State Constraints

This paper deals with output feedback control of uncertain nonlinear dynamic systems in the presence of state and control constraints. We provide necessary and sufficient conditions for the guaranteed viability property defined by the existence of a Lipschitz closed-loop that maintains exactly the state of the system in a given closed domain of constraints despite some bounded disturbances acting both on the dynamics and on the output. Using the notion of Lipschitz kernel of a closed set-valued map, we obtain some equivalent geometric and Hamilton–Jacobi–Isaac conditions for the guaranteed viability property. We derive an algorithm to build a guaranteed viable output feedback.     

Optimal Trajectories and Guidance Schemes for Ship Collision Avoidance

The best strategy for collision avoidance under emergency conditions is to maximize wrt the controls the timewise minimum distance between the host ship and the intruder ship. In a restricted waterway area, two main constraints must be satisfied: the lateral deviation of the host ship from the original course is to be contained within certain limits; the longitudinal distance covered by the host ship is to be subject to a prescribed bound. At the maximin point of the encounter, the time derivative of the relative distance vanishes; this yields an inner boundary condition (orthogonality between the relative position vector and the relative velocity vector) separating the main phases of the maneuver: the avoidance and recovery phases. In this way, the optimal trajectory problem (a Chebyshev problem) can be converted into a Bolza problem with an inner boundary condition. Numerical solutions are obtained via the multiple-subarc sequential gradient-restoration algorithm (SGRA). Because the optimal trajectory is not suitable for real-time implementation, a guidance scheme approximating the optimal trajectory in real time is to be developed. For ship collision avoidance, the optimal trajectory results show that the rudder angle time history has a bang-bang form characterized by the alternation of saturated control subarcs of opposite signs joined by rapid transitions. Just as the optimal trajectory can be partitioned into three phases (avoidance phase, recovery phase, steady phase), a guidance trajectory can be constructed in the same way. For the avoidance and recovery phases, use of decomposition techniques leads to an algorithm computing the time lengths of these phases in real time. For the steady phase, a feedback control scheme is used to maneuver the ship steadily. Numerical results are presented. Portions of this paper were presented by the senior author at the 13th International Workshop on Dynamics and Control, Wiesensteig, Germany, 22-26 May 2005, in honor of George Leitmann. This research was supported by NSF Grant CMS-02-18878.     

模糊不确定时滞系统的保成本控制

讨论了基于T-S模型的不确定时滞系统的保成本控制问题.文章采用并行补偿状态反馈控制方法和时滞相关稳定性分析方法,通过引入一个带调节因子的Lyapunov-Krasovskii泛函,利用线性矩阵不等式的形式给出了状态反馈控制器存在的充分条件.当调节因子取不同值时,最小保成本值和反馈增益也是不同的,不同的反馈增益导致不同的动态性能,因此,可以通过选取合适的调节因子来优化闭环系统的动态性能. 最小保成本值可以看作调节因子的函数,因此,可以通过求解一个凸优化问题来求得最小的保成本值和最优的调节因子,文章给出了一个求解最小保成本值的算法.并利用仿真示例验证了所给方法的有效性.     

Optimal Control of a Ship for Collision Avoidance Maneuvers

We consider a ship subject to kinematic, dynamic, and moment equations and steered via rudder under the assumptions that the rudder angle and rudder angle time rate are subject to upper and lower bounds. We formulate and solve four Chebyshev problems of optimal control, the optimization criterion being the maximization with respect to the state and control history of the minimum value with respect to time of the distance between two identical ships, one maneuvering and one moving in a predetermined way.Problems P1 and P2 deal with collision avoidance maneuvers without cooperation, while Problems P3 and P4 deal with collision avoidance maneuvers with cooperation. In Problems P1 and P3, the maneuvering ship must reach the final point with a given lateral distance, zero yaw angle, and zero yaw angle time rate. In Problems P2 and P4, the additional requirement of quasi-steady state is imposed at the final point.The above Chebyshev problems, transformed into Bolza problems via suitable transformations, are solved via the sequential gradient-restoration algorithm in conjunction with a new singularity avoiding transformation which accounts automatically for the bounds on rudder angle and rudder angle time rate.The optimal control histories involve multiple subarcs along which either the rudder angle is kept at one of the extreme positions or the rudder angle time rate is held at one of the extreme values. In problems where quasi-steady state is imposed at the final point, there is a higher number of subarcs than in problems where quasi-steady state is not imposed; the higher number of subarcs is due to the additional requirement that the lateral velocity and rudder angle vanish at the final point.     

不确定离散时滞模糊系统的保性能控制

针对一类模糊模型表示的，具有范数有界时变参数不确定性离散时滞系统，研究了保性能控制器设计问题。首先推导了保性能控制器存在的充分条件，在此基础上通过求解等价的线性矩阵不等式给出了控制器的设计方法和参数表示。     

Guaranteed Nonlinear State Estimator for Cooperative Systems

This paper is about state estimation for continuous-time nonlinear models, in a context where all uncertain variables can be bounded. More precisely, cooperative models are considered, i.e., models that satisfy some constraints on the signs of the entries of the Jacobian of their dynamic equation. In this context, interval observers and a guaranteed recursive state estimation algorithm are combined to enclose the state at any given instant of time in a subpaving. The approach is illustrated on the state estimation of a waste-water treatment process.     

含有不确定项的混沌系统自适应广义同步

针对一类含有不确定项的混沌系统,设计了广义同步响应系统,利用系统稳定性理论设计了自适应广义同步控制器及自适应率,实现了驱动系统和所设计的响应系统广义同步,所设计的控制策略对外界干扰有较强的鲁棒性,而且通过引入加速因子,可任意配置同步响应速度,具有较高的应用价值,理论分析及仿真结果验证了该方法的有效性。     

Semidefinite Programming Techniques for Reduced Order Systems with Guaranteed Stability Margins

In this paper, the compensator based reduced order control design framework of Burns and King (J. Vibrations and Control, vol. 4, pp. 297–323, 1998) is modified to yield low order systems with guaranteed stability margins. This result is achieved through use of a logarithmic barrier function. In addition, a reduced basis method is formulated in which the compensator equations are approximated on uneven grids; guaranteed stability margins are also included. The methods are tested numerically on a one dimensional, nonlinear, damped, hyperbolic structural control problem. Examples are provided to illustrate differences between systems designed by both reduced basis methods.     

一类具有饱和因子的奇异时滞系统的鲁棒保性能控制

研究了具有饱和因子的非线性奇异时滞系统的鲁棒保性能控制问题.目的是设计一个鲁棒控制器和保成本控制器,通过线性矩阵不等式方法(LMI)得出了鲁棒控制器和保性能控制器存在的充分条件.当这些LMI方法是可解时,分别给出了鲁棒控制器和保性能控制器的解析表达式.     

非线性网络控制系统的保性能控制

针对网络诱导时延小于一个采样周期的非线性网络控制系统,研究了系统的稳定性和保性能控制问题.对于T-S模糊模型描述的非线性被控对象,将时延的不确定性转化为系统参数的不确定性,从而将这一类非线性网络控制系统建模为具有参数不确定性的离散T-S模糊模型.基于建立的模型,提出了存在稳定保性能控制器的充分条件,并得出了相应的线性矩阵不等式(LMI)形式.最后通过对永磁同步电动机混沌系统进行控制和仿真研究,验证了所提出方法的有效性.     

Robust Stabilization for Dynamic Systems with Multiple Time-Varying Delays and Nonlinear Uncertainties

In this paper, the problem of the robust stabilization for a class of uncertain linear systems with multiple time-varying delays is investigated. The uncertainty is nonlinear time-varying and does not require a matching condition. A memoryless state-feedback controller for the robust stabilization of the system is proposed. Based on the Lyapunov method and the linear matrix inequality (LMI) approach, two sufficient conditions for the stability are derived. Two numerical examples are given to illustrate the proposed method.     

时变线性中立型系统的鲁棒H∞性能

考虑了时变线性中立型系统的H∞性能，利用线性矩阵不等式给出了系统扰动衰减具有H∞范数约束的鲁棒稳定性条件．系统在H∞范数有界约束下，给出了时变中立型系统Lyapunov稳定意义下的等价时滞系统，说明了伪二次稳定意义下的不确定性中立型系统等价于一个在Lyapunov稳定意义下的标准线性时滞系统．     

Infinite-Dimensional Hamiltonian and Lagrangian Systems with Constraints

Mathematical Notes -     

不确定线性系统的最优保性能可靠控制

针对一类不确定线性系统,采用连续增益故障模型提出了考虑执行器故障的保性能可靠控制问题.通过对具有执行器增益故障的系统分析,利用线性矩阵不等式(LMI)分别给出了保性能标准控制、最优保性能标准控制、保性能可靠控制、最优保性能可靠控制存在的充分条件.根据凸优化理论,最优保性能标准控制和最优保性能可靠控制的设计方法转化为一个线性凸优化算法.仿真数例验证了文中所提出方法的可行性.在相同形式的故障发生时,比较最优保性能标准控制与最优保性能可靠控制,进一步说明了最优保性能可靠控制的必要性.     

具有时滞和参数不确定性的网络系统的滑模控制

研究了一类具有时滞的不确定网络控制系统(NCS)的滑模控制.首先,用一种特殊的变换将不确定时滞系统化为非延迟不确定系统形式.然后基于Lyapunov稳定性理论及线性矩阵不等式(LMI)技术,以线性矩阵不等式的形式给出了该系统的一些新的稳定性判据.所提出的控制器能够使具有不确定性的时滞系统渐近稳定性,而且控制器结构简单,计算方便.最后通过数值模拟,验证了所设计方法的有效性.     

Maslov Complex Germ Method for Systems with First-Class Constraints

We develop the semiclassical mechanics of systems with first-class constraints. A convenient quantization method is the method based on modifying the inner product used in the theory. We consider semiclassical states of the wave-packet type (with small indeterminacies in both coordinates and momenta) that appear in the theory of the Maslov complex germ at a point. We show that these states have a nonzero norm only if the classical coordinates and momenta lie on the constraint surface. The set of semiclassical states of the wave-packet type forms a (semiclassical) bundle whose base is the set of admissible classical states and whose fibers are function spaces determining the form of the wave packet. In some cases, the difference between two semiclassical states has a zero norm; it is therefore possible to introduce the gauge equivalence relation. The semiclassical gauge transformations that are automorphisms of the semiclassical bundle form a Batalin quasigroup. We also study the action of semiclassical observables and of semiclassical evolution transformations. We show that they preserve the norm and the gauge equivalence relation and that the observables coinciding on the constraint surface act on semiclassical states similarly up to the gauge invariance.     

Stability Analysis for Parameterized Variational Systems with Implicit Constraints

In the paper we provide new conditions ensuring the isolated calmness property and the Aubin property of parameterized variational systems with constraints depending, apart from the parameter, also on the solution itself. Such systems include, e.g., quasi-variational inequalities and implicit complementarity problems. Concerning the Aubin property, possible restrictions imposed on the parameter are also admitted. Throughout the paper, tools from the directional limiting generalized differential calculus are employed enabling us to impose only rather weak (non- restrictive) qualification conditions. Despite the very general problem setting, the resulting conditions are workable as documented by some academic examples.

     

Collision Avoidance for an Aircraft in Abort Landing: Trajectory Optimization and Guidance

For a host aircraft in the abort landing mode under emergency conditions, the best strategy for collision avoidance is to maximize wrt to the controls the timewise minimum distance between the host aircraft and an intruder aircraft. This leads to a maximin problem or Chebyshev problem of optimal control. At the maximin point of the encounter, the distance between the two aircraft has a minimum wrt the time; its time derivative vanishes and this occurs when the relative position vector is orthogonal to the relative velocity vector. By using the zero derivative condition as an inner boundary condition, the one-subarc Chebyshev problem can be converted into a two-subarc Bolza-Pontryagin problem, which in turn can be solved via the multiple-subarc sequential gradient-restoration algorithm.