The properties of the solution for a class of switched systems with internally forced switching

*Correspondence: xiankangchen@yeah.net 2Department of Mathematics and Computer Science, Liupanshui Normal University, Liupanshui, China Full list of author information is available at the end of the article Abstract In this paper, the dynamic behavior of a class of switched systems with internally forced switching (IFS) is investigated. By introducing the definitions of continuous dependence and differentiability, the continuous dependence and differentiability of the solution relative to the control function are obtained. In the past studies, the optimal control problem given by IFS mainly focused on a special class of controlled systems (the piece affine system). Our results lay a good foundation for studying the more general internally forced switching problem.


Introduction
Recently, the switched system has been an object of increasing interest because of its wide applicability in many fields, such as vehicle's engine management systems [36], electrical power systems [7,32], robot systems [13,16], chemical [11,22], and so on. For the recent results on its stability and stabilization, one can refer to the survey [24] and the references therein. For the recent results on stability of switched systems, one can read the reports [8,9,20,21,35,42]. In addition to stability and stabilization issues, its optimal control problem also has attracted researchers from various fields in science and engineering.
There are both theoretical and computational results in the open literature. The available theoretical results usually extend the classical maximum principle or the dynamic programming approach to the switched system (see [29,30,34]). Namely, studying the behavior of the switched system is most important in studying its optimal control problem, particularly the continuous dependence and differentiability of the solution relative to the control function of the switched system.
can be expressed aṡ where ω is the switching law valuing from P (P is an index set), u ∈ R m is the input, and f i : R n × R m → R n , i ∈ P, is a family of known functions. According to the switching law, the switched system can be classified into two classes: the switched system with internally forced switching (IFS) or externally forced switching (EFS). The switching law of IFS is based on the information of the state and the current mode. In general, it can be a function of t, x, and p. The autonomous lane change systems is a typical class of switched systems with internally forced switching. Each mode of the autonomous lane change system can be described by a differential equation. Transitions between modes are abrupt and triggered by system states and its constantly changing surroundings including velocity, throttle angle, engaged gear, obstacles, traffic signs, pedestrian, and so on. Note that the switching times are not pre-set but dependent on the time and states, which implies that its switching law is a function of t and x. The switching law of EFS is an exogenous input to the system such as the traffic signal lamp system. Its switching times are not dependent on the vehicle driving states but pre-set. Namely, the exogenous input of IFS is only u while the exogenous input of EFS is a pair (ω, u). Furthermore, the optimal control problem given by the switched system can be divided into two kinds: internally forced switching problem and externally forced switching problem according to the above taxonomy. The internally forced switching problem is finding an admissible control u while the externally forced switching problem is finding an admissible control pair (ω, u). In addition, numerous examples indicate that IFS is more effective in modeling the smart system, such as self-driving cars [3,33], switched Hopfield neural networks [14,41], memristive neural networks [26], Toxin systems, and so on. The above analysis shows that IFS is relatively simple and smart. However, the optimal control problem of the switched system focuses on the externally forced switching problem and obtains great achievements (see [10,12,17,[37][38][39]). The existing literature of the externally forced switching problem mainly covers a special class of IFS (the piecewise affine system) (see [2,15,18,28,31]). The more general internally forced switching problem is still an open problem. The difficulty in this problem is that the solution of IFS does not have continuous dependence relative to the control due to its switching law. Naturally, the differentiability of the solution with respect to the control does not hold either. To make the phenomenon clear, we will give a simple example. We first define several functions as follows: and y 1 (t) = 1, t ∈ [0, +∞), y 2 (t) = 0, t ∈ [0, +∞).
Consider the following switched system with internally forced switching: where the switching law ω is a piecewise constant function from R + to P having the form The time interval [a, b) satisfies the following conditions: Denote by x(·; u) the solution of (2) corresponding to the control function u. Let the initial state of (2) be (0, 1), then we have the following result: Furthermore, we derive that lim n→∞ x(t; 2)x t; 2 -1 n L 1 ((0,1),R) = 1, which implies that the solution x(·; 2) of (2) is not continuously dependent on the control function in the L 1 space. Naturally, we cannot expect the differentiability of the solution with respect to the control function either. As is known, the continuous dependence and differentiability of the solution with respect to the control function of the controlled system are the key to studying its optimal control problem. However, to our knowledge, the study of IFS is focused on the stability [1,4,5,19,25,27,40]. Compared with a large number of results for stability of IFS, only a few results have appeared on the existence and continuity of its solution. In particular, as far as we know, to date, except for [25] and [6] studying the existence of the solution of a class of IFSs, there has been no published papers on the continuous dependence and differentiability of the solution for IFS. In conclusion, the continuous dependence and differentiability of the solution for IFS are interesting and challenging problems. Motivated by the ideas, in this paper we study the continuous dependence and differentiability of the solution with respect to the control of a class of switched systems with internally forced switching. Suppose that f i : R + → R is a family of known functions, a and the warning line y i both are known constants in R, and the control function u ∈ L p loc (R + , R) where i ∈ P, P = {1, 2}. In this paper, we deal with the following switched system with internally forced switching: where the switching law ω : R → P is a piecewise constant function defined by and [a, b) is the same as (2). Throughout this paper, let (0, y 1 ) be the initial state of IFS (3). Our goal in the paper is to study the continuous dependence and differentiability of the solution relative to the control function u for IFS (3). The rest of the paper is organized as follows. In Sect. 2, introducing some definitions, modifying some classical definitions, the continuous dependence of the solution for IFS (3) is discussed. In Sect. 3, the differentiability of the solution for IFS (3) is given.
Notations Throughout this paper, we use the following notations. R n denotes the ndimensional Euclidean space and |x| denotes the Euclidean norm of a vector x. Take

Continuous dependence of solution on the control
In this section, we consider the continuous dependence of the solution of IFS (3) with respect to the control. It is found from example (2) that the solution of IFS might not have the continuous dependence relative to the control even in the L 1 space. A major reason for this is that there is a different number of switches on bounded time intervals under a small perturbation of the control. That is to say, small perturbations of the control can have a great impact on the switching times of the systems. In order to overcome the difficulties and obtain the continuous dependence of the solution of IFS (3) relative to the control, some preliminaries will be involved. According to our previous study [23], we have the following result.
Let x(·; u) be the solution of IFS (3) corresponding to the initial conditions (0, y 1 ) and the control function u, then the solution of IFS (3) has the following form: where i, j ∈ P, i = j, k ∈ N + . Furthermore, we introduce the definitions of the approximate solution and continuous dependence.
is said to be an approximate solution of IFS (3) if, for any fixed sufficiently small θ > 0, x θ (·; u) satisfies the following integral equation: where i, j ∈ P, i = j, k ∈ N + .
Note that the approximate solution x θ (·; u) is the solution of IFS (3), as θ = 0. Meanwhile, Lemma 2.1 shows that, for any sufficient small θ > 0, (3) admits a unique approximate solution x θ (·; u) having the form (6) under the conditions of Lemma 2.1, and IFS (3) at most has a finite number of switches on every bounded time interval (see the literature [23] for detail). Let and x θ (·; u n ) be an approximate solution of IFS (3) corresponding to the control function u n (·). It can be seen from Definition 2.1 that x θ (·, u n ) and x(·) have the same number of irregular points on [0, T] for any fixed T > 0.

Now define
It is easy to see m([t 0 , T] \ I ) = 2 < , and there is δ = δ k > 0 such that the inequality holds for each t ∈ I and θ + uu n L p ∈ [0, δ). This completes the proof of Theorem 2.1.

Differentiability of solution with respect to the control
In this section, we discuss the differentiability of the solution relative to the control function for IFS (3). Before that, we make some preparations. For convenience, we consider the smooth optimal control problem, namely the allowable control set U ([0, T]; R) ⊂ C([0, T]; R). Suppose that (x,ū) is the solution of the smooth optimal control problem given by IFS (3), where the optimal trajectoryx(·;ū(·)) is the solution of IFS (3) corresponding to the optimal controlū. For any α ∈ R and u(·) ∈ U ([0, T]; R), we have that u α (·) =ū(·) + αu(·) ∈ U ([0, T]; R). Furthermore, it can be seen from Lemma 2.1 that IFS (3) has a unique approximate solution u α (·; u α ). From IFS (2), we can claim that IFS may be not continuous dependence relative to the control function. Naturally, we cannot expect to the differentiability of the solution relative to the control function. Hence, we need to modify the classical definition of the variation.

Definition 3.1
The solution x(·; u) of IFS (3) is said to be Gâteaux differentiable relative to u(·) in the direction of the function u α (·) if exists for all t such that x(t; u) = y i for all i ∈ P. Furthermore, let then ϕ(·; u α ) is called the Gâteaux derivative of the solution x(·; u) relative to the control function u(·) in the direction of u α (·).
To obtain the differentiability of the solution relative to the control function for IFS (3), we need the following lemma. For this purpose, we first define several functions as follows: h t (α) denotes the solution of H(θ , t) = 0.
Furthermore, we get the following lemma.