Browsing by Author "Haimovich, Hernán"
Now showing 1 - 13 of 13
Results Per Page
Sort Options
ponencia en congreso.listelement.badge A characterization of iISS for time-varying impulsive systems(2018-12) Haimovich, Hernán; Mancilla-Aguilar, J. L."Most of the existing characterizations of the integral input-to-state stability (iISS) property are not suitable for time varying or switched (nonlinear) systems. Previous work by the authors has shown that in such cases where converse Lyapunov theorems for stability are not available, iISS-Lyapunov functions may not exist. In these cases, the iISS property can still be characterized as the combination of global uniform asymptotic stability under zero input (0-GUAS) and uniformly bounded energy input-bounded state (UBEBS). This paper shows that such a characterization remains valid for time-varying impulsive systems, under an appropriate condition on the number of impulse times on each finite time interval."artículo de publicación periódica.listelement.badge A characterization of Integral ISS for switched and time-varying systems(2018-02) Haimovich, Hernán; Mancilla-Aguilar, J. L."Most of the existing characterizations of the integral input-to-state stability (iISS) property are not valid for time-varying or switched systems in cases where converse Lyapunov theorems for stability are not available. This paper provides a characterization that is valid for switched and time-varying systems, and shows that natural extensions of some of the existing characterizations result in only sufficient but not necessary conditions. The results provided also pinpoint suitable iISS gains and relate these to supply functions and bounds on the function defining the system dynamics."ponencia en congreso.listelement.badge A characterization of strong iISS for time-varying impulsive systems(2019-09) Haimovich, Hernán; Mancilla-Aguilar, J. L.; Cardone, Paula"For general time-varying or switched (nonlinear) systems, converse Lyapunov theorems for stability are not available. In these cases, the integral input-to-state stability (iISS) property is not equivalent to the existence of an iISS-Lyapunov function but can still be characterized as the combination of global uniform asymptotic stability under zero input (0-GUAS) and uniformly bounded energy input-bounded state (UBEBS). For impulsive systems, asymptotic stability can be weak (when the asymptotic decay depends only on elapsed time) or strong (when such a decay depends also on the number of impulses that occurred). This paper shows that the mentioned characterization of iISS remains valid for time-varying impulsive systems, provided that stability is understood in the strong sense. "artículo de publicación periódica.listelement.badge Converging-input convergent-state and related properties of time-varying impulsive systems(2020-07-03) Mancilla-Aguilar, J. L.; Haimovich, Hernán"Very recently, it has been shown that the standard notion of stability for impulsive systems, whereby the state is ensured to approach the equilibrium only as continuous time elapses, is too weak to allow for any meaningful type of robustness in a time-varying impulsive system setting. By strengthening the notion of stability so that convergence to the equilibrium occurs not only as time elapses but also as the number of jumps increases, some facts that are well-established for time-invariant nonimpulsive systems can be recovered for impulsive systems. In this context, our contribution is to provide novel results consisting in rather mild conditions under which stability under zero input implies stability under inputs that converge to zero in some appropriate sense."artículo de publicación periódica.listelement.badge Global stability results for switched systems based on weak Lyapunov functions(2017-06) Mancilla-Aguilar, J. L.; Haimovich, Hernán; García Galiñanes, Rafael"In this paper we study the stability of nonlinear and time-varying switched systems under restricted switching. We approach the problem by decomposing the system dynamics into a nominal-like part and a perturbationlike one. Most stability results for perturbed systems are based on the use of strong Lyapunov functions, i.e. functions of time and state whose total time derivative along the nominal system trajectories is bounded by a negative definite function of the state. However, switched systems under restricted switching may not admit strong Lyapunov functions, even when asymptotic stability is uniform over the set of switching signals considered. The main contribution of the current paper consists in providing stability results that are based on the stability of the nominal-like part of the system and require only a weak Lyapunov function. These results may have wider applicability than results based on strong Lyapunov functions. The results provided follow two lines. First, we give very general global uniform asymptotic stability results under reasonable boundedness conditions on the functions that define the dynamics of the nominal-like and the perturbation-like parts of the system. Second, we provide input-to-state stability (ISS) results for the case when the nominal-like part is switched linear-timevarying. We provide two types of ISS results: standard ISS that involves the essential supremum norm of the input and a modified ISS that involves a power-type norm."artículo de publicación periódica.listelement.badge (Integral-)ISS of switched and time-varying impulsive systems based on global state weak linearization(2021) Mancilla-Aguilar, J. L.; Haimovich, Hernán"It is shown that impulsive systems of nonlinear, time-varying and/or switched form that allow a stable global state weak linearization are jointly input-to-state stable (ISS) under small inputs and integral ISS (iISS). The system is said to allow a global state weak linearization if its flow and jump equations can be written as a (time-varying, switched) linear part plus a (nonlinear) pertubation satisfying a bound of affine form on the state. This bound reduces to a linear form under zero input but does not force the system to be linear under zero input. The given results generalize and extend previously existing ones in many directions: (a) no (dwell-time or other) constraints are placed on the impulse-time sequence, (b) the system need not be linear under zero input, (c) existence of a (common) Lyapunov function is not required, (d) the perturbation bound need not be linear on the input."artículo de publicación periódica.listelement.badge ISS implies iISS even for switched and time-varying systems (if you are careful enough)(2019-06) Haimovich, Hernán; Mancilla-Aguilar, J. L."For time-invariant systems, the property of input-to-state stability (ISS) is known to be strictly stronger than integral-ISS (iISS). Known proofs of the fact that ISS implies iISS employ Lyapunov characterizations of both properties. For time-varying and switched systems, such Lyapunov characterizations may not exist, and hence establishing the exact relationship between ISS and iISS remained an open problem, until now. In this paper, we solve this problem by providing a direct proof, i.e. without requiring Lyapunov characterizations, of the fact that ISS implies iISS, in a very general time-varying and switched-system context. In addition, we show how to construct suitable iISS gains based on the comparison functions that characterize the ISS property, and on bounds on the function f defining the system dynamics. When particularized to time-invariant systems, our assumptions are even weaker than existing ones. Another contribution is to show that for time-varying systems, local Lipschitz continuity of f in all variables is not sufficient to guarantee that ISS implies iISS. We illustrate application of our results on an example that does not admit an iISS-Lyapunov function."artículo de publicación periódica.listelement.badge Nonrobustness of asymptotic stability of impulsive systems with inputs(2020-12) Haimovich, Hernán; Mancilla-Aguilar, J. L."Suitable continuity and boundedness assumptions on the function f defining the dynamics of a time-varying nonimpulsive system with inputs are known to make the system inherit stability properties from the zero-input system. Whether this type of robustness holds or not for impulsive systems was still an open question. By means of suitable (counter)examples, we show that such stability robustness with respect to the inclusion of inputs cannot hold in general, not even for impulsive systems with time-invariant flow and jump maps. In particular, we show that zero-input global uniform asymptotic stability (0-GUAS) does not imply converging input converging state (CICS), and that 0-GUAS and uniform bounded-energy input bounded state (UBEBS) do not imply integral input-to-state stability (iISS). We also comment on available existing results that, however, show that suitable constraints on the allowed impulse–time sequences indeed make some of these robustness properties possible."ponencia en congreso.listelement.badge On bounding a nonlinear system with a monotone positive system(2017-12) Haimovich, Hernán; Mancilla-Aguilar, J. L."How to bound the state vector trajectory of a nonlinear system in a way so that the obtained bound be of practical value is an open problem. If some norm is employed for bounding the state vector trajectory, then this norm should be carefully selected and the state vector components suitably scaled. In addition, practical applications usually require separate bounds on every state variable. Bearing this context in mind, we develop a novel componentwise bounding procedure applicable to both real and complex nonlinear systems with additive disturbances. A bound on the magnitude of the evolution of each state variable is obtained by computing a single trajectory of a well-specified 'bounding' system constructed from the original system equations and the available disturbance bounds. The bounding system is shown to have highly desirable properties, such as being monotone and positive. We provide preliminary results establishing that key stability features are preserved by the bounding system for systems in triangular form."artículo de publicación periódica.listelement.badge On zero-input stability inheritance for time-varying systems with decaying-to-zero input power(2017-06) Mancilla-Aguilar, J. L.; Haimovich, Hernán"Stability results for time-varying systems with inputs are relatively scarce, as opposed to the abundant literature available for time-invariant systems. This paper extends to time-varying systems existing results that ensure that if the input converges to zero in some specific sense, then the state trajectory will inherit stability properties from the corresponding zero-input system. This extension is non-trivial, in the sense that the proof technique is completely novel, and allows to recover the existing results under weaker assumptions in a unifying way."artículo de publicación periódica.listelement.badge Strong ISS implies strong iISS for time-varying impulsive systems(2020-12) Haimovich, Hernán; Mancilla-Aguilar, J. L."For time-invariant (nonimpulsive) systems, it is already well-known that the input-to-state stability (ISS) property is strictly stronger than integral input-to-state stability (iISS). Very recently, we have shown that under suitable uniform boundedness and continuity assumptions on the function defining system dynamics, ISS implies iISS also for time-varying systems. In this paper, we show that this implication remains true for impulsive systems, provided that asymptotic stability is understood in a sense stronger than usual for impulsive systems"artículo de publicación periódica.listelement.badge Uniform input-to-state stability for switched and time-varying impulsive systems(2020-12) Mancilla-Aguilar, J. L.; Haimovich, Hernán"We provide a Lyapunov-function-based method for establishing different types of uniform input-to-state stability (ISS) for time-varying impulsive systems. The method generalizes to impulsive systems with inputs the well established philosophy of assessing the stability of a system by reducing the problem to that of the stability of a scalar system given by the evolution of the Lyapunov function on the system trajectories. This reduction is performed in such a way that the resulting scalar system has no inputs. Novel sufficient conditions for ISS are provided, which generalize existing results for time-invariant and time-varying, switched and nonswitched, impulsive and nonimpulsive systems in several directions."artículo de publicación periódica.listelement.badge Uniform stability of nonlinear time-varying impulsive systems with eventually uniformly bounded impulse frequency(2020-11) Mancilla-Aguilar, J. L.; Haimovich, Hernán; Feketa, Petro"We provide novel sufficient conditions for stability of nonlinear and time-varying impulsive systems. These conditions generalize, extend, and strengthen many existing results. Different types of input-to-state stability (ISS), as well as zero-input global uniform asymptotic stability (0-GUAS), are covered by employing a two-measure framework and considering stability of both weak (decay depends only on elapsed time) and strong (decay depends on elapsed time and the number of impulses) flavors. By contrast to many existing results, the stability state bounds imposed are uniform with respect to initial time and also with respect to classes of impulse-time sequences where the impulse frequency is eventually uniformly bounded. We show that the considered classes of impulse-time sequences are substantially broader than other previously considered classes, such as those having fixed or (reverse) average dwell times, or impulse frequency achieving uniform convergence to a limit (superior or inferior). Moreover, our sufficient conditions are stronger, less conservative and more widely applicable than many existing results."