On conditions of optimality for singular control problems

Satisfaction of the generalized Legendre-Clebsch condition is known to be a necessary condition of optimality in singular control problems. Recently, a new additional necessary condition of optimality was discovered. In this note, we demonstrate by means of an example that together these two necessary conditions are, in general, insufficient for optimality in singular control problems.     

离散广义区间动力系统的稳定性

利用范数理论,研究离散广义区间动力系统的稳定性问题,给出其区间动力系统的正则、因果且稳定的充分条件.在此基础上,进一步考虑该系统的区间极点集的配置问题,给出了使离散广义区间动力系统的极点落在预先给定园盘内的判定定理.数值算例表明了该方法的可行性.     

不确定离散广义系统的D稳定鲁棒控制

研究了具有圆盘区域极点约束的一类不确定离散广义系统的鲁棒控制问题.首先,研 究了控制输入项不含扰动的不确定离散广义系统,提出了广义二次D镇定的概念,基于矩阵不 等式和广义Riccati方程,给出了一种广义二次D镇定器的设计方法,所得到的结论能够实现研 究目标;然后,讨论了控制输入项含有扰动的不确定离散广义系统,在一定的假设条件下,给出 了期望状态反馈增益阵的存在条件及其解析表达式.最后,用数值示例说明所给方法的有效性 及可行性.     

奇异系统的不定号二次型指标最优控制问题

讨论奇异系统的不定号LQ问题 (二次型指标中的权矩阵含有负特征值的最优控制问题). 首先指出问题的可解性, 并给出了问题等价转化为奇异系统的奇异LQ问题的充要条件. 然后基于等价的奇异系统奇异LQ问题, 给出问题存在唯一最优控制—轨线对的充分条件. 最后用一个算例说明结论的正确性.     

离散广义系统的鲁棒严格正实控制

研究确定的以及具有范数有界不确定性的离散广义系统的严格正实分析和控制问题,首先给出了确定离散广义系统状态反馈扩展严格正实控制器的存在条件和设计方法;然后利用线性矩阵不等式分析了不确定离散广义系统广义二次稳定且扩展严格正实的条件,讨论了状态反馈使闭环系统广义二次稳定且扩展严格正实问题,给出了状态反馈鲁棒扩展严格正实控制器的综合方法;最后通过数值算例说明了所提出方法的有效性．     

Stability and stabilization of continuous-time singular hybrid systems

In this paper, the problems of stability and state feedback stabilization for a class of continuous-time singular hybrid systems are investigated. A new sufficient and necessary condition for a continuous-time singular hybrid system to be regular, impulse-free and stochastically stable is proposed in terms of a set of coupled strict linear matrix inequalities (LMIs). Moreover, a new sufficient and necessary condition is presented for the existence of the state feedback controller in terms of a set of coupled strict matrix inequalities. Finally, a numerical example is given to illustrate the effectiveness of the obtained theoretical results.     

First-order and second-order necessary conditions for optimality of singular controls

