Global analysis of piecewise linear systems using impact maps and surface Lyapunov functions

This paper presents an entirely new constructive global analysis methodology for a class of hybrid systems known as piecewise linear systems (PLS). This methodology infers global properties of PLS solely by studying the behavior at switching surfaces associated with PLS. The main idea is to analyze impact maps, i.e., maps from one switching surface to the next switching surface. Such maps are known to be "unfriendly" maps in the sense that they are highly nonlinear, multivalued, and not continuous. We found, however, that an impact map induced by an linear time-invariant flow between two switching surfaces can be represented as a linear transformation analytically parametrized by a scalar function of the state. This representation of impact maps allows the search for surface Lyapunov functions (SuLF) to be done by simply solving a semidefinite program, allowing global asymptotic stability, robustness, and performance of limit cycles and equilibrium points of PLS to be efficiently checked. This new analysis methodology has been applied to relay feedback, on/off and saturation systems, where it has shown to be very successful in globally analyzing a large number of examples. In fact, it is still an open problem whether there exists an example with a globally stable limit cycle or equilibrium point that cannot be successfully analyzed with this new methodology. Examples analyzed include systems of relative degree larger than one and of high dimension, for which no other analysis methodology could be applied. This success in globally analyzing certain classes of PLS has shown the power of this new methodology, and suggests its potential toward the analysis of larger and more complex PLS

Modeling, Stability Analysis, and Testing of a Hybrid Docking Simulator

A hybrid docking simulator is a hardware-in-the-loop (HIL) simulator that includes a hardware element within a numerical simulation loop. One of the goals of performing a HIL simulation at the European Proximity Operation Simulator (EPOS) is the verification and validation of the docking phase in an on-orbit servicing mission.....Comment: 30 papge

Input to State Stability of Bipedal Walking Robots: Application to DURUS

Bipedal robots are a prime example of systems which exhibit highly nonlinear dynamics, underactuation, and undergo complex dissipative impacts. This paper discusses methods used to overcome a wide variety of uncertainties, with the end result being stable bipedal walking. The principal contribution of this paper is to establish sufficiency conditions for yielding input to state stable (ISS) hybrid periodic orbits, i.e., stable walking gaits under model-based and phase-based uncertainties. In particular, it will be shown formally that exponential input to state stabilization (e-ISS) of the continuous dynamics, and hybrid invariance conditions are enough to realize stable walking in the 23-DOF bipedal robot DURUS. This main result will be supported through successful and sustained walking of the bipedal robot DURUS in a laboratory environment.Comment: 16 pages, 10 figure

Survey of highly non-Keplerian orbits with low-thrust propulsion

Celestial mechanics has traditionally been concerned with orbital motion under the action of a conservative gravitational potential. In particular, the inverse square gravitational force due to the potential of a uniform, spherical mass leads to a family of conic section orbits, as determined by Isaac Newton, who showed that Kepler‟s laws were derivable from his theory of gravitation. While orbital motion under the action of a conservative gravitational potential leads to an array of problems with often complex and interesting solutions, the addition of non-conservative forces offers new avenues of investigation. In particular, non-conservative forces lead to a rich diversity of problems associated with the existence, stability and control of families of highly non-Keplerian orbits generated by a gravitational potential and a non-conservative force. Highly non-Keplerian orbits can potentially have a broad range of practical applications across a number of different disciplines. This review aims to summarize the combined wealth of literature concerned with the dynamics, stability and control of highly non-Keplerian orbits for various low thrust propulsion devices, and to demonstrate some of these potential applications

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

Analytical and experimental stability investigation of a hardware-in-the-loop satellite docking simulator

The European Proximity Operation Simulator (EPOS) of the DLR-German Aerospace Center is a robotics-based simulator that aims at validating and verifying a satellite docking phase. The generic concept features a robotics tracking system working in closed loop with a force/torque feedback signal. Inherent delays in the tracking system combined with typical high stiffness at contact challenge the stability of the closed-loop system. The proposed concept of operations is hybrid: the feedback signal is a superposition of a measured value and of a virtual value that can be tuned in order to guarantee a desired behavior. This paper is concerned with an analytical study of the system's closed-loop stability, and with an experimental validation of the hybrid concept of operations in one dimension (1D). The robotics simulator is modeled as a second-order loop-delay system and closed-form expressions for the critical delay and associated frequency are derived as a function of the satellites' mass and the contact dynamics stiffness and damping parameters. A numerical illustration sheds light on the impact of the parameters on the stability regions. A first-order Pade approximation provides additional means of stability investigation. Experiments were performed and tests results are described for varying values of the mass and the damping coefficients. The empirical determination of instability is based on the coefficient of restitution and on the observed energy. There is a very good agreement between the critical damping values predicted by the analysis and observed during the tests...Comment: 16 page