We present a correct-by-design method of state-dependent control synthesis for linear discrete-time switching systems. Given an objective region R of the state space, the method builds a capture set S and a control which steers any element of S into R. The method works by iterated backward reachability from R. More precisely, S is given as a parametric extension of R, and the maximum value of t...

This paper addresses the stabilisation of discrete-time switching linear systems (DTSSs) with control inputs under arbitrary switching, based on the existence of a common quadratic Lyapunov function (CQLF). The authors have begun a line of work dealing with control design based on the Lie-algebraic solvability property. The present paper expands on earlier work by deriving sufficient conditions...

Recently, switched systems have been found in many practical applications such as in communication network dynamics, robot manipulators, traffic management, etc. In this paper, we study the stability of time-varying linear switched systems under perturbations that satisfy linear growth condition, which is not available in current literature. By introducing a new Liao-type exponent for time-vary...

Notions of passivity for a class of switched control systems (SCS) are developed first in this article. We then study the following problems: 1) When is an SCS passive? 2) Does passivity imply Lyapunov stability as in the classical passive systems? 3) How to use passivity as a tool to design controllers to stabilize an SCS? For Problem 1), we derive sufficient conditions for passivity. For prob...

Soft switching has the potential of reducing switch stresses and of lowering the switching losses as compared to hard switching. For this reason, several soft-switching topologies have been presented in the literature. Each topology has some advantages. Their operation, however, requires additional active and/or passive elements. This introduces additional cost and complexity. To understand the...

Background: All nursing cares require decision-making, and the ability to make the best decisions impact upon the quality of nursing care. Moreover, authenticity and accuracy of the best cares may be questioned if not recorded and reported properly and in a standard manner. We aimed to design and implement an electronic nursing managementsystem and then evaluate satisfaction of nurses with the ...

Today’s communication WDM or OTDM networks, packetor circuit-switched, are characterized by hybrid architectures. In these architectures, electronic nodes are connected by optical links and switching is usually performed electronically using optoelectronic devices. However, the relatively low transmission bandwidth of the electronics and the associated optoelectronic interfaces, present an obst...

This paper discusses multi-objective controller synthesis for the fuzzy T-S (Takagi-Sugeno) model. Various performance specifications are included. Both the state-feedback controller and the dynamic feedback controller are presented. They are in the format of a PDC (parallel distributed compensation) controller which is essentially a nonlinear controller. The controller synthesis is formulated ...

The paper considers the so-called dynamic phasor model as a basis for harmonic analysis of a class of switching systems. The dynamic phasor model is a powerful tool for exploring cyclic properties of dynamic systems. It is shown that there is a connection between the dynamic phasor model and the harmonic transfer function of a linear time periodic system and this connection is used to extend th...

A new small signal stability analysis method is presented. The method is based on the computation of the transition matrix over a specified time interval that normally corresponds to one cycle operation of the system. The method is applicable to any system and it is especially suited to switching systems with or without nonlinear elements. A examples of the method application is presented. The ...