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.     

Improved results on fixed-time stability of switched nonlinear time-varying systems

This paper considers the problem of fixed-time stability (FTS) for switched nonlinear time-varying (NTV) systems. Firstly, three sufficient conditions are proposed to verify the FTS of NTV systems by using the improved Lyapunov function, which has a tighter upper bound of time derivative. Then, two FTS conditions are given for the switched NTV system by extending the obtained results, moreover, a switching strategy is also provided by using the minimum dwell time method. Finally, the obtained results are extended to study the FTS of impulsive NTV systems. Comparing with the existing results, the obtained conditions have two improvements: (1) provides a more accurate estimate for the upper bound of settling time of NTV systems, and (2) allows the Lyapunov function to increase at the switching instant of switched NTV (or impulsive NTV) systems. Two numerical examples are given to illustrate the theoretical results.     

模糊时间序列模型的辨识

可能性线性系统的输出时间序列可用模糊数来表示，我们称其为模糊时间序列（ＦＴＳ），这篇论文提出了ＦＴＳ分析的新方法，并研究它的参数估计和模型定价。两个仿真例子表明本文提出的方法对ＦＴＳ分析是非常有效的。     

Robust state estimation and fault diagnosis for uncertain hybrid systems

Robust state estimation and fault diagnosis are challenging problems in the research into hybrid systems. In this paper a novel robust hybrid observer is proposed for a class of hybrid systems with unknown inputs and faults. Model uncertainties, disturbances and faults are represented as structured unknown inputs. The robust hybrid observer consists of a mode observer for mode identification and a continuous observer for continuous state estimation and mode transition detection. It is shown that the mode can be identified correctly and the continuous state estimation error is exponentially uniformly bounded. Robustness to model uncertainties and disturbances can be guaranteed for the hybrid observer by disturbance decoupling. Furthermore, the detectability and mode identifiability conditions are rigorously analyzed. On the basis of the robust hybrid observer, a robust fault detection and isolation scheme is presented also in the paper. Simulations of a hybrid four-tank system show the proposed approach is effective.     

Robust state estimation and fault diagnosis for uncertain hybrid nonlinear systems

Robust state estimation and fault diagnosis are challenging problems in the research of hybrid systems. In this paper, a novel robust hybrid observer is proposed for a class of uncertain hybrid nonlinear systems with unknown mode transition functions, model uncertainties and unknown disturbances. The observer consists of a mode observer for discrete mode estimation and a continuous observer for continuous state estimation. It is shown that the mode can be identified correctly and the continuous state estimation error is exponentially uniformly bounded. Robustness to unknown transition functions, model uncertainties and disturbances can be guaranteed by disturbance decoupling and selecting proper thresholds. The transition detectability and mode identifiability conditions are rigorously analyzed. Based on the robust hybrid observer, a robust fault diagnosis scheme is presented for faults modeled as discrete modes with unknown transition functions, and the analytical properties are investigated. Simulations of a hybrid three-tank system demonstrate that the proposed approach is effective.     

Input-to-state stability of impulsive systems with hybrid delayed impulse effects

The goal of this paper is to study properties of input-to-state stability (ISS) and integral input-to-state stability (iISS) of impulsive systems with hybrid delayed impulses, and a set of Lyapunov-based sufficient conditions ensuring ISS/iISS properties are obtained. Those conditions reveal the effects of hybrid delayed impulses on ISS/iISS and establish the relationship between impulsive frequency and the time delay existing in hybrid impulses. When the continuous dynamics of the system are stabilizing, the ISS property can be retained under the impulse scheme even if there exist destabilizing impulses. Conversely, when the impulse dynamics are stabilizing, but the continuous dynamics are not, the ISS property can be obtained if the interval between impulses are not overly long. Two illustrative examples are presented, with their numerical simulations, to demonstrate the effectiveness of the main results.     

Relaxation Results for Hybrid Inclusions

The Filippov–Wa?ewski relaxation theorem describes when the set of solutions to a differential inclusion is dense in the set of solutions to the relaxed (convexified) differential inclusion. This paper establishes relaxation results for a broad range of hybrid systems which combine differential inclusions, difference inclusions, and constraints on the continuous and discrete motions induced by these inclusions. The relaxation results are used to deduce continuous dependence on initial conditions of the sets of solutions to hybrid systems.     

On the expressiveness and decidability of o-minimal hybrid systems

This paper is driven by a general motto: bisimulate a hybrid system by a finite symbolic dynamical system. In the case of o-minimal hybrid systems, the continuous and discrete components can be decoupled, and hence, the problem reduces in building a finite symbolic dynamical system for the continuous dynamics of each location. We show that this can be done for a quite general class of hybrid systems defined on o-minimal structures. In particular, we recover the main result of a paper by G. Lafferriere, G.J. Pappas, and S. Sastry, on o-minimal hybrid systems. We also provide an analysis and extension of results on decidability and complexity of problems and constructions related to o-minimal hybrid systems.     

