On Robust Stability of Limit Cycles for Hybrid Systems with Multiple Jumps

In this paper, we address stability and robustness properties of hybrid limit cycles for a class of hybrid systems with multiple jumps in one period. The main results entail equivalent characterizations of stability of hybrid limit cycles for hybrid systems. The hybrid limit cycles may have multiple jumps in one period and the jumps are allowed to occur on sets. Conditions guaranteeing robustness of hybrid limit cycles are also presented

Notions, Stability, Existence, and Robustness of Limit Cycles in Hybrid Systems

This paper deals with existence and robust stability of hybrid limit cycles for a class of hybrid systems given by the combination of continuous dynamics on a flow set and discrete dynamics on a jump set. For this purpose, the notion of Zhukovskii stability, typically stated for continuous-time systems, is extended to the hybrid systems. Necessary conditions, particularly, a condition using a forward invariance notion, for existence of hybrid limit cycles are first presented. In addition, a sufficient condition, related to Zhukovskii stability, for the existence of (or lack of) hybrid limit cycles is established. Furthermore, under mild assumptions, we show that asymptotic stability of such hybrid limit cycles is not only equivalent to asymptotic stability of a fixed point of the associated Poincar\'{e} map but also robust to perturbations. Specifically, robustness to generic perturbations, which capture state noise and unmodeled dynamics, and to inflations of the flow and jump sets are established in terms of $\mathcal{KL}$ bounds. Furthermore, results establishing relationships between the properties of a computed Poincar\'{e} map, which is necessarily affected by computational error, and the actual asymptotic stability properties of a hybrid limit cycle are proposed. In particular, it is shown that asymptotic stability of the exact Poincar\'{e} map is preserved when computed with enough precision. Several examples, including a congestion control system and spiking neurons, are presented to illustrate the notions and results throughout the paper.Comment: 26 pages. Version submitted for revie

Wild oscillations in a nonlinear neuron model with resets: (II) Mixed-mode oscillations

This work continues the analysis of complex dynamics in a class of bidimensional nonlinear hybrid dynamical systems with resets modeling neuronal voltage dynamics with adaptation and spike emission. We show that these models can generically display a form of mixed-mode oscillations (MMOs), which are trajectories featuring an alternation of small oscillations with spikes or bursts (multiple consecutive spikes). The mechanism by which these are generated relies fundamentally on the hybrid structure of the flow: invariant manifolds of the continuous dynamics govern small oscillations, while discrete resets govern the emission of spikes or bursts, contrasting with classical MMO mechanisms in ordinary differential equations involving more than three dimensions and generally relying on a timescale separation. The decomposition of mechanisms reveals the geometrical origin of MMOs, allowing a relatively simple classification of points on the reset manifold associated to specific numbers of small oscillations. We show that the MMO pattern can be described through the study of orbits of a discrete adaptation map, which is singular as it features discrete discontinuities with unbounded left- and right-derivatives. We study orbits of the map via rotation theory for discontinuous circle maps and elucidate in detail complex behaviors arising in the case where MMOs display at most one small oscillation between each consecutive pair of spikes

Contributions à la stabilisation des systèmes à commutation affine

