Consider a nonlinear system of the following form
where , and
and
are continuous functions with f(0,0)=0 and h(0)=0.
Since we are interested in whether a system can be stabilized by
switching between different controllers we introduce a set of so
called basic controllers of the form
where is
continuous,
, and
is closed.
To determine when to use a basic controller we also introduce a
switching function I(x) which maps the set of state
measurements into the set of integers
. Hence, the
switching function induces a partition of the state space with
different enumerated components. We use the following notation
for the control law obtained by choosing basic controller with respect to the switching function I. In the sequel we assume that (1) is controlled by the basic controllers (2) with respect to the switching function I. Such systems may arise in cases when the controller consists of a number of relay nonlinearities which can be used to change the structure of the system (1).
Notice that the right hand side of the closed loop system
is bounded as long as the state belongs to some compact subset
of
. Hence,
is bounded
on
.
Sometimes it can be desired to implement a switching controller using some hysteresis elements, for example to avoid sliding modes. Observe that this kind of controllers cannot be described by a switching function since the hysteresis element introduce a discrete state. We will use the term switching rule to distinguish these cases.
Here we state a number of definitions and results that we need for investigating stability and stabilizability of switched systems, see for example [8, 9].
If the origin is asymptotically stable it has a region of
attraction, i.e., a set of initial states such that
for all
.
Note that sometimes the term positively invariant is used to describe the above property. However, we do not adopt that terminology here.
The main problem we consider in this report is:
What are the conditions for existence and how is it possible to design a (globally) stabilizing switching controller (3)?Much of the stability analysis of smooth systems can be generalized to nonsmooth systems.