Abstract-Lyapunov's second theorem is an essential tool for stability analysis of differential equations. The paper provides an analog theorem for incremental stability analysis by lifting the Lyapunov function to the tangent bundle. The Lyapunov function endows the state-space with a Finsler structure. Incremental stability is inferred from infinitesimal contraction of the Finsler metrics through integration along solutions curves.

Abstract-The paper introduces and studies differentially positive systems, that is, systems whose linearization along an arbitrary trajectory is positive. A generalization of Perron Frobenius theory is developed in this differential framework to show that the property induces a (conal) order that strongly constrains the asymptotic behavior of solutions. The results illustrate that behaviors constrained by local order properties extend beyond the well-studied class of linear positive systems and monotone systems, which both require a constant cone field and a linear state space.

High-dimensional systems that have a lowdimensional dominant behavior allow for model reduction and simplified analysis. We use differential analysis to formalize this important concept in a nonlinear setting. We show that dominance can be studied through linear dissipation inequalities and an interconnection theory that closely mimics the classical analysis of stability by means of dissipativity theory. In this approach, stability is seen as the particular situation where the dominant behavior is 0-dimensional. The generalization opens novel tractable avenues to study multistability through 1-dominance and limit cycle oscillations through 2-dominance.

We consider an exponentially stable closed loop interconnection between a continuous-time linear plant and a continuous-time linear controller, and we study the problem of interconnecting the plant output to the controller input through a digital channel. We propose an event-triggered transmission policy whose goal is to transmit the measured plant output information as little as possible while preserving closed-loop stability. Global asymptotic stability is guaranteed when the plant state is available or when an estimate of the state is available (provided by a classical continuous-time linear observer). Under further assumptions, the transmission policy guarantees global exponential stability of the origin

Abstract-In this paper we formulate tracking and stateestimation problems of a translating mass in a polyhedral billiard as a stabilization problem for a suitable set. Due to the discontinuous trajectories arising from the impacts, we use hybrid systems stability analysis tools to establish the results. Using a novel concept of mirrored images of the target mass we prove that 1) a tracking control algorithm, and 2) an observer algorithm guarantee global exponential stability results for specific classes of polyhedral billiards, including rectangles. Moreover, we combine these two algorithms within dynamic controllers that guarantee global output feedback tracking. The results are illustrated via simulations.