			Home About us Contact

Switched System (switched + system)

Distribution by Scientific Domains

Engineering	80%

Selected Abstracts

On Verification and Parameter Design in Hybrid Automaton Using Invariant

IEEJ TRANSACTIONS ON ELECTRICAL AND ELECTRONIC ENGINEERING, Issue 6 2009
LiLi Wang Non-member
Abstract Invariants for hybrid automata are determined from predicates that are constant for every reachable state in the automata. These invariants can be used to verify a given specification by exploiting their characteristics. In this paper, a switched system driven by discrete inputs is used as an example of a hybrid dynamical system. For the system, we propose a verification method for a given specification based on the concept of invariants and a design policy of parameters with which the given specification is satisfied. Some numerical and experimental results are provided to show the validity of the proposed method. Copyright © 2009 Institute of Electrical Engineers of Japan. Published by John Wiley & Sons, Inc. [source]

Stability analysis and guaranteed domain of attraction for a class of hybrid systems: an LMI approach

INTERNATIONAL JOURNAL OF ROBUST AND NONLINEAR CONTROL, Issue 5 2003
S. Palomino Bean
Abstract This paper presents sufficient conditions for the regional stability problem for switched piecewise affine systems, a special class of Hybrid Systems. This class of systems are described by an affine differential equation of the type x,=A(,)x+b(,), where x denotes the continuous state vector and , is a vector of logical variables that modifies the local model of the system in accordance with the continuous dynamics. Using a Lyapunov function of the type v(x)=x,P(x)x, we present LMI conditions that, when feasible, guarantee local stability of the origin of the switched system. Examples of switched affine systems are used to illustrate the results. Copyright © 2003 John Wiley & Sons, Ltd. [source]

Sliding Mode ,-, Modulation Control of the Boost Converter

ASIAN JOURNAL OF CONTROL, Issue 4 2005
Hebertt Sira-Ramírez
ABSTRACT A switched implementation of average dynamic output feedback laws trough a ,-,-modulator, widely known in the classic communications and analog signal encoding literature, not only frees the sliding mode control approach from state measurements and the corresponding synthesis of sliding surfaces in the plant's state space, but it also allows to effectively transfer all desired closed loop features of an uniformly bounded, continuous, average output feedback controller design into the more restrictive discrete-valued (ON-OFF) control framework of a switched system. The proposed approach is here used for the input-output sliding mode stabilization of the "boost" DC-to-DC converter. This is achieved by means of a well known passivity based controller but any other output feedback design would have served our purposes. This emphasizes the flexibility of the proposed sliding mode control design implementation through ,-,-modulators. [source]

Delay-dependent exponential stability for switched delay systems

OPTIMAL CONTROL APPLICATIONS AND METHODS, Issue 4 2009
Dong Wang
Abstract Delay-dependent exponential stability criteria are presented for switched systems consisting of a family of stable and unstable subsystems with interval time-varying delay. Two cases with regard to such delay are considered: one is that time-varying delay function is differentiable and bounded and the other is that time-varying delay function is continuous and bounded. It is very difficult to analyze the stability of such systems due to the existence of time delay and unstable subsystems. By introducing some free-weighting matrices, constructing the new Lyapunov,Krasovskii functional and taking advantage of the average dwell time technique, not only is this difficulty overcome but also sufficient conditions for such criteria are obtained and formulated in terms of linear matrix inequalities. Numerical examples are provided to demonstrate the effectiveness and feasibility of the proposed approaches. Copyright © 2008 John Wiley & Sons, Ltd. [source]

Chemical networks with inflows and outflows: A positive linear differential inclusions approach

BIOTECHNOLOGY PROGRESS, Issue 3 2009
David Angeli
Abstract Certain mass-action kinetics models of biochemical reaction networks, although described by nonlinear differential equations, may be partially viewed as state-dependent linear time-varying systems, which in turn may be modeled by convex compact valued positive linear differential inclusions. A result is provided on asymptotic stability of such inclusions, and applied to a ubiquitous biochemical reaction network with inflows and outflows, known as the futile cycle. We also provide a characterization of exponential stability of general homogeneous switched systems which is not only of interest in itself, but also plays a role in the analysis of the futile cycle. © 2009 American Institute of Chemical Engineers Biotechnol. Prog., 2009 [source]