Humberto Stein Shiromoto

Humberto Stein Shiromoto, Vincent Andrieu, Christophe Prieur

A sufficient condition for the stability of a system resulting from the interconnection of dynamical systems is given by the small gain theorem. Roughly speaking, to apply this theorem, it is required that the gains composition is continuous, increasing and upper bounded by the identity function. In this work, an alternative sufficient condition is presented for the case in which this criterion fails due to either lack of continuity or the bound of the composed gain is larger than the identity function. More precisely, the local (resp. non-local) asymptotic stability of the origin (resp. global attractivity of a compact set) is ensured by a region-dependent small gain condition. Under an additional condition that implies convergence of solutions for almost all initial conditions in a suitable domain, the almost global asymptotic stability of the origin is ensured. Two examples illustrate and motivate this approach.

Humberto Stein Shiromoto, Vincent Andrieu, Christophe Prieur

We consider nonlinear control systems for which there exist some structural obstacles to the design of classical continuous stabilizing feedback laws. More precisely, it is studied systems for which the backstepping tool for the design of stabilizers can not be applied. On the contrary, it leads to feedback laws such that the origin of the closed-loop system is not globally asymptotically stable, but a suitable attractor (strictly containing the origin) is practically asymptotically stable. Then, a design method is suggested to build a hybrid feedback law combining a backstepping controller with a locally stabilizing controller. The results are illustrated for a nonlinear system which, due to the structure of the system, does not have a priori any globally stabilizing backstepping controller.

Humberto Stein Shiromoto, Vincent Andrieu, Christophe Prieur

In the present work, we consider nonlinear control systems for which there exist structural obstacles to the design of classical continuous backstepping feedback laws. We conceive feedback laws such that the origin of the closed-loop system is not globally asymptotically stable but a suitable attractor (strictly containing the origin) is practically asymptotically stable. A design method is suggested to build a hybrid feedback law combining a backstepping controller with a locally stabilizing controller. A constructive approach is also suggested employing a differential inclusion representation of the nonlinear dynamics. The results are illustrated for a nonlinear system which, due to its structure, does not have {\it a priori} any globally stabilizing backstepping controller.

Sofiane Benachour, Humberto Stein Shiromoto, Vincent Andrieu

In this paper we consider the problem of global asymptotic stabilization with prescribed local behavior. We show that this problem can be formulated in terms of control Lyapunov functions. Moreover, we show that if the local control law has been synthesized employing a LQ approach, then the associated Lyapunov function can be seen as the value function of an optimal problem with some specific local properties. We illustrate these results on two specific classes of systems: backstepping and feedforward systems. Finally, we show how this framework can be employed when considering the orbital transfer problem.

Humberto Stein Shiromoto, Petro Feketa, Sergey Dashkovskiy

In this paper, the problem of stability analysis of a large-scale interconnection of nonlinear systems for which the small-gain condition does not hold globally is considered. A combination of the small-gain and density propagation inequalities is employed to prove almost input-to-state stability of the network.

Humberto Stein Shiromoto, Petro Feketa, Sergey Dashkovskiy

This work provides an example that motivates and illustrates theoretical results related to a combination of small-gain and density propagation conditions. Namely, in case the small-gain fails to hold at certain points or intervals the density propagation condition can be applied to assure global stability properties. We repeat the theoretical results here and demonstrate how they can be applied in the proposed example.

Petro Feketa, Humberto Stein Shiromoto, Sergey Dashkovskiy

Small-gain conditions used in analysis of feedback interconnections are contraction conditions which imply certain stability properties. Such conditions are applied to a finite or infinite interval. In this paper we consider the case, when a small-gain condition is applied to several disjunct intervals and use the density propagation condition in the gaps between these intervals to derive global stability properties for an interconnection. This extends and improves recent results from [1].

Humberto Stein Shiromoto, Vincent Andrieu, Christophe Prieur

For an ISS system, by analyzing local and non-local properties, it is obtained different input-to-state gains. The interconnection of a system having two input-to-state gains with a system having a single ISS gain is analyzed. By employing the Small Gain Theorem for the local (resp. non-local) gains composition, it is concluded about the local (resp. global) stability of the origin (resp. of a compact set). Additionally, if the region of local stability of the origin strictly includes the region attraction of the compact set, then it is shown that the origin is globally asymptotically stable. An example illustrates the approach.

Arturo Tejada, Klaudia Horváth, Humberto Stein Shiromoto et al.

This paper reports the initial steps in the development of WaterLab, an ambitious experimental facility for the testing of new cyber-physical technologies in drinking water distribution networks (DWDN). WaterLab's initial focus is on wireless control networks and on data-based, distributed anomaly detection over wireless sensor networks. The former can be used to control the hydraulic properties of a DWDN, while the latter can be used for in-situ detection and isolation of contamination and hydraulic faults.

Humberto Stein Shiromoto, Vincent Andrieu, Christophe Prieur

Systems for which the backstepping technique cannot be applied are considered. A criterion for the design of a hybrid feedback law is proposed by blending a local stabilizer with a backstepping controller. This hybrid feedback law renders the origin globally asymptotically stable for the closed-loop system. The selection criterion is based on choice of the size of a compact set included in the basin of attraction of the local controller. The results are illustrated by simulations.

Humberto Stein Shiromoto, Max Revay, Ian R. Manchester

This paper gives convex conditions for synthesis of a distributed control system for large-scale networked nonlinear dynamic systems. It is shown that the technique of control contraction metrics (CCMs) can be extended to this problem by utilizing separable metric structures, resulting in controllers that only depend on information from local sensors and communications from immediate neighbours. The conditions given are pointwise linear matrix inequalities, and are necessary and sufficient for linear positive systems and certain monotone nonlinear systems. Distributed synthesis methods for systems on chordal graphs are also proposed based on SDP decompositions. The results are illustrated on a problem of vehicle platooning with heterogeneous vehicles, and a network of nonlinear dynamic systems with over 1000 states that is not feedback linearizable and has an uncontrollable linearization

Humberto Stein Shiromoto, Ian R. Manchester

The problem under consideration is the synthesis of a distributed controller for a nonlinear network composed of input affine systems. The objective is to achieve exponential convergence of the solutions. To design such a feedback law, methods based on contraction theory are employed to render the controller-synthesis problem scalable and suitable to use distributed optimization. The nature of the proposed approach is constructive, because the computation of the desired feedback law is obtained by solving a convex optimization problem. An example illustrates the proposed methodology.