时延混成系统的切换控制器合成

如何设计安全、可靠的信息物理融合系统是计算机科学和控制理论面临的一个重大挑战.时延现象在信息物理融合系统中普遍存在,时延对系统的稳定性、安全性和控制性能具有实质性影响.但是在已有时延系统验证和控制器合成的工作中往往忽略时延因素,这会导致在不考虑时延情况下能保证稳定和安全的系统在实际运行时因为时延原因而不再稳定和安全.因为时延使得系统的行为演化不仅与当前状态有关,还依赖于系统的历史状态,所以时延混成系统的验证和控制合成更加困难.本文研究信息物理融合系统在考虑时延情形下切换控制器合成问题,提出基于不变式生成技术的控制器合成方法.首先,利用谱分析和线性化技术将时延系统的微分不变式生成问题归结为有界时间的可达集计算问题;然后,提出基于抽象精化的算法计算时延系统有界时间可达集的上近似;最后,实现本文算法并使用实例验证该方法的有效性.     

Finite-time stability and controller design for a class of hybrid dynamical systems with deviating argument

This paper studies the finite-time stability (FTS) for a class of hybrid dynamical systems with deviating argument. An improved hybrid control scheme including sampled-data control as well as impulsive control is presented. Based on the theory of differential equations with piecewise constant argument of generalized type (PCAG) and the method of average impulsive interval (AII), several Lyapunov-based sufficient criteria for FTS are obtained in terms of linear matrix inequalities (LMIs), which can be verified via Matlab. The hybrid controller, in which the sampling instants could be different from the impulse instants, is designed by the established LMIs. The results in present paper are more convenient for application and less conservative than some existing ones. Finally, an example is given to illustrate the effectiveness and advantage of the obtained results.     

Qualitative fault tolerance analysis for a class of hybrid systems

This paper investigates the fault tolerance problem of hybrid systems with faults that affect the switching sequence. A hierarchical model is developed, which consists of four parts from bottom to top: hybrid automata, qualitative abstraction, discrete abstraction, and supervisor. Under this model, the reachability and fault tolerability properties of hybrid systems can be analyzed in a qualitative manner and from discrete-event system point of view. Sufficient conditions are given to maintain the system’s ideal (or acceptable) performance in spite of faults. Several numerical examples and an application to hose insertion task illustrate the efficiency of the proposed method.     

A unified approach to controllability analysis for hybrid control systems

A unified approach is proposed for controllability analysis of a class of hybrid control systems, employing the controllability concept defined in [M. Tittus, B. Egardt, Control design for integrator hybrid systems, IEEE Transactions on Automatic Control 43 (4) (1998) 491–500; J.H. van Schuppen, A Sufficient Condition for Controllability of a Class of Hybrid Systems, in: LNCS, vol. 1386, Springer, 1998, pp. 374–383; Z. Yang, M. Verhaegen, Y.J. Wang, Z.J. Chen, Hybrid controllability of linear switched systems, in: Proceedings of 37th Control and Decision Conference, Tampa, FL, USA, December 1998, pp. 3920–3925]. The unified approach comprises global reachability analysis at the discrete event system level, local reachability analysis at the continuous-time dynamical system level and a merging of the results of these two methods using a discrete-path search algorithm. The proposed method is demonstrated useful for controllability analysis of complex hybrid control systems. The method is illustrated by analyzing the controllability of a linear switched system.     

Stability analysis and control synthesis for a class of switched neutral systems

In this paper, the problems of asymptotical stability and stabilization of a class of switched neutral control systems are investigated. A delay-dependent stability criterion is formulated in term of linear matrix inequalities (LMIs) by using quadratic Lyapunov functions and inequality analysis technique. The corresponding switching rule is obtained through dividing the state space properly. Also, the synthesis of stabilizing state-feedback controllers are done such that the close-loop system is asymptotically stable. Two numerical examples are given to show the proposed method.     

Stabilization and tracking controller for a class of nonlinear discrete-time systems

In this paper, stabilization and tracking control problem for parametric strict feedback class of discrete time systems is addressed. Recursive design of control function based on contraction theory framework is proposed instead of traditional Lyapunov based method. Explicit structure of controller is derived for the addressed class of nonlinear discrete-time systems. Conditions for exponential stability of system states are derived in terms of controller parameters. At each stage of recursive procedure a specific structure of Jacobian matrix is ensured so as to satisfy conditions of stability. The closed loop dynamics in this case remains nonlinear in nature. The proposed algorithm establishes global stability results in quite a simple manner as it does not require formulation of error dynamics. Problem of stabilization and output tracking control in case of single link manipulator system with actuator dynamics is analyzed using the proposed strategy. The proposed results are further extended to stabilization of discrete time chaotic systems. Numerical simulations presented in the end show the effectiveness of the proposed approach.     

