Hybrid dynamics in large-scale logistics networks

We study stability properties of interconnected hybrid systems with application to large-scale logistics networks. Hybrid systems are dynamical systems that combine two types of dynamics: continuous and discrete. Such behaviour occurs in wide range of applications. Logistics networks are one of such applications, where the continuous dynamics occurs in the production and processing of material and the discrete one in the picking up and delivering of material. Stability of logistics networks characterizes their robustness to the changes occurring in the network. However, the hybrid dynamics and the large size of the network lead to complexity of the stability analysis. In this thesis we show how the behaviour of a logistics networks can be described by interconnected hybrid systems. Then we recall the small gain conditions used in the stability analysis of continuous and discrete systems and extend them to establish input-to-state stability (ISS) of interconnected hybrid systems. We give the mixed small gain condition in a matrix form, where one matrix describes the interconnection structure of the system and the other diagonal matrix takes into account whether ISS condition for a subsystem is formulated in the maximization or the summation sense. The small gain condition is sufficient for ISS of an interconnected hybrid system and can be applied to an interconnection of an arbitrary finite number of ISS subsystems. We also show an application of this condition to particular subclasses of hybrid systems: impulsive systems, comparison systems and the systems with stability of only a part of the state. Furthermore, we introduce an approach for structure-preserving model reduction for large-scale logistics networks. This approach supposes to aggregate typical interconnection patterns (motifs) of the network graph. Such reduction allows to decrease the number of computations needed to verify the small gain condition

Integral Input-to-State Stability of Nonlinear Time-Delay Systems with Delay-Dependent Impulse Effects

This paper studies integral input-to-state stability (iISS) of nonlinear impulsive systems with time-delay in both the continuous dynamics and the impulses. Several iISS results are established by using the method of Lyapunov-Krasovskii functionals. For impulsive systems with iISS continuous dynamics and destabilizing impulses, we derive two iISS criteria that guarantee the uniform iISS of the whole system provided that the time period between two successive impulse moments is appropriately bounded from below. Then we provide an iISS result for systems with unstable continuous dynamics and stabilizing impulses. For this scenario, it is shown that the iISS properties are guaranteed if the impulses occur frequently enough. For impulsive systems with stabilizing impulses and stable continuous dynamics for zero input, we obtain an iISS result which shows that the entire system is uniformly iISS over arbitrary impulse time sequences. As applications, iISS properties of a class of bilinear systems are studied in details with simulations to demonstrate the presented results

Review on computational methods for Lyapunov functions

Lyapunov functions are an essential tool in the stability analysis of dynamical systems, both in theory and applications. They provide sufficient conditions for the stability of equilibria or more general invariant sets, as well as for their basin of attraction. The necessity, i.e. the existence of Lyapunov functions, has been studied in converse theorems, however, they do not provide a general method to compute them. Because of their importance in stability analysis, numerous computational construction methods have been developed within the Engineering, Informatics, and Mathematics community. They cover different types of systems such as ordinary differential equations, switched systems, non-smooth systems, discrete-time systems etc., and employ di_erent methods such as series expansion, linear programming, linear matrix inequalities, collocation methods, algebraic methods, set-theoretic methods, and many others. This review brings these different methods together. First, the different types of systems, where Lyapunov functions are used, are briefly discussed. In the main part, the computational methods are presented, ordered by the type of method used to construct a Lyapunov function

Input-to-state stability of infinite-dimensional control systems

We define the notion of local ISS-Lyapunov function and prove, that existence of a local ISS-Lyapunov function implies local ISS (LISS) of the system. Then we consider infinite-dimensional systems generated by differential equations in Banach spaces. We prove, that an interconnection of such systems is ISS if all the subsystems are ISS and the small-gain condition holds. Next we show that a system is LISS provided its linearization is ISS. In the second part of the thesis we deal with infinite-dimensional impulsive systems. We prove, that existence of an ISS Lyapunov function (not necessarily exponential) for an impulsive system implies ISS of the system over impulsive sequences satisfying nonlinear fixed dwell-time condition. Also we prove, that an impulsive system, which possesses an exponential ISS Lyapunov function is uniform ISS over impulse time sequences, satisfying the generalized average dwell-time condition. Then we generalize small-gain theorems to the case of impulsive systems

Sliding Mode Control for Trajectory Tracking of a Non-holonomic Mobile Robot using Adaptive Neural Networks

In this work a sliding mode control method for a non-holonomic mobile robot using an adaptive neural network is proposed. Due to this property and restricted mobility, the trajectory tracking of this system has been one of the research topics for the last ten years. The proposed control structure combines a feedback linearization model, based on a nominal kinematic model, and a practical design that combines an indirect neural adaptation technique with sliding mode control to compensate for the dynamics of the robot. A neural sliding mode controller is used to approximate the equivalent control in the neighbourhood of the sliding manifold, using an online adaptation scheme. A sliding control is appended to ensure that the neural sliding mode control can achieve a stable closed-loop system for the trajectory-tracking control of a mobile robot with unknown non-linear dynamics. Also, the proposed control technique can reduce the steady-state error using the online adaptive neural network with sliding mode control; the design is based on Lyapunov’s theory. Experimental results show that the proposed method is effective in controlling mobile robots with large dynamic uncertaintiesFil: Rossomando, Francisco Guido. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - San Juan. Instituto de Automática. Universidad Nacional de San Juan. Facultad de Ingeniería. Instituto de Automática; ArgentinaFil: Soria, Carlos Miguel. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - San Juan. Instituto de Automática. Universidad Nacional de San Juan. Facultad de Ingeniería. Instituto de Automática; ArgentinaFil: Carelli Albarracin, Ricardo Oscar. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - San Juan. Instituto de Automática. Universidad Nacional de San Juan. Facultad de Ingeniería. Instituto de Automática; Argentin

Approximate Explicit MPC and Closed-loop Stability: Analysis based on PWA Lyapunov Functions

Model Predictive Control (MPC) is the de facto standard in advanced industrial automation systems. There are two main formulations of the MPC algorithm: an implicit one and an explicit MPC one. The first requires an optimization problem to be solved on-line, which is the main limitation when dealing with hard real-time applications. As the implicit MPC algorithm cannot be guaran- teed in terms of execution time, in many applications the explicit MPC solution is preferable. In order to deal with systems integrating mixed logic and dynam- ics, the class of the hybrid and piecewise affine models (PWA) were introduced and tackled by the explicit MPC strategy. However, the resulting controller complexity leads to a requirement on the CPU/memory combination which is as strict as the number of states, inputs and outputs increases. To reduce drasti- cally the complexity of the explicit controller while preserving the controller’s performance, a strategy combining switched MPC with discontinuous simpli- cial PWA models is introduced in this thesis. The latter is proven to be circuit implementable, e.g., in FPGA. To ensure that closed-loop stability properties are guaranteed, a stability analysis tool is proposed which exploits suitable and possibly discontinuous PWA Lyapunov-like functions. The tool requires solving offline a linear programming problem. Moreover, the tool is able to compute an invariant set for the closed-loop system, as well as ultimate boundedness and input-to-state stability properties