Cette thèse porte sur la stabilisation des systèmes à commutation dont la commande, le signal de commutation, est échantillonné de manière périodique. Les difficultés liées à cette classe de systèmes non linéaires sont d'abord dues au fait que l'action de contrôle est effectuée aux instants de calcul en sélectionnant le mode de commutation à activer et, ensuite, au problème de fournir une caractérisation précise de l'ensemble vers lequel convergent les solutions du système, c'est-à-dire l'attracteur. Dans cette thèse, les contributions ont pour fil conducteur la réduction du conservatisme fait pendant la définition d'attracteurs, ce qui a mené à garantir la stabilisation du système à un cycle limite. Après une introduction générale où sont présentés le contexte et les principaux résultats de la littérature, le premier chapitre contributif introduit une nouvelle méthode basée sur une nouvelle classe de fonctions de Lyapunov contrôlées qui fournit une caractérisation plus précise des ensembles invariants pour les systèmes en boucle fermée. La contribution présentée comme un problème d'optimisation non convexe et faisant référence à une condition de Lyapunov-Metzler apparaît comme un résultat préliminaire et une étape clé pour les chapitres à suivre. La deuxième partie traite de la stabilisation des systèmes affines commutés vers des cycles limites. Après avoir présenté quelques préliminaires sur les cycles limites hybrides et les notions dérivées telles que les cycles au Chapitre 3, les lois de commutation stabilisantes sont introduites dans le Chapitre 4. Une approche par fonctions de Lyapunov contrôlées et une stratégie de min-switching sont utilisées pour garantir que les solutions du système nominal en boucle fermée convergent vers un cycle limite. Les conditions du théorème sont exprimées en termes d'Inégalités Matricielles Linéaires (dont l'abréviation anglaise est LMI) simples, dont les conditions nécessaires sous-jacentes relâchent les conditions habituelles dans cette littérature. Cette méthode est étendue au cas des systèmes incertains dans le Chapitre 5, pour lesquels la notion de cycles limites doit être adaptée. Enfin, le cas des systèmes dynamiques hybrides est exploré au Chapitre 6 et les attracteurs ne sont plus caractérisés par des régions éventuellement disjointes mais par des trajectoires fermées et isolées en temps continu. Tout au long de la thèse, les résultats théoriques sont évalués sur des exemples académiques et démontrent le potentiel de la méthode par rapport à la littérature récente sur le sujet.This thesis deals with the stabilization of switched affine systems with a periodic sampled-data switching control. The particularities of this class of nonlinear systems are first related to the fact that the control action is performed at the computation times by selecting the switching mode to be activated and, second, to the problem of providing an accurate characterization of the set where the solutions to the system converge to, i.e. the attractors. The contributions reported in this thesis have as common thread to reduce the conservatism made in the characterization of attractors, leading to guarantee the stabilization of the system at a limit cycle. After a brief introduction presenting the context and some main results, the first contributive chapter introduced a new method based on a new class of control Lyapunov functions that provides a more accurate characterization of the invariant set for a closed-loop system. The contribution presented as a nonconvex optimization problem and referring to a Lyapunov-Metzler condition appears to be a preliminary result and the milestone of the forthcoming chapters. The second part deals with the stabilization of switched affine systems to limit cycles. After presenting some preliminaries on hybrid limit cycles and derived notions such as cycles in Chapter 3, stabilizing switching control laws are developed in Chapter 4. A control Lyapunov approach and a min-switching strategy are used to guarantee that the solutions to a nominal closed-loop system converge to a limit cycle. The conditions of the theorem are expressed in terms of simple linear matrix inequalities (LMI), whose underlying necessary conditions relax the usual one in this literature. This method is then extended to the case of uncertain systems in Chapter 5, for which the notion of limit cycle needs to be adapted. Finally, the hybrid dynamical system framework is explored in Chapter 6 and the attractors are no longer characterized by possibly disjoint regions but as continuous-time closed and isolated trajectory. All along the dissertation, the theoretical results are evaluated on academic examples and demonstrate the potential of the method over the recent literature on this subject

Synchronization of electrically coupled resonate-and-fire neurons

Electrical coupling between neurons is broadly present across brain areas and is typically assumed to synchronize network activity. However, intrinsic properties of the coupled cells can complicate this simple picture. Many cell types with strong electrical coupling have been shown to exhibit resonant properties, and the subthreshold fluctuations arising from resonance are transmitted through electrical synapses in addition to action potentials. Using the theory of weakly coupled oscillators, we explore the effect of both subthreshold and spike-mediated coupling on synchrony in small networks of electrically coupled resonate-and-fire neurons, a hybrid neuron model with linear subthreshold dynamics and discrete post-spike reset. We calculate the phase response curve using an extension of the adjoint method that accounts for the discontinuity in the dynamics. We find that both spikes and resonant subthreshold fluctuations can jointly promote synchronization. The subthreshold contribution is strongest when the voltage exhibits a significant post-spike elevation in voltage, or plateau. Additionally, we show that the geometry of trajectories approaching the spiking threshold causes a "reset-induced shear" effect that can oppose synchrony in the presence of network asymmetry, despite having no effect on the phase-locking of symmetrically coupled pairs

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