Implicit Lyapunov control of finite dimensional Schrödinger equations

An implicit Lyapunov-based approach is proposed for generating trajectories of a finite dimensional controlled quantum system. The main difficulty comes from the fact that we consider the degenerate case where the linearized control system around the target state is not controllable. The controlled Lyapunov function is defined by an implicit equation and its existence is shown by a fix point theorem. The convergence analysis is done using LaSalle invariance principle. Closed-loop simulations illustrate the performance of such feedback laws for the open-loop control of a test case considered by chemists.     

基于相干控制的二能级量子系统退相干抑制

对于二能级开放量子系统,研究了利用相干控制抑制退相干效应的问题.首先讨论了二能级开放量子系统在相干控制下的建模问题,将退相干抑制归结为与环境噪声解耦的控制问题.然后,引入开环控制抑制退相干,并证明该控制可使系统状态中的部分分量与环境噪声渐近解耦.最后引入反馈控制,使得系统状态的相应分量可以与环境精确解耦,同时能够避免测量引入的量子噪声的影响.     

Quantum estimation,control and learning: Opportunities and challenges

The development of estimation and control theories for quantum systems is a fundamental task for practical quantum technology. This vision article presents a brief introduction to challenging problems and potential opportunities in the emerging areas of quantum estimation, control and learning. The topics cover quantum state estimation, quantum parameter identification, quantum filtering, quantum open-loop control, quantum feedback control, machine learning for estimation and control of quantum systems, and quantum machine learning.     

单量子比特系统状态的在线估计

针对具有退相干效应与测量反馈随机噪声的随机开放量子系统, 采用对状态影响较弱的连续弱测量在线获取一系列状态的部分信息, 实现量子状态的在线估计.由泡利矩阵构造初始测量算符, 并推导出在线的随时间变化的测量算符; 基于压缩传感理论来减少测量次数; 采用最小二乘优化算法对自由演化中的量子密度矩阵状态进行重构, 完整地给出了量子态在线估计的过程.所提出的在线量子态估计方案, 在一个量子位系统上进行了系统仿真实验.数值仿真实验结果表明, 在满足压缩传感理论的条件下, 仅需2次连续弱测量所得到的测量值之后, 就可以高精度地实现在线变化的单比特量子密度矩阵估计.     

基于鞅论的灰狼优化算法全局收敛性分析

灰狼优化(grey wolf optimization,GWO)算法是一种基于群体智能的随机优化算法,已成功地应用于许多复杂的优化问题的求解.尽管GWO算法有很多改进形式,但缺少严谨的收敛性分析,导致改进后的算法不具备理论支撑.对此,运用鞅论分析其收敛性.首先,根据GWO算法原理建立其基本的数学模型,通过定义灰狼状态空间及灰狼群状态空间,建立GWO算法的Markov链模型,并分析该算法的Markov性质;其次,介绍鞅理论,推导出一个上鞅作为最优适应度值的群进化序列;然后,运用上鞅收敛定理,并结合其Markov性质对GWO算法进行收敛性分析,证明GWO算法能以1的可能性达到全局收敛;最后,通过数值实验验证其收敛性能.实验结果表明,GWO算法具有全局收敛性强、计算耗时较低、寻优精度高等特点.     

具有相对稳定性的状态反馈控制算法

本文提出了计算状态反馈矩阵的新方法。它不需要了解原开环系统的固有特性,只要任意指定两个矩阵,就能够给出满足相对稳定性要求的状态反馈矩阵。从而,我们较好地解决了线性系统理论中的这一问题。此外,文中还讨论了线性二次型(LQ)控制的逆问题,给出了求解相应的加权矩阵的公式。     

A probabilistic likelihood approach to trajectory sensitivity

Comparative trajectory sensitivity is investigated with respect to small probabilistic perturbations in initial state and plant parameters when a neighboring feedback control rather than the nominally equivalent open-loop control is used.The uncertainty in initial state and plant parameters is modeled by jointly normally distributed random variables with known mean and known covariance matrix. The nominal control is assumed to yield a satisfactory nominal trajectory and it is desired to preserve this shape in non-nominal situations. The likelihood of the state provides a measure of insensitivity at time t.Using the system equations linearized around the nominal trajectory, the joint distributions of the incremental state are computed in both open-loop and closed-loop cases. It is established that the augmented nominal state when a neighboring optimal feedback control is used is at least as likely as that when the nominally equivalent open-loop control is used. The domain where the augmented incremental state for the optimal closed-loop control is more densely distributed than that corresponding to open-loop control is shown to be a hyper-hyperboloid. This domain is unbounded in certain directions, thus pointing out a potential disadvantage in using optimal feedback control.     

电子自旋的时间量子控制

提出一种时间量子控制方案,通过控制所加外部控制场的作用时间能有效地控制电子自旋到达给定的目标量子态,同时发现电子自旋状态能随控制场作用时间呈周期性变化．讨论了外部控制场与其作用时间的关系,结果表明：对于给定的量子控制任务。在选定的某个周期内,作用时间与控制场强度成反比．     