A controller design for a special class of nonlinear systems

In this paper, we propose a new controller design approach for a special class of nonlinear systems. The controller design is simple and systematic and is based on the construction of a similarity transformation which is used in finding canonical forms for linear controllable systems. In addition, the design does not require any coordinate transformation and is directly applied on the original structure of the system. The performance of the proposed controller is shown via a simulation example dealing with a typical synchronous generator     

Synchronization of the unified chaotic systems using a sliding mode controller

The unified chaotic system incorporates the behaviors of the Lorenz, the Chen and the Lü chaotic systems. This paper deals with the synchronization of two identical unified chaotic systems where the slave system is assumed to have a single input. A sliding mode controller is proposed to synchronize the two systems. The asymptotic convergence to zero of the errors between the states of the master and the slave systems is shown. Simulations results are presented to illustrate the proposed controller; they indicate that the designed controller is able to synchronize the unified chaotic systems. Also, simulation results show that the proposed control scheme is robust to random bounded disturbances acting on the master system. Moreover, the proposed scheme is applied to the secure communications field, where simulation results indicate that the proposed scheme is effective.     

Fault diagnosis for a class of nonlinear uncertain hybrid systems

This paper presents a fault diagnosis architecture for a class of hybrid systems with nonlinear uncertain time-driven dynamics, measurement noise, and autonomous and controlled mode transitions. The proposed approach features a hybrid estimator based on a modified hybrid automaton framework. The fault detection scheme employs a filtering approach that attenuates the effect of the measurement noise and allows tighter mode-dependent thresholds for the detection of both discrete and parametric faults while guaranteeing no false alarms due to modeling uncertainty and mode mismatches. Both the hybrid estimator and the fault detection scheme are linked with an autonomous guard events identification (AGEI) scheme that handles the effects of mode mismatches due to autonomous mode transitions and allows effective mode estimation. Finally, the fault isolation scheme anticipates which fault events may have occurred and dynamically employs the appropriate isolation estimators for isolating the fault by calculating suitable thresholds and estimating the parametric fault magnitude through adaptive approximation methods. Simulation results from a five-tank hybrid system illustrate the effectiveness of the proposed approach.     

Robust global recurrence for a class of stochastic hybrid systems

We study a weak property called recurrence for a class of stochastic hybrid systems and establish robustness of the recurrence property. In particular, we establish that recurrence of an open, bounded set is robust to sufficiently small perturbations in the set, perturbations of the data of the stochastic hybrid system and modifications to the system data that slow down the recurrence property. The robustness results are a consequence of the mild regularity properties assumed for the stochastic hybrid system.     

Design of sliding mode controller for a class of fractional-order chaotic systems

In this paper, a sliding mode control law is designed to control chaos in a class of fractional-order chaotic systems. A class of unknown fractional-order systems is introduced. Based on the sliding mode control method, the states of the fractional-order system have been stabled, even if the system with uncertainty is in the presence of external disturbance. In addition, chaos control is implemented in the fractional-order Chen system, the fractional-order Lorenz system, and the same to the fractional-order financial system by utilizing this method. Effectiveness of the proposed control scheme is illustrated through numerical simulations.     

A parameter estimation scheme for a class of sequential hybrid systems

It may happen that the equations governing the response of dynamical systems have some parameters whose values may not be known a priori and have to be obtained using parameter estimation schemes. In this article, we present a parameter estimation scheme for a class of sequential hybrid systems. By hybrid systems, we refer to those systems whose response is described by different governing equations corresponding to various regimes/modes of operation along with some criteria to switch between the same. In a sequential hybrid system, the different modes are arranged in a specific sequence and the system can switch from a given mode to either the previous mode or the following mode in this sequence. Here, we consider those systems whose governing equations consist of ordinary differential equations and algebraic equations. The conditions for switching between the various modes (referred to as transition conditions) are in the form of linear inequalities involving the system output. We shall first consider the case where the transition conditions are known completely. We present a parameter update scheme along with sufficient conditions that will guarantee bounded parameter estimation errors. Then, we shall consider the case where the transition conditions are not known in the sense that some parameters in these conditions are not known. We present a parameter estimation scheme for this case. We illustrate the performance of the parameter estimation scheme in both cases with some examples.     

