There is a great resolution calling for smart grids in recent years. Introduction of new technologies, that make the network flexible and controllable, is a main part of smart grid concept and a key factor to its success. Transmission network as a part of system network has drawn less attention. Transmission switching as a transmission service can release us from load shedding and remove the co...

We present a correct-by-design method of state-dependent control synthesis for sampled switching systems. Given a target region R of the state space, our method builds a capture set S and a control that steers any element of S intoR. The method works by iterated backward reachability fromR. The method is also used to synthesize a recurrence control that makes any state of R return to R infinite...

This paper provides necessary conditions of optimality, in the form of a maximum principle, for optimal control problems of switching systems. Dynamics of the constituent processes take the form of stochastic differential equations with control terms in the drift and diffusion coefficients. The restrictions on the transitions or switches between operating modes, are described by collections of ...

In this paper we study the stochastic optimal (LQG) tracking problems with preview for a class of linear continuous-time Markovian jump systems. The systems are described as continuous-time switching systems with Markovian mode transitions. Necessary and sufficient conditions for the solvability of our LQG tracking problems are given by coupled Riccati differential equations and coupled scalar ...

A method is proposed to infer Lyapunov and asymptotic stability properties for switching systems, under arbitrary continuous-state feedback. Continuous-time systems which are dissipative in the multiple-storage function sense are considered. A partition of the state space, induced by the cross-supply rates and the feedback function, is used to derive conditions for stability. It is argued that ...

We describe new methods for deciding the stability of switching systems. The methods build on two ideas previously appeared in the literature: the polytope norm iterative construction, and the lifting procedure. Moreover, the combination of these two ideas allows us to introduce a pruning algorithm which can importantly reduce the computational burden. We prove several appealing theoretical pro...

In this paper we show that for linear switching systems of the form xn+1 = Anxn + un+1, where the matrices An are chosen arbitrarily from a given set of matrices, bounded-input-bounded-output stability implies uniform exponential stability.

The purpose of this paper is to illustrate the diversity of combinatorial problems encountered in the design of wireless switching systems. This is done via a representative selection of examples of real problems along with their associated solution methods. It should be emphasized that all the solution methods presented in this paper are successfully operating in the field at the time of writing.