Passivity-based adaptive inventory control

A new adaptive inventory control strategy is developed by applying online adaptation in the framework of passivity-based control. By using the system model and definition of the inventory, a feedback-feedforward control structure is derived from the passivity theorem. The stability analysis and the extension of the controller to a non-passive system are also given in this paper. This control strategy is demonstrated in a transfer function example and an application to a pressure tank unit in a chemical plant.     

Passivity-based adaptive attitude control of a rigid spacecraft

An adaptive control scheme for the attitude control of a rigid spacecraft is derived using a linear parameterization of the equation of motion. The tracking error is described with the Euler parameter vector. Global convergence of the tracking error to zero is shown using passivity theory. This allows for the use of time-varying positive-definite feedback gain matrices, and the results can easily be extended to other passive parameter update laws     

Fault-tolerant control of a class of asynchronous sequential machines with permanent faults

In this note, we address a fault-tolerant control scheme for asynchronous sequential machines with permanent faults. The considered asynchronous machine is influenced by faults that change perpetually a portion of its state transition logic. If the asynchronous machine has appropriate analytic redundancy in its reachability, we can design a corrective controller so that the stable-state behavior of the closed-loop system can match that of a reference model despite occurrences of permanent faults. It is assumed that the controller is always fault-free. The existence condition and design procedure for an appropriate controller are presented based on the corrective control scheme. We also provide a controller synthesis example for validating the proposed scheme.     

一种基于无源性理论的模糊Hopfield神经网络学习律设计方法

本文研究了一类模糊Hopfield神经网络系统的稳定性问题.首先,基于无源性理论,设计了一种新的权重学习律,并通过构造的模糊Lyapunov函数证明了系统从输入到输出是无源的.在此基础上,证明了系统在该学习律下是输入到状态稳定的.相比于传统的公共Lypaunov函数,本文所提的模糊Lyapunov函数能保证系统具有更好的性能.最后,通过数值仿真验证了所提方法的有效性.     

Passivity-based control of nonlinear flexible multibody systems

In this paper, global asymptotic stability of a class of nonlinear multibody flexible space structures under certain dissipative compensation is established. Furthermore, for an important subclass of such systems, the stability is shown to be robust to certain types of actuator and sensor nonlinearities. The results are applicable to robust stabilization of a wide class of systems, including flexible space structures and manipulators with articulated flexible appendages. The stability proofs use the Lyapunov approach and exploit the inherent passivity of such systems     

基于支持向量机的一类混沌系统自适应逆控制

本文研究了基于支持向量机回归自适应逆控制的混沌控制方法,用支持向量机建立系统的辨识器,同时在控制过程可逆的条件下设计基于支持向量回归的系统逆控制器.将该自适应逆控制的方法应用于Lorenz混沌系统的控制,仿真结果表明在系统带有不确定性和测量噪声的情况下,该方法可以有效的将混沌系统的状态控制到给定状态.     

并联型有源电力滤波器的无源性控制

将无源性控制应用于并联型有源电力滤波器,对有源电力滤波器电路进行简化等效．把负载电压和电源电流作为状态变量,把补偿电流作为控制变量,通过坐标变换建立有源电力滤波器的数学模型,通过无源性理论获得简单而容易实现的控制律．仿真结果表明系统具有良好的稳定性和鲁棒性。     

Passivity-based control for a DC/DC high-gain transformerless boost converter

In this work, an adaptive passivity-based controller for a DC-DC high-gain transformerlessdouble-inductor boost converter is fully detailed. The proposed current-mode control scheme results in two feedback loops, a current controller for tracking the inductor current considering damping injection and energy shaping, and a voltage loop composed by a proportional-integral action to guarantee output voltage regulation. Furthermore, a parametric uncertainty estimator using immersion-invariance approach is designed to improve the robustness of the current loop. As a result, a multi-loop adaptive nonlinear energy-based controller, which ensures regional asymptotic stability via Lyapunov analysis is accomplished. In addition, considering practical conditions, real-time numerical simulations, using a 1 kW case-study converter, are carried out in order to assess the effectiveness of the proposed control scheme. Results for output voltage regulation, current tracking, and parametric uncertainty estimation under input voltage and load step changes are shown.     

Passivity-based switching control of flexible-joint complementarity mechanical systems

In this study one considers the tracking control problem of a class of nonsmooth Lagrangian systems with flexible joints and subject to frictionless unilateral constraints. The task under consideration consists of a succession of free-motion and constrained-motion phases. Particular attention is paid to impacting and detachment phases. A passivity-based switching controller that allows one to extend the stability analysis described in our previous works to the case of systems with lumped flexibilities, is proposed. Numerical tests show the effectiveness of the controller.     

一类非线性系统基于最小二乘支持向量机的直接自适应控制

提出一类非线性系统基于最小二乘支持向量机的直接自适应控制方法.该方法采用最小二乘支持向量机构造自适应控制器,自适应控制器参数的在线调整规律由Lyapunov稳定性理论导出,并严格证明了闭环系统的渐近稳定性.仿真研究表明了此控制方案的可行性和有效性.     