Algebraic switching time identification for a class of linear hybrid systems

In this paper, a method for the finite time estimation of the switching times in linear switched systems is proposed. The approach is based on algebraic tools and distribution theory. Switching time estimates are given by explicit algebraic formulae that can be implemented in a straightforward manner using standard tools from computational mathematics. Simulations illustrate the proposed techniques.     

Stability analysis and uniform ultimate boundedness control synthesis for a class of nonlinear switched difference systems

In this paper, we deal with stability analysis of a class of nonlinear switched discrete-time systems. Systems of the class appear in numerical simulation of continuous-time switched systems. Some linear matrix inequality type stability conditions, based on the common Lyapunov function approach, are obtained. It is shown that under these conditions the system remains stable for any switching law. The obtained results are applied to the analysis of dynamics of a discrete-time switched population model. Finally, a continuous state feedback control is proposed that guarantees the uniform ultimate boundedness of switched systems with uncertain nonlinearity and parameters.     

D-admissible hybrid control of a class of singular systems

This paper mainly studies the problem of designing a hybrid state feedback D-admissible controller for a class of linear and nonlinear singular systems. Based on the relationship between singular discrete systems and singular delta operator systems, several necessary and sufficient conditions for a linear singular delta operator system to be D-admissible (i.e. regular, causal and all finite poles lie in a prescribed circular region) with different representations are derived. Then, the existence conditions and explicit expressions of a desirable D-admissible controller are given by means of matrix inequalities and strict linear matrix inequalities, respectively. We further extend the obtained results to singular delta operator systems with Lipschitz nonlinear perturbations, and the design methods of hybrid controller are presented for the nonlinear case as well. Finally, numerical examples as well as simulations are provided to illustrate the effectiveness of the theoretical outcomes obtained in the paper.     

Stabilizability of a class of stochastic bilinear hybrid systems

The problem of the stabilizability of stochastic nonlinear hybrid systems with a Markovian or any switching rule is considered. Using the Lyapunov technique sufficient conditions for the asymptotic stabilizability in probability by a smooth controller in every structure are found. In particular, the asymptotic stabilizability in probability problem of stochastic bilinear hybrid systems with a Markovian or any switching rule is discussed and a closed-loop controller is found. Also the sufficient conditions for the exponential mean-square stabilizability for bilinear hybrid systems with any switching based on the Lie algebra approach are formulated and an open-loop controller is designed. The obtained results are illustrated by examples and simulations.     

Estimation of the domain of attraction for a class of hybrid systems

The problem of the estimation of the domain of attraction for Impulsive Dynamical Systems (IDSs) is tackled in this paper. IDSs are a special class of hybrid systems that exhibit jumps in the state trajectory, which can be either time-driven (time-dependent IDSs), or driven by specific state values (state-dependent IDSs). Sufficient conditions to determine whether a polytope belongs to the domain of attraction of the zero equilibrium point are provided for both time-dependent and state-dependent IDS, when a nonlinear quadratic continuous-time dynamic is considered. The proposed results are stated in terms of Linear Matrix Inequalities problems. The effectiveness of the proposed results is shown by means of the analysis of a biological model for tumor progression.     

Novel design of adaptive neural network controller for a class of non-affine nonlinear systems

The tracking control problem is studied for a class of uncertain non-affine systems. Based on the principle of sliding mode control (SMC), using the neural networks (NNs) and the property of the basis function, a novel adaptive design scheme is proposed. A novel Lyapunov function, which depends on both system states and control input variable, is used for the development of the control law and the adaptive law. The approach overcomes the drawback in the literature. In addition, the lumped disturbances are taken in account. By theoretical analysis, it is proved that tracking errors asymptotically converge to zero. Finally, simulation results demonstrate the effectiveness of the proposed approach.     

Second-order terminal sliding mode controller for a class of chaotic systems with unmatched uncertainties

This paper is concerned with the stabilization problem for a class of nonlinear systems. Using second-order sliding mode control approach, a robust control scheme is established to make the states of system to zero or into predictable bounds for matched and unmatched uncertainties, respectively. Meanwhile, the chattering phenomenon is eliminated. A comparative example is given to emphasize the effectiveness and robustness of the proposed method.