STABILITY OF IMPULSIVE LINEAR HYBRID SYSTEMS WITH TIME DELAY

This paper investigates the stability of impulsive linear hybrid systems with time delay.And a number of delay-independent/delay-dependent stability criteria are obtained by using Lyapunovfunctions or Lyapunov functionals.Two examples are also presented to illustrate the effectiveness ofthe obtained results or to compare with the existing results.

Improving source-in-the-middle continuous-variable quantum key distribution using a heralded hybrid linear amplifier

A hybrid linear amplifier is inserted at the output of the source-in-the-middle distribution protocol to overcome the shortcomings of the transmission distance.The modified protocol aims to maintain a high key rate for long-distance transmission under high noise.It has the potential to significantly broaden the application range of the continuous variable quantum key distribution protocol.The effects of amplifier parameters and noise on the modified protocol are analyzed in detail with regard to applying it to a practical system.To make the simulation more realistic,the effect of finite size on the new protocol is taken into account.It will serve as a guideline for the future use of hybrid linear amplifiers.Different parameters can be adjusted to achieve the best performance for key rates of different quantum channels.

Hybrid Synchronization of a Chen Hyper-Chaotic System with Two Simple Linear Feedback Controllers

This paper brings attention on the hybrid synchronization of the Chen hyper-chaotic system by using some simple controllers. We give the sufficient conditions for achieving the goal by using the Lyapunov stability theory, and we verify our conclusion by numerical simulations.

Max-plus-linear model-based predictive control for constrained hybrid systems: linear programming solution

In this paper, a linear programming method is proposed to solve model predictive control for a class of hybrid systems. Firstly, using the （max, ＋） algebra, a typical subclass of hybrid systems called max-plus-linear （MPL） systems is obtained. And then, model predictive control （MPC） framework is extended to MPL systems. In general, the nonlinear optimization approach or extended linear complementarity problem （ELCP） were applied to solve the MPL-MPC optimization problem. A new optimization method based on canonical forms for max-min-plus-scaling （MMPS） functions （using the operations maximization, minimization, addition and scalar multiplication） with linear constraints on the inputs is presented. The proposed approach consists in solving several linear programming problems and is more efficient than nonlinear optimization. The validity of the algorithm is illustrated by an example.

Local Hybrid Linear State Estimation for Electric Power Systems Using Stream Processing

The increasing penetration of renewable energy resources with highly fluctuating outputs has placed increasing concern on the accuracy and timeliness of electric power system state estimation(SE).Meanwhile,we note that only a fraction of system states fluctuate at the millisecond level and require to be updated.As such,refreshing only those states with significant variation would enhance the computational efficiency of SE and make fast-continuous update of states possible.However,this is difficult to achieve with conventional SE methods,which generally refresh states of the entire system every 4–5 s.In this context,we propose a local hybrid linear SE framework using stream processing,in which synchronized measurements received from phasor measurement units(PMUs),and trigger/timingmode measurements received from remote terminal units(RTUs)are used to update the associated local states.Moreover,the measurement update process efficiency and timeliness are enhanced by proposing a trigger measurement-based fast dynamic partitioning algorithm for determining the areas of the system with states requiring recalculation.In particular,non-iterative hybrid linear formulations with both RTUs and PMUs are employed to solve the local SE problem.The timeliness,accuracy,and computational efficiency of the proposed method are demonstrated by extensive simulations based on IEEE 118-,300-,and 2383-bus systems.

DETERMINING THE DISCRIMINATING DOMAIN FOR HYBRID LINEAR DIFFERENTIAL GAME WITH TWO PLAYERS AND TWO TARGETS

This paper studies a bounded discriminating domain for hybrid linear differential game with two players and two targets using viability theory. First of all, we prove that the convex hull of a closed set is also a discriminating domain if the set is a discriminating domain. Secondly, in order to determine that a bounded polyhedron is a discriminating domain, we give a result that it only needs to verify that the extreme points of the polyhedron meet the viability conditions. The difference between our result and the existing ones is that our result just needs to verify the finite points （extreme points） and the existing ones need to verify all points in the bounded polyhedron.

Hybrid linear amplifier-involved detection for continuous variable quantum key distribution with thermal states

Continuous-variable quantum key distribution(CVQKD)can be integrated with thermal states for short-distance wireless quantum communications.However,its performance is usually restricted with the practical thermal noise.We propose a method to improve the security threshold of thermal-state(TS)CVQKD by employing a heralded hybrid linear amplifier(HLA)at the receiver.We find the effect of thermal noise on the HLA-involved scheme in near-and-mid infrared band or terahertz band for direct and reverse reconciliation.Numerical simulations show that the HLA-involved scheme can compensate for the detriment of thermal noise and hence increase the security threshold of TS-CVQKD.In near-and-mid infrared band,security threshold can be extended by 2.1 dB in channel loss for direct reconciliation and 1.6 dB for reverse reconciliation,whereas in terahertz band,security threshold can be slightly enhanced for the gain parameter less than 1 due to the rise in thermal noise.