随机开放量子系统的纯态开关反馈控制EI北大核心CSCD

针对目标态为纯态的情况,本文对有限维随机开放量子系统,提出一种同时适用于本征态和叠加态的开关控制,它是由常量控制和基于李雅普诺夫方法设计的控制律组成,实现随机开放量子系统的状态转移和收敛控制,其中,李雅普诺夫函数为系统的状态距离,常量控制用来驱动系统状态从初始状态进入含有目标态的收敛域中,李雅普诺夫控制用来使进入收敛域中的状态继续收敛到期望的目标态.将所提出的控制方法,应用于2比特随机开放量子系统进行了数值仿真实验,并与本征态开关控制律方法进行了性能对比,实验结果表明了所提出的控制律的优越性.     

Feedback stabilization of $N$-dimensional stochastic quantum systems based on bang-bang control

For an $N$-dimensional quantum system under the influence of continuous measurement, this paper presents a switching control scheme where the control law is of bang-bang type and achieves asymptotic preparation of an arbitrarily given eigenstate of a non-degenerate and degenerate measurement operator, respectively. In the switching control strategy, we divide the state space into two parts: a set containing a target state, and its complementary set. By analyzing the stability of the stochastic system model under consideration, we design a constant control law and give some conditions that the control Hamiltonian satisfies so that the system trajectories in the complementary set converge to the set which contains the target state. Further, for the case of a non-degenerate measurement operator, we show that the system trajectories in the set containing the target state will automatically converge to the target state via quantum continuous measurement theory; while for the case of a degenerate measurement operator, the corresponding system trajectories will also converge to the target state via the construction of the control Hamiltonians. The convergence of the whole closed-loop systems under the cases of a non-degenerate and a degenerate measurement operator is strictly proved. The effectiveness of the proposed switching control scheme is verified by the simulation experiments on a finite-dimensional angular momentum system and a two-qubit system.     

On the optimal control of discrete-time linear systems with random parameters

This work is concerned with the optimal control of a discrete-time linear system with random parameters. It is assumed that the parameters of the system vary randomly during the process, namely, the parameters constitute sequences of random variables. These random variables are not necessarily independent. An important particular case occurs where there are unknown constant parameters in the system. The measurements of the state of the system contain additive noise. A quadratic function of the state and controller, with appropriate weighting, serves as the criterion function. The solutions for the open-loop controller and the open-loop feedback controller are presented. The method of solution is based on the dynamic programming approach which leads to functional recurrence equations.     

On pole assignment in multi-input controllable linear systems

It is shown that controllability of an open-loop system is equivalent to the possibility of assigning an arbitrary set of poles to the transfer matrix of the closed-loop system, formed by means of suitable linear feedback of the state. As an application of this result, it is shown that an open-loop system can be stabilized by linear feedback if and only if the unstable modes of its system matrix are controllable. A dual of this criterion is shown to be equivalent to the existence of an observer of Luenberger's type for asymptotic state identification.     

基于保辛算法的绳系卫星系统闭环反馈控制问题求解

应用非线性系统滚动时域控制的保辛算法求解绳系卫星系统子星释放和回收过程的闭环反馈控制问题.通过第二类Lagrange方程推导出二体绳系卫星系统的动力学方程;通过拟线性化方法将绳系卫星系统闭环反馈控制问题转化为线性非齐次Hamilton系统两端边值问题的迭代求解;通过保辛算法将线性非齐次Hamilton两端边值问题转化为线性方程组的求解;通过递进更新时间步的状态变量和控制变量,完成绳系卫星系统的闭环反馈控制.数值仿真表明:相对于Legendre伪谱方法,用保辛算法求解绳系卫星系统的闭环反馈控制问题的计算速度和收敛速度较快.绳系卫星系统的开环控制和闭环反馈控制问题数值仿真结果表明:在绳系卫星的初始状态存在偏差的情况下,使用开环控制会导致系统在终端无法达到稳定状态,而使用闭环反馈控制则能在一段时间内抵消初始状态向量偏差对系统产生的影响,最终达到稳定状态.     

Switching control of closed quantum systems via the Lyapunov method

In this paper, we consider the state transfer problem for closed quantum systems under a degenerate case, where the linearized system around the target state is not controllable. It is known that the traditional Lyapunov control methods may fail to guarantee the convergence to the target state under the degenerate case. Hence, we propose to use multiple Lyapunov functions and design a switching control strategy to achieve more accurate state transfer. It is shown that the system can converge to the intersection of invariant sets including the target state. The explicit analysis of the convergence is provided to design the switching law. Moreover, the effectiveness of open-loop Lyapunov control is discussed. Simulation studies are presented to show the improved control performance.     

Analysis and synthesis of attractive quantum Markovian dynamics