The derivation of necessary conditions for the optimality of singular controls (in the sense of Pontryagin's maximum principle) in optimal control problems is inves- tigated. A new class of the necessary conditions is developed. This class of necessary conditions is composed of two parts, the first-order and second-order necessary conditions. As an application of these necessary conditions, an illustrative example is given, which shows that the necessary conditions developed are stronger than the generalized Legendre-Clebsch condition. That is, the singular control in the example satisfies the generalized Legendre-Clebsch condition, but does not satisfy the necessary conditions developed in this paper.     

不确定离散广义系统的时滞相关非脆弱无源控制

针对不确定离散时滞广义系统,研究其时滞相关鲁棒严格无源、渐近稳定性以及相关的非脆弱控制问题．首先利用线性矩阵不等式（LMI）和自由权矩阵的概念,分析了离散广义系统时滞相关严格无源以及渐近稳定性的条件;然后讨论不确定离散广义系统的时滞相关鲁棒严格无源和渐近稳定性,并讨论具有加性非脆弱反馈控制设计使得闭环系统满足相应性能,同时给出控制器的构造方法;最后通过数值算例说明该方法的有效性．     

Passivity-based sliding mode control of uncertain singular time-delay systems

In this paper the problem of sliding mode control (SMC) with passivity of a class of uncertain nonlinear singular time-delay systems is studied. An integral-type switching surface function is designed by taking the singular matrix into account, thus the resulting sliding mode dynamics is a full-order uncertain singular time-delay system. By introducing some slack matrices, a delay-dependent sufficient condition is proposed in terms of linear matrix inequality (LMI), which guarantees the sliding mode dynamics to be generalized quadratically stable and robustly passive. The passification solvability condition is then established. Moreover, a SMC law and an adaptive SMC law are synthesized to drive the system trajectories onto the predefined switching surface in a finite time. Finally, a numerical example is provided to illustrate the effectiveness of the proposed theory.     

Numerical Verification of Solutions of Nekrasov’s Integral Equation

This paper describes numerical verification of solutions of Nekrasov’s integral equation which is a mathematical model of two-dimensional water waves. This nonlinear and periodic integral equation includes a logarithmic singular kernel which is typically found in some two-dimensional potential problems. We propose the verification method using some properties of the singular integral for trigonometric polynomials and Schauder’s fixed point theorem in the periodic Sobolev space. A numerical example shows effectiveness of the present method.     

Admissible output consensus control for singular swarm systems

For swarm systems consisting of agents described by high-order linear singular systems, admissible output consensus problems are investigated. By using observability decomposition and eigenvalue decomposition techniques, a sufficient condition for admissible output consensus and a necessary and sufficient condition for admissible limited control energy output consensus are obtained. Furthermore, it is shown that stabilisability of the agents is a sufficient condition for admissible output consensualisability, and an approach to solve the protocol design problem is presented. Finally, a numerical example is provided to demonstrate the effectiveness of protocol design approach.     

广义马氏跳变系统在一般转移速率下的控制器设计

针对转移概率不能精确获得并且部分未知的广义马氏跳变系统, 分别讨论在模态依赖控制器和模态独立控制器条件下的系统镇定问题. 与现有结果相比, 所提研究方法具有较小的保守性, 能够有效地解决实际问题. 首先, 运用自由权矩阵方法, 得到了广义马氏跳变系统在转移速率满足上述一般条件时系统随机容许的充分条件. 在此基础上, 以线性矩阵不等式(Linear matrix inequality, LMI)的形式分别给出了模态依赖和模态独立控制器的求解条件. 最后, 通过数值算例验证设计方法的有效性和优越性.     

Robust stability and stabilization of discrete singular systems: an equivalent characterization

This note deals with the problems of robust stability and stabilization for uncertain discrete-time singular systems. The parameter uncertainties are assumed to be time-invariant and norm-bounded appearing in both the state and input matrices. A new necessary and sufficient condition for a discrete-time singular system to be regular, causal and stable is proposed in terms of a strict linear matrix inequality (LMI). Based on this, the concepts of generalized quadratic stability and generalized quadratic stabilization for uncertain discrete-time singular systems are introduced. Necessary and sufficient conditions for generalized quadratic stability and generalized quadratic stabilization are obtained in terms of a strict LMI and a set of matrix inequalities, respectively. With these conditions, the problems of robust stability and robust stabilization are solved. An explicit expression of a desired state feedback controller is also given, which involves no matrix decomposition. Finally, an illustrative example is provided to demonstrate the applicability of the proposed approach.     

Adaptive event-triggered consensus of singular multi-agent systems based on asynchronous data sampling

This paper is devoted to the problem of event-triggered consensus for a class of singular multi-agent systems with nonlinear dynamics. Firstly, in consideration of the impossibility to reach all agents in some case, an observer is designed to access these agents' states. Secondly, a novel adaptive event-triggered scheme is proposed based on asynchronous data sampling. In this scheme, the trigger parameter can be adjusted dynamically in order to reduce information transmissions among agents. Thirdly, by employing Lyapunov stability theory, a sufficient condition on the consensus of singular multi-agent systems is obtained. Then, the control protocol and event-triggering scheme are designed by solving a linear matrix inequality condition. Finally, an example is given to illustrate the proposed results.     

分数阶奇异系统容许性的充分必要条件

探讨了阶数在（0,1）区间的分数阶奇异系统的容许性条件. 文中首先给出了正则性,无脉冲性和容许性的定义,然后给出了分数阶奇异系统容许性的充分必要条件,最后通过数值仿真的例子来说明我们给出的容许性条件.     

H-infinity control for switched and impulsive singular systems

A new model of dynamical systems is proposed which consists of singular systems with impulsive effects, i.e., switched and impulsive singular systems （SISS）. By using the switched Lyapunov functions method, a sufficient condition for the solvability of the H-infinity control problem for SISSs is given which generalizes the H-infinity control theory for singular systems to switched singular systems with impulsive effects. Then the sufficient condition of solvablity of the H-infinity control problem is presented in terms of linear matrix inequalities. Finally, the effectiveness of the developed aooroach for switched and imoulsive singular svstems is illustrated by a numerical example.     

不确定离散广义系统的鲁棒严格无源控制

利用线性矩阵不等式方法讨论了不确定离散线性广义系统的严格无源性和严格无源控制问题。通过引入松驰变量来描述广义系统的快变子系统和慢变子系统之间的代数关系,给出一个新的保证离散广义系统正则、因果、稳定且严格无源的充分条件,该条件表示为严格线性矩阵不等式的形式,不涉及系统状态矩阵的分解问题。然后利用这一条件,给出了状态反馈鲁棒严格无源控制器的设计方法。仿真实例说明了该方法的有效性。     

非相称多时滞奇异系统的有记忆状态反馈控制

针对一类非相称多时滞奇异系统, 研究其时滞相关稳定性问题. 给出了易于数值检验的时滞无关正则条件. 基于Lyapunov-Krasovskii泛函方法和广义积分引理给出了系统时滞相关稳定的充分条件. 本文的主要思想是利用矩阵不等式方法, 设计有记忆状态反馈控制器, 使相应的闭环系统时滞无关正则、无脉冲、渐进稳定, 并直接给出了有记忆状态反馈控制器参数化的表达形式. 最后通过数值仿真验证了所提方法的有效性.     

“分数阶广义系统容许性的充分必要条件”一文评论

《自动化学报》39卷12期的"分数阶奇异系统容许性的充分必要条件"得到了基于线性矩阵不等式的分数阶广义系统容许性充分必要条件.本文给出一个数值反例表明文献[1]中定理1的充分条件结论并不成立, 必要条件也不准确.最后, 给出了修改正确的分数阶广义系统容许性充分必要条件.相比于文献[1]的定理1, 改进后充要条件没有保守性并去除了原文中分数阶广义系统正则性的限制要求.     

基于谱技术的随机系统的区间输出反馈镇定控制

基于谱技术研究了线性随机系统的区间稳定性与镇定控制问题.首先给出了保证随机系统区间稳定的充分性判据,该判据可确保随机系统的谱全部位于左半复平面的某一带状区域内;然后,利用矩阵的奇异值分解给出了静态输出反馈镇定控制器的设计方法,并将其归结为一组线性矩阵不等式（LMIs）的求解问题;最后,数值仿真验证了所得结论的正确性.