CONTROLLABILITY OF A CLASS OF HYBRID DYNAMIC SYSTEMS (Ⅱ)—SINGLE TIME_DELAY CASE

The controllability for switched linear systems with time_delay in controls is first investigated. The whole work contains three parts. This is the second part. The definition and determination of controllability of switched linear systems with single time_delay in control functions is mainly investigated. The sufficient and necessary conditions for the one_periodic, multiple_periodic controllability of periodic_type systems and controllability of periodic systems are presented, respectively.

CONTROLLABILITY OF A CLASS OF HYBRID DYNAMIC SYSTEMS (Ⅲ)—MULTIPLE TIME_DELAY CASE

The controllability for switched linear systems with time_delay in controls is first investigated. The whole work contains three parts. This is the third part. The definition and determination of controllability of switched linear systems with multiple time_delay in control functions is mainly investigated. The sufficient and necessary conditions for the one_periodic, multiple_periodic controllability of periodic_type systems and controllability of aperiodic systems are presented,respectively. Finally, the case of distinct delays is discussed, it is shown that the controllability is independent of the size of delays.

A new kind of nonlinear fractional-order chaotic phenomenon in coupled systems： coexistence of anti-phase and complete synchronization

In this paper, we have found a kind of interesting nonlinear phenomenon hybrid synchronization in linearly coupled fractional-order chaotic systems. This new synchronization mechanism, i.e., part of state variables are anti- phase synchronized and part completely synchronized, can be achieved using a single linear controller with only one drive variable. Based on the stability theory of the fractional-order system, we investigated the possible existence of this new synchronization mechanism. Moreover, a helpful theorem, serving as a determinant for the gain of the controller, is also presented. Solutions of coupled systems are obtained numerically by an improved Adams Bashforth-Moulton algorithm. To support our theoretical analysis, simulation results are given.

CONTROLLABILITY OF A CLASS OF HYBRID DYNAMIC SYSTEMS (Ⅰ)—BASIC PROPERTIES AND PRELIMINARY RESULTS

The controllability for switched linear system with time_delay in controls was first investigated. The whole work contains three parts. This is the first part, including problem formulation and some preliminaries. Firstly, the mathematical model of switched linear systems with time_delay in control functions was presented. Secondly, the concept of column space, cyclic invariant subspace and generalized cyclic invariant subspace were introduced. And some basic properties, such as separation lemma, were presented. Finally, a basic lemma was given to reveal the relation between the solution set of a centain integral equations and the generalized cyclic invariant subspace. This lemma will play an important role in the determination of controllability. All these definitions and lemmas are necessary research tools for controllability analysis.

Research on Novel Linear Driving and Metamorphic Characteristics for Slider-actuated Parallel (Hybrid) Mechanism

This paper presents a novel one-axis linear-drive control system, in which wire rope is wound orderly around drum by servo motor drive and drays the working slider for a long linear reciprocating motion. PKM with this control system is metamorphic and can achieve great feed forces, accelerations and transverse speeds, high accuracy and low cost. The metamorphic characteristics are studied, including the metamorphic condition, con- tents, process as well as procedures. The kinematics computation model is established and analyzed.

Hierarchical Coordinated Control for Power System Voltage Using Linear Temporal Logic

The paper proposed an approach to study the power system voltage coordinated control using Linear Temporal Logic (LTL). First, the hybrid Automata model for power system voltage control was given, and a hierarchical coordinated voltage control framework was described in detail. In the hierarchical control structure, the high layer is the coordinated layer for global voltage control, and the low layer is the power system controlled. Then, the paper introduced the LTL language, its specification formula and basic method for control. In the high layer, global voltage coordinated control specification was defined by LTL specification formula. In order to implement system voltage coordinated control, the LTL specification formula was transformed into hybrid Automata model by the proposed algorithms. The hybrid Automata in high layer could coordinate the different distributed voltage controller, and have constituted a closed loop global voltage control system satisfied the LTL specification formula. Finally, a simple example of power system voltage control include the OLTC controller, the switched capacitor controller and the under-voltage shedding load controller was given for simulating analysis and verification by the proposed approach for power system coordinated voltage control. The results of simulation showed that the proposed method in the paper is feasible.

基于线性化方法的交直流混合配电系统网架规划

随着配电系统中直流设备的大量接入,交直流混合配电系统得到越来越广泛的应用。为适应交直流混合配电系统中不同交直流(AC/DC)类型的负荷或电源的接入,提出一种新的交直流混合配电系统网架结构规划方法,该方法考虑了网架交直流配置的所有可能性。首先以二进制网络矩阵描述配电系统的网架结构;其次建立网架单层规划模型,将规划变量和运行变量同时进行优化以提升全局寻优能力;最后将单层规划模型进行线性化处理,转换为混合整数线性规划问题以提升求解效率。仿真结果表明,所提方法能够为配电系统中不同交直流类型的负荷和电源的接入提供最佳的网架配置方案,相比于传统的纯交流规划方案具有更好的经济性和供电能力,在算法上与经典遗传算法求解的双层规划方法相比,具有更好的全局寻优能力和计算效率。

