Robust set stabilization of Boolean control networks with impulsive effects

This paper addresses the robust set stabilization problem of Boolean control networks (BCNs) with impulsive effects via the semi-tensor product method. Firstly, the closed-loop system consisting of a BCN with impulsive effects and a given state feedback control is converted into an algebraic form. Secondly, based on the algebraic form, some necessary and sufficient conditions are presented for the robust set stabilization of BCNs with impulsive effects under a given state feedback control and a free-form control sequence, respectively. Thirdly, as applications, some necessary and sufficient conditions are presented for robust partial stabilization and robust output tracking of BCNs with impulsive effects, respectively. The study of two illustrative examples shows that the obtained new results are effective

Modelling & analysis of hybrid dynamic systems using a bond graph approach

Hybrid models are those containing continuous and discontinuous behaviour. In constructing dynamic systems models, it is frequently desirable to abstract rapidly changing, highly nonlinear behaviour to a discontinuity. Bond graphs lend themselves to systems modelling by being multi-disciplinary and reflecting the physics of the system. One advantage is that they can produce a mathematical model in a form that simulates quickly and efficiently. Hybrid bond graphs are a logical development which could further improve speed and efficiency. A range of hybrid bond graph forms have been proposed which are suitable for either simulation or further analysis, but not both. None have reached common usage. A Hybrid bond graph method is proposed here which is suitable for simulation as well as providing engineering insight through analysis. This new method features a distinction between structural and parametric switching. The controlled junction is used for the former, and gives rise to dynamic causality. A controlled element is developed for the latter. Dynamic causality is unconstrained so as to aid insight, and a new notation is proposed. The junction structure matrix for the hybrid bond graph features Boolean terms to reflect the controlled junctions in the graph structure. This hybrid JSM is used to generate a mixed-Boolean state equation. When storage elements are in dynamic causality, the resulting system equation is implicit. The focus of this thesis is the exploitation of the model. The implicit form enables application of matrix-rank criteria from control theory, and control properties can be seen in the structure and causal assignment. An impulsive mode may occur when storage elements are in dynamic causality, but otherwise there are no energy losses associated with commutation because this method dictates the way discontinuities are abstracted. The main contribution is therefore a Hybrid Bond Graph which reflects the physics of commutating systems and offers engineering insight through the choice of controlled elements and dynamic causality. It generates a unique, implicit, mixed-Boolean system equation, describing all modes of operation. This form is suitable for both simulation and analysis

On stabilizability of switched differential algebraic equations

This paper considers stabilizability of switched differential algebraic equations (DAEs). We first introduce the notion of interval stabilizability and show that under a certain uniformity assumption, stabilizability can be concluded from interval stabilizability. A geometric approach is taken to find necessary and sufficient conditions for interval stabilizability. This geometric approach can also be utilized to derive a novel characterization of controllability

Stabilizability and optimal control of switched differential algebraic equations

In this thesis control of dynamical systems with switches is considered. Examples of such systems are electronic circuits and mechanical systems. The switches are induced by abrupt structural changes due to component failure or physical switches. In the case of constraints on the dynamics, the state of the system can only take certain values and not only differential equations are involved in modeling the system, but also algebraic equations. An important question in control problems is often how well a certain controller performs. Some controllers require little energy, but induce undesired behavior of the system, whereas others perform well in terms of the systems behavior but require a lot of energy. It turns out that in general an optimal controller does not exist. However, necessary and sufficient conditions for the existence of optimal controller given a quadratic cost functional are presented in this thesis. Besides quantitative properties also some qualitative properties are investigated. The systems considered exhibit discontinuous behavior and Dirac impulses, whereas especially Dirac impulses are practically undesirable. Dirac impulses occur in practice in the form of hydraulic shocks in fluid networks or sparks in electronic circuits. The possibility to avoid Dirac impulses is also studied and necessary and sufficient conditions are given

Robust Observer Design for Hybrid Dynamical Systems with Linear Maps and Approximately Known Jump Times

This paper proposes a general framework for the state estimation of plants given by hybrid systems with linear flow and jump maps, in the favorable case where their jump events can be detected (almost) instantaneously. A candidate observer consists of a copy of the plant's hybrid dynamics with continuous-time and/or discrete-time correction terms multiplied by two constant gains, and with jumps triggered by those of the plant. Assuming that the time between successive jumps is known to belong to a given closed set allows us to formulate an augmented system with a timer which keeps track of the time elapsed between successive jumps and facilitates the analysis. Then, since the jumps of the plant and of the observer are synchronized, the error system has time-invariant linear flow and jump maps, and a Lyapunov analysis leads to sufficient conditions for the design of the observer gains for uniform asymptotic stability in three different settings: continuous and discrete updates, only discrete updates, and only continuous updates. These conditions take the form of matrix inequalities, which we solve in examples including cases where the time between successive jumps is unbounded or tends to zero (Zeno behavior), and cases where either both the continuous and discrete dynamics, only one of them, or neither of them are detectable. Finally, we study the robustness of this approach when the jumps of the observer are delayed with respect to those of the plant. We show that if the plant's trajectories are bounded and the time between successive jumps is lower-bounded away from zero, the estimation error is bounded, and arbitrarily small outside the delay intervals between the plant's and the observer's jumps

Impulse controllability of switched differential-algebraic equations

This paper addresses impulse controllability of switched DAEs on a finite interval. First we present a forward approach where we define certain subspaces forward in time. These subpsaces are then used to provide a sufficient condition for impulse controllability. In order to obtain a full characterization we present afterwards a backward approach, where a sequence of subspaces is defined backwards in time. With the help of the last element of this backward sequence, we are able to fully characterize impulse controllability. All results are geometric results and thus independent of a coordinate system

Impulse controllability of switched differential-algebraic equations

This paper addresses impulse controllability of switched DAEs on a finite interval. First we present a forward approach where we define certain subspaces forward in time. These subpsaces are then used to provide a sufficient condition for impulse controllability. In order to obtain a full characterization we present afterwards a backward approach, where a sequence of subspaces is defined backwards in time. With the help of the last element of this backward sequence, we are able to fully characterize impulse controllability. All results are geometric results and thus independent of a coordinate system