Unifying theory for stability of continuous,discontinuous, and discrete-time dynamical systems

Continuous-time dynamical systems whose motions are continuous with respect to time (called continuous dynamical systems), may be viewed as special cases of continuous-time dynamical systems whose motions are not necessarily continuous with respect to time (called discontinuous dynamical systems, or DDS). We show that the classical Lyapunov stability results for continuous dynamical systems are embedded in the authors’ stability results for DDS (given in [H. Ye, A.N. Michel, L. Hou, Stability theory for hybrid dynamical systems, IEEE Transactions on Automatic Control 43 (4) (1998) 461–474]), in the following sense: if the hypotheses for a given Lyapunov stability result for continuous dynamical systems are satisfied, then the hypotheses of the corresponding stability result for DDS are also satisfied. This shows that the stability results for DDS in [H. Ye, A.N. Michel, L. Hou, Stability theory for hybrid dynamical systems, IEEE Transactions on Automatic Control 43 (4) (1998) 461–474] are much more general than was previously known, and that the quality of the DDS results therein is consistent with that of the classical Lyapunov stability results for continuous dynamical systems.By embedding discrete-time dynamical systems into a class of DDS with equivalent stability properties, we also show that when the hypotheses of the classical Lyapunov stability results for discrete-time dynamical systems are satisfied, then the hypotheses of the corresponding DDS stability results are also satisfied. This shows that the results for DDS in [H. Ye, A.N. Michel, L. Hou Stability theory for hybrid dynamical systems, IEEE Transactions on Automatic Control 43 (4) (1998) 461–474] are much more general than previously known, having connections even with discrete-time dynamical systems!Finally, we demonstrate by the means of a specific example that the stability results for DDS are less conservative than corresponding classical Lyapunov stability results for continuous dynamical systems.     

Recursive state estimation for hybrid systems

The paper deals with recursive state estimation for hybrid systems. An unobservable state of such systems is changed both in a continuous and a discrete way. Fast and efficient online estimation of hybrid system state is desired in many application areas. The presented paper proposes to look at this problem via Bayesian filtering in the factorized (decomposed) form. General recursive solution is proposed as the probability density function, updated entry-wise. The paper summarizes general factorized filter specialized for (i) normal state-space models; (ii) multinomial state-space models with discrete observations; and (iii) hybrid systems. Illustrative experiments and comparison with one of the counterparts are provided.     

Computing reachable sets for uncertain nonlinear hybrid systems using interval constraint-propagation techniques

We investigate solution techniques for numerical constraint-satisfaction problems and validated numerical set integration methods for computing reachable sets of nonlinear hybrid dynamical systems in the presence of uncertainty. To use interval simulation tools with higher-dimensional hybrid systems, while assuming large domains for either initial continuous state or model parameter vectors, we need to solve the problem of flow/sets intersection in an effective and reliable way. The main idea developed in this paper is first to derive an analytical expression for the boundaries of continuous flows, using interval Taylor methods and techniques for controlling the wrapping effect. Then, the event detection and localization problems underlying flow/sets intersection are expressed as numerical constraint-satisfaction problems, which are solved using global search methods based on branch-and-prune algorithms, interval analysis and consistency techniques. The method is illustrated with hybrid systems with uncertain nonlinear continuous dynamics and nonlinear invariants and guards.     

Optimal Control of Delay Systems by Using a Hybrid Functions Approximation

In this paper, a new numerical method for solving the optimal control of linear time-varying delay systems with quadratic performance index is presented. The method is based upon hybrid functions approximation. The properties of hybrid functions, consisting of block-pulse functions and Bernoulli polynomials, are presented. The operational matrices of integration, product, delay and the integration of the cross product of two hybrid functions of block-pulse and Bernoulli polynomials vectors are given. These matrices are then utilized to reduce the solution of the optimal control of delay systems to the solution of algebraic equations. Illustrative examples are included to demonstrate the validity and applicability of the technique.     

Collaborative Verification-Driven Engineering of Hybrid Systems

Hybrid systems with both discrete and continuous dynamics are an important model for real-world cyber-physical systems. The key challenge is to ensure their correct functioning w.r.t. safety requirements. Promising techniques to ensure safety seem to be model-driven engineering to develop hybrid systems in a well-defined and traceable manner, and formal verification to prove their correctness. Their combination forms the vision of verification-driven engineering. Often, hybrid systems are rather complex in that they require expertise from many domains (e. g., robotics, control systems, computer science, software engineering, and mechanical engineering). Moreover, despite the remarkable progress in automating formal verification of hybrid systems, the construction of proofs of complex systems often requires nontrivial human guidance, since hybrid systems verification tools solve undecidable problems. It is, thus, not uncommon for development and verification teams to consist of many players with diverse expertise. This paper introduces a verification-driven engineering toolset that extends our previous work on hybrid and arithmetic verification with tools for (1) graphical (UML) and textual modeling of hybrid systems, (2) exchanging and comparing models and proofs, and (3) managing verification tasks. This toolset makes it easier to tackle large-scale verification tasks.     