混合可再生能源微电网的集成功率管理和非线性控制

针对可再生能源发电的不确定性和间歇性问题,提出集成功率管理和非线性控制的策略,设计了一种混合光伏/风电/储能电池的微电网系统。该策略采用最大功率点跟踪算法,以最大限度地从每种可再生能源中提取能量。同时,设计了一种滑模控制技术,以提高系统的稳健性并确保有效的能源管理,不受系统扰动、负载波动、辐射和风速变化的影响。该优化框架在交流微电网系统上进行了测试和验证,证明了其有效性。仿真结果表明,该系统能够有效地管理功率流,并保持恒定的直流母线电压和负载电压水平,确保了系统的平稳运行。

基于BFO-FPA参数寻优无人直升机轨迹跟踪自抗扰控制

为解决小型无人直升机轨迹跟踪控制受系统数学模型精度、自身低成本微机电系统(MEMS)姿态测量误差及飞行环境干扰的内外扰动影响问题,设计了一种基于线性/非线性混合自抗扰控制(ADRC-LADRC)的无人直升机轨迹跟踪控制器,并提出了一种基于细菌觅食优化-花授粉算法(BFO-FPA)的控制器参数整定方法,提高了BFO算法的收敛速度,增强了FPA算法的全局搜索能力。最后,通过ALIGN无人直升机锁尾螺旋爬升飞行试验,验证了BFO-FPA算法参数寻优后自抗扰轨迹跟踪控制器能有效克服无人直升机受内外扰动的影响,提高了控制器轨迹跟踪精度和鲁棒性。

自动化立体仓库中环形2-RGV系统入库调度模型与求解算法

确定合理的货物运送序列,实现穿梭车(RGV)与堆垛机协同作业是提升自动化立体仓库中环形2-RGV系统搬运效率的重要手段。通过对RGV在环形轨道运作环境下的碰撞情况进行分析,以货物总入库时间最小化为目标,考虑了同一辆RGV运送、两RGV碰撞避免以及RGV与堆垛机协同运作等约束,构建了环形2-RGV系统入库调度问题的混合整数规划模型,设计了可快速求解问题的混合变邻域禁忌搜索(HVNTS)算法。为验证算法的有效性,设计了25组不同规模的算例,并将HVNTS算法的求解结果与CPLEX和禁忌搜索算法的求解结果相比较,算例实验结果表明:货物的平均入库时间分别节省了0.36%和8.67%,且HVNTS算法的求解时间均在3 min内,证明所提算法能快速有效地求解该问题。

BACH:线性混成系统有界可达性模型检验工具

混成自动机的模型检验问题非常困难,即使是其中相对简单的一个子类——线性混成自动机,它的可达性问题仍然是不可判定的.现有的相关工具大都使用多面体计算来判定线性混成自动机状态空间的可达集,复杂度高、效率低,无法解决实际应用规模的问题.描述了一个面向线性混成系统有界可达性模型检验工具——BACH(bounded reachability checker),该工具能够沿指定路径(组)对单个线性混成自动机、多个线性混成自动机的组合进行可达性检验,并且在此基础上结合路径遍历技术完成对所有路径的有界可达性检验.实验数据显示,BACH不仅在面向路径可达性检验方面性能优异,可以适用于足够长度的路径,而且在针对所有路径的有界可达性检验时,BACH可以解决的问题规模也远远超过同类工具,已接近工业界应用的要求.

线性系统的混杂状态反馈H_∞鲁棒控制

利用混杂状态反馈控制策略研究了一类线性系统的H∞ 镇定问题·假设系统存在有限个备选的静态状态反馈控制器 ,并且每个控制器的增益阵是已知的·在假定每个单一的控制器均不能使系统稳定且具有H∞ 扰动衰减度的条件下 ,利用凸组合条件给出了切换律的设计方案 ,通过在这有限个控制器间进行切换得到了该系统H∞ 意义下的镇定的充分条件 ,并且这一条件可以转化为线性矩阵不等式 (LMI) ·最后的仿真实例表明了结论的有效性·

一类不确定混合线性系统鲁棒自适应控制

通过分析一类具有Markov跳跃参数的不确定混合线性系统的随机稳定性问题,将确定型系统中的Lasalle稳定性定理推广到混合系统中,并对系统不确定部分的未知范数上界提出了一种参数自适应估计方法及相应的鲁棒控制律,实现了混合线性系统以概率1渐近稳定.研究结果表明,此控制方案对混合线性系统的不确定部分有较强的鲁棒性.