We propose a general framework for investigating a large class of stabilization problems in Markovian quantum systems. Building on the notions of invariant and attractive quantum subsystem, we characterize attractive subspaces by exploring the structure of the invariant sets for the dynamics. Our general analysis results are exploited to assess the ability of open-loop Hamiltonian and output-feedback control strategies to synthesize Markovian generators which stabilize a target subsystem, subspace, or pure state. In particular, we provide an algebraic characterization of the manifold of stabilizable pure states in arbitrary finite-dimensional Markovian systems, that leads to a constructive strategy for designing the relevant controllers. Implications for stabilization of entangled pure states are addressed by example.     

Dynamical decoupling in quantum control: A system theoretic approach

Suppressing decoherence is one of the most challenging problems in the control of quantum dynamical systems. Dynamical decoupling is an open-loop decoherence control technique based on high-frequency and high-amplitude periodic controls. Here, we reformulate the effects of the basic strategy in terms of linear, symmetric matrix equations. Such a reformulation proves to be useful both in the analysis and in the synthesis of the needed unitary control actions. A general framework is provided, and simple, but significant, particular cases are studied in detail.     

A comparison of open-loop and closed-loop strategies in colloidal self-assembly

Ordered colloidal crystals possess unique photonic properties for a wide range of applications in engineering, material science, communications, and medicine. However, ordered structures are hard to achieve even in small systems, due to the formation of defects during the process. In this paper, we focus on the control of a micron-sized SiO₂ colloidal self-assembly process for defect-free crystal in an externally applied electric field batch system. Five control strategies including time-constant and time-varying, heuristic and model-based open-loop and closed-loop policies are investigated, to understand their control mechanisms. The model-based policies are designed using a reduced-order Markov state model, built with samples from Brownian dynamics simulations, and are calculated with dynamic programming. The performance of all the five strategies are evaluated on both the Brownian dynamics simulation and the experiments. Time-varying control strategies can improve the yield of grain-boundary-free crystals over that of their time-constant counterparts. Moreover, using feedback as “endpoint detection” to terminate the process can also shorten the process time, compared to open-loop strategies.     

Robust moving horizon estimation based output feedback economic model predictive control

In this work, we develop an economic model predictive control scheme for a class of nonlinear systems with bounded process and measurement noise. In order to achieve fast convergence of the state estimates to the actual system state as well as the robustness of the observer to measurement and process noise, a deterministic (high-gain) observer is first applied for a small time period with continuous output measurements to drive the estimation error to a small value; after this initial small time period, a robust moving horizon estimation scheme is used on-line to provide more accurate and smoother state estimates. In the design of the robust moving horizon estimation scheme, the deterministic observer is used to calculate reference estimates and confidence regions that contain the actual system state. Within the confidence regions, the moving horizon estimation scheme is allowed to optimize its estimates. The output feedback economic model predictive controller is designed via Lyapunov techniques based on state estimates provided by the deterministic observer and the moving horizon estimation scheme. The stability of the closed-loop system is analyzed rigorously and conditions that ensure the closed-loop stability are derived. Extensive simulations based on a chemical process example illustrate the effectiveness of the proposed approach.     

一类非完整系统的全局镇定

当非完整系统只能局部转换为链式形式时, 由于存在变换奇异点集合, 针对链式系统所设计的全局反馈控制律只能局部镇定原非完整系统, 而且当期望状态接近奇异点时, 闭环系统的吸引区很小. 本文针对一类可局部转换为链式系统的非完整系统, 首先利用吸引区是状态空间中的一个不变集且与变换奇异点集不相交的条件导出了一个吸引区的不变子集, 然后给出了将系统状态从任意点驱动到吸引区不变子集内的开环控制算法, 最后结合开环控制和闭环控制得到一种混合控制算法. 该混合控制算法可以保证任意不在变换奇异点集合内的期望状态是全局渐近稳定的. 对平面两转动关节空间机器人的仿真结果证实了算法的有效性.     

Hybrid design method for dead-beat regulators†

Since the works of Kalman (1963) and Tou (1964) it is known that an nth-order sampled-data system needs n control signals to reach equilibrium if taken in an arbitrary initial state. These control signals may be applied either in open loop, through linear feedback channels when all the state variables are accessible or with a digital compensator if only the output is available. A computational procedure for solving this problem is described. This method uses the analogue simulation of the process in order to form a linear system which is then solved on a digital computer giving directly the open-loop control signals. Then, with the open-loop control signals one sees how the feedback coefficients or the digital compensator can be found in a very simple way in order to get dead-beet response. The method has the advantage of keeping all the tedious work (matrix integration and matrix multiplication) to a minimum by using the analogue computer, the digital computer only having to solve two linear systems. The method may be applied to scalar systems or to multi-input systems. The authors think that the design of dead-beat compensators is thus greatly simplified mid two examples are displayed with numerical results.