Hybrid observer design for linear switched system via Differential Petri Nets

The aim of this paper is to propose a hybrid observer design for linear switched systems modelled either via Differential Petri Nets (DPN) or via Timed Differential Petri Nets (TDPN). The switched systems, herein, considered are characterized by switching laws that can depend on the continuous states or on both of a given dwell time and the continuous states. In addition, the structure of the proposed observers is based on a discrete observer and a continuous observer on interaction. The discrete observer reconstructs the discrete mode, by estimating both of the discrete marking and the firing vector. Once, the active mode is obtained, the continuous states are estimated. Finally, the outputs of the continuous observer are used to update the marking and the firing vector. At the end of the paper, several simulation results are presented to illustrate the proposed approach.     

Hybrid decentralized maximum entropy control for large-scale dynamical systems

In the analysis of complex, large-scale dynamical systems it is often essential to decompose the overall dynamical system into a collection of interacting subsystems. Because of implementation constraints, cost, and reliability considerations, a decentralized controller architecture is often required for controlling large-scale interconnected dynamical systems. In this paper, a novel class of fixed-order, energy-based hybrid decentralized controllers is proposed as a means for achieving enhanced energy dissipation in large-scale lossless and dissipative dynamical systems. These dynamic decentralized controllers combine a logical switching architecture with continuous dynamics to guarantee that the system plant energy is strictly decreasing across switchings. The general framework leads to hybrid closed-loop systems described by impulsive differential equations. In addition, we construct hybrid dynamic controllers that guarantee that each subsystem–subcontroller pair of the hybrid closed-loop system is consistent with basic thermodynamic principles. Special cases of energy-based hybrid controllers involving state-dependent switching are described, and an illustrative combustion control example is given to demonstrate the efficacy of the proposed approach.     

Nonregressivity in switched linear circuits and mechanical systems

We analyze several examples of switched linear circuits and a switched spring–mass system to illustrate the physical manifestations of regressivity and nonregressivity for discrete and continuous time systems as well as hybrid discrete/continuous systems from a time scales perspective. These examples highlight the role that nonregressivity plays in modeling and applications, and they point out a fascinating dichotomy between purely continuous systems and discrete, continuous, or hybrid systems. We conclude with a physically realizable null space criterion for inducing nonregressivity.     

连续论域上混合集的熵

在连续论域上定义了包含模糊性和随机性的混合集。并给出了混合熵、混合偏熵与混合关联熵、混合偏关联系数和混合关联系数等概念,拓宽了熵的应用范围,对研究一类随机性和模糊性共存的复杂系统开辟了一条新的途径。     

Modeling and analysis using hybrid Petri nets

This paper is devoted to the use of hybrid Petri nets (PNs) for modeling and control of hybrid dynamic systems (HDS). Modeling, analysis and control of HDS attract ever more of researchers’ attention and several works have been devoted to these topics. We consider in this paper the extensions of the PN formalism (initially conceived for modeling and analysis of discrete event systems) in the direction of hybrid modeling. We present, first, the continuous PN models. These models are obtained from discrete PNs by the fluidification of the markings. They constitute the first steps in the extension of PNs toward hybrid modeling. Then, we present two hybrid PN models, which differ in the class of HDS they can deal with. The first one is used for deterministic HDS modeling, whereas the second one can deal with HDS with nondeterministic behavior.     

On the fluidization of Petri nets and marking homothecy

The analysis of Discrete Event Dynamic Systems suffers from the well known state explosion problem. A classical technique to overcome it is to relax the behavior by partially removing the integrality constraints and thus to deal with hybrid or continuous systems. In the Petri nets framework, continuous net systems (technically hybrid systems) are the result of removing the integrality constraint in the firing of transitions. This relaxation may highly reduce the complexity of analysis techniques but may not preserve important properties of the original system. This paper deals with the basic operation of fluidization. More precisely, it aims at establishing conditions that a discrete system must satisfy so that a given property is preserved by the continuous relaxation. These conditions will be mainly based on the marking homothetic behavior of the system. The focus will be on logical properties as boundedness, B-fairness, deadlock-freeness, liveness and reversibility. Furthermore, testing homothetic monotonicity of some properties in the discrete systems is also studied, as well as techniques to improve the quality of the fluid relaxation by removing spurious solutions.