arXiv subjects

Joaquin Carrasco

Publications and source records attributed to Joaquin Carrasco.

24 records · Page 2Linked to original sources

arXiv2019

Omnipotent Virtual Giant for Remote Human-Swarm Interaction

This paper proposes an intuitive human-swarm interaction framework inspired by our childhood memory in which we interacted with living ants by changing their positions and environments as if we were omnipotent relative to the ants. In virtual reality, analogously, we can be a super-powered virtual giant who can supervise a swarm of mobile robots in a vast and remote environment by flying over or resizing the world and coordinate them by picking and placing a robot or creating virtual walls. This work implements this idea by using Virtual Reality along with Leap Motion, which is then validated by proof-of-concept experiments using real and virtual mobile robots in mixed reality. We conduct a usability analysis to quantify the effectiveness of the overall system as well as the individual interfaces proposed in this work. The results revealed that the proposed method is intuitive and feasible for interaction with swarm robots, but may require appropriate training for the new end-user interface device.

cs.RO↗

arXiv2019

Input-Output Stability of Barrier-Based Model Predictive Control

Conditions for input-output stability of barrier-based model predictive control of linear systems with linear and convex nonlinear (hard or soft) constraints are established through the construction of integral quadratic constraints (IQCs). The IQCs can be used to establish sufficient conditions for global closed-loop stability. In particular conditions for robust stability can be obtained in the presence of unstructured model uncertainty. IQCs with both static and dynamic multipliers are developed and appropriate convex searches for the multipliers are presented. The effectiveness of the robust stability analysis is demonstrated with an illustrative numerical example.

eess.SY↗

arXiv2019

Noncausal FIR Zames-Falb Multiplier Search for Exponential Convergence Rate

In the existing literature, there are two approaches to estimate tighter bounds of the exponential convergence rate of stable Lure systems. On one hand, the classical integral quadratic constraint (IQC) framework can be applied under loop-transformation, so the stability of the new loop implies the convergence of the original loop. On the other hand, it is possible to modify the IQC framework, the so-called rho-IQC framework, in such a way that the convergence rate is directly obtained over the original loop. In this technical note, we extend the literature results from the search for a causal finite impulse response (FIR) Zames-Falb multiplier to the noncausal case. We show that the multipliers by the two approaches are equivalent by a change of variable. However, the factorisation of the Zames-Falb rho-IQC is restricted compared to the Zames-Falb IQC, so an unified factorisation is proposed. Finally, numerical examples illustrate that noncausal multipliers lead to less-conservative results.

math.OC↗

arXiv2018

Convex searches for discrete-time Zames-Falb multipliers

In this paper we develop and analyse convex searches for Zames--Falb multipliers. We present two different approaches: Infinite Impulse Response (IIR) and Finite Impulse Response (FIR) multipliers. The set of FIR multipliers is complete in that any IIR multipliers can be phase-substituted by an arbitrarily large order FIR multiplier. We show that searches in discrete-time for FIR multipliers are effective even for large orders. As expected, the numerical results provide the best $\ell_{2}$-stability results in the literature for slope-restricted nonlinearities. Finally, we demonstrate that the discrete-time search can provide an effective method to find suitable continuous-time multipliers.

math.OC↗

arXiv2017

Phase limitations of Zames-Falb multipliers

Phase limitations of both continuous-time and discrete-time Zames-Falb multipliers and their relation with the Kalman conjecture are analysed. A phase limitation for continuous-time multipliers given by Megretski is generalised and its applicability is clarified; its relation to the Kalman conjecture is illustrated with a classical example from the literature. It is demonstrated that there exist fourth-order plants where the existence of a suitable Zames-Falb multiplier can be discarded and for which simulations show unstable behavior. A novel phase-limitation for discrete-time Zames-Falb multipliers is developed. Its application is demonstrated with a second-order counterexample to the Kalman conjecture. Finally, the discrete-time limitation is used to show that there can be no direct counterpart of the off-axis circle criterion in the discrete-time domain.

eess.SY↗

arXiv2017

Conditions for the equivalence between IQC and graph separation stability results

This paper provides a link between time-domain and frequency-domain stability results in the literature. Specifically, we focus on the comparison between stability results for a feedback interconnection of two nonlinear systems stated in terms of frequency-domain conditions. While the Integral Quadratic Constrain (IQC) theorem can cope with them via a homotopy argument for the Lurye problem, graph separation results require the transformation of the frequency-domain conditions into truncated time-domain conditions. To date, much of the literature focuses on "hard" factorizations of the multiplier, considering only one of the two frequency-domain conditions. Here it is shown that a symmetric, "doubly-hard" factorization is required to convert both frequency-domain conditions into truncated time-domain conditions. By using the appropriate factorization, a novel comparison between the results obtained by IQC and separation theories is then provided. As a result, we identify under what conditions the IQC theorem may provide some advantage.

eess.SY↗