Passivity-based nonlinear control of CSTR via asymptotic observers

This work makes use of a passivity-based approach (PBA) and tools from Lyapunov theory to design a nonlinear controller for the asymptotic stabilization of a class of nonisothermal Continuous Stirred Tank Reactors (CSTR) around any desired stationary point. The convergence and stability proofs are derived in the port Hamiltonian framework. Asymptotic observers that do not require knowledge of reaction kinetics are also proposed for a system with incomplete state measurement. Numerical simulations are given to illustrate the application of the theoretical results to a CSTR with multiple steady states.     

Passivity-based control for bilateral teleoperation: A tutorial

This tutorial revisits several of the most recent passivity-based controllers for nonlinear bilateral teleoperators with guaranteed stability properties. These schemes, which include scattering–based, damping injection and adaptive controllers, ensure asymptotic stability in multiple situations that range from constant to variable time-delays, with or without scattering transformation and with or without position tracking capabilities. Although all controllers exploit the basic property of passivity of the teleoperators, they have been developed invoking various analysis and design tools, which complicates their comparison and relative performance assessment. The objective of this paper is to present a unified theoretical framework—based on a general Lyapunov–like function—that, upon slight modification, allows to analyze the stability of all the schemes.     

Passivity-based control of implicit port-Hamiltonian systems with holonomic constraints

Implicit port-Hamiltonian representations of mechanical systems are considered from a control perspective. Energy shaping is used for the purpose of stabilizing a desired equilibrium. When using implicit models, the problem turns out to be a simple quadratic programming problem (as opposed to the partial differential equations that need to be solved when using explicit representations). The described approach is generalized to address the problem of stabilization of homoclinic orbits thus leading to the formulation of swing-up strategies for underactuated systems.     

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.     

Passivity-based control and synchronization of general complex dynamical networks

This paper presents some sufficient conditions for complex dynamical networks with and without coupling delays in the state to be passive. Based on the passivity property and linearization, control and synchronization of the dynamical networks are also addressed. An example and simulation results are included.     

On a class of optimal abstractions of finite-state machines

Anabstraction A of an fsmM consists in partitioning its states, inputs, and outputs into groups, thus turning it into a non-deterministic fsmM _A. For fixed sets of states, inputs, and outputs, and abstraction generally maps a number of machinesM defined on these sets into the sameM _A. We would like to find anoptimal abstractionA ^* which minimizes this number, while lumping the states, inputs, and outputs into a specified number of classes. We extend these ideas to an fsmM operating in a random environment, and show that the abstraction results in a probabilistic fsm . Thinking of changes inM's output map as resulting in machinesM≠MM, we want to find anA ^* that minimizes the number ofMM which are such that the transition probabilities of their abstracted version are identical to those of the specification machine . SuchMM arise from statistically-undetectable output faults inM. Abstractions are directly applicable to the monitoring of a complex system by an observer for deviations from correct behavior (faults). Complex systems are usually accessible through restricted interfaces, which do not allow the observer to distinguish among all states, inputs, and outputs, thus rendering some faulty transitions undetectable. An optimal interface design will minimize the number of such undetectable faults. Assuming that only single-transition output faults occur inM, we show that each of the classes into which the abstraction lumps the outputs contributes a number of undetectable output faults. We then show that the problem of partitioning the outputs into a given number of classes that minimizes the maximum of these numbers is NP-complete. However, we give (a) an approximate minimization algorithm, running in time linear in the number of classes and quadratic in the number ofM's outputs, and (b) a lower bound on the minimum, computable in the same amount of time. The concept of optimal abstractions is illustrated by numerical results on combinational logic circuits that perform arithmetical operations. The results shed light on the trade-off between model simplification and the ability to detect erroneous behaviors in complex systems.     

Analysis of a class of communicating finite state machines

Thereachability, deadlok detection andunboundedness detection problems are considered for the class ofcyclic one-type message networks of communicating finite state machines. We show that all the three problems are effectively solvable by (a) constructing canonical execution event sequences which belong to a context-free language, and (b) showing that the reachability sets are semilinear. Our algorithms have polynomial complexity in terms of size of a global structure of a network, called theshuffle-product. The relationships between general Petri nets and the class of communicating finite state machines considered here are also explored.Supported in part by NSF CCR-9004121     

Passivity-based control for variable speed constant frequency operation of a DFIG wind turbine

A standard passivity based control for a double fed induction generator of a wind turbine is presented. The control problem is posed as a variable speed constant frequency operation with the aim to maximise the generated electric power. The controller is designed in such a way that the dual control objective, unity power factor in the stator side and speed tracking in the mechanical port, are satisfied guaranteeing internal stability. The proposed scheme is the first attempt to approach the speed tracking operation from the energy dissipation (passivity) perspective. Simulation results show good performance of the control scheme for wind speeds in different operating regimes.     

Unboundedness detection for a class of communicating finite-state machines

Let M and N be two communicating finite-state machines that exchange one type of message. We discuss an algorithm to decide whether the communication between M and N is bounded. The algorithm is based on constructing a finite representation of the reachability tree of M and N assuming that M and N progress at equal speeds.