Learn More
—The paper shows several versions of the (LaSalle's) invariance principle for general hybrid systems. The broad framework allows for nonuniqueness of solutions, Zeno behaviors , and does not insist on continuous dependence of solutions on initial conditions. Instead, only a mild structural property involving graphical convergence of solutions is posed. The(More)
Robust asymptotic stability for hybrid systems is considered. For this purpose, a generalized solution concept is developed. The first step is to characterize a hybrid time domain that permits an efficient description of the convergence of a sequence of solutions. Graph convergence is used. Then a generalized solution definition is given that leads to(More)
— Recently, Linear Temporal Logic (LTL) has been employed as a tool for formal specification in dynamical control systems. With this formal approach, control systems can be designed to provably accomplish a large class of complex tasks specified via LTL. For this purpose, language generating Buchi automata with finite abstractions of dynamical systems have(More)
Invariance principles for hybrid systems are used to derive invariance principles for nonlinear switching systems with multiple Lyapunov-like functions. Dwell-time, persistent dwell-time, and weak dwell-time solutions are considered. Asymptotic stability results are deduced under further observability assumptions or common bounds on the Lyapunov-like(More)
This paper deals with the estimation of the state of linear time invariant systems for which measurements of the output are available sporadically. An observer with jumps triggered by the arrival of such measurements is proposed and studied in a hybrid systems framework. The resulting system is written in estimation error coordinates and augmented with a(More)
— Two invariance principles for generalized hybrid systems are presented. One version involves the use of a nonincreasing function, like in the original work of LaSalle. The other version involves " meagreness " conditions. These principles characterize asymptotic convergence of bounded hybrid trajectories to weakly invariant sets. A detectability property(More)
— Global asymptotic stabilization of the attitude of a rigid body is hindered by major topological obstructions. In fact, this task is impossible to accomplish with continuous state feedback. Moreover, when the attitude is parametrized with unit quaternions, it becomes impossible to design a globally stabilizing state feedback (even discontinuous) that is(More)
— We consider the problem of steering an autonomous vehicle to locate a radiation source utilizing measurements of the radiation intensity only. We propose a control algorithm that locates the source through a sequence of line minimizations of the radiation intensity. We implement in a hybrid controller, with sample-and-hold and logic variables, a(More)
We study how convergence of an observer whose state lives in a copy of the given system's space can be established using a Riemannian metric. We show that the existence of an observer guaranteeing the property that a Riemannian distance between system and observer solutions is nonincreasing implies that the Lie derivative of the Riemannian metric along the(More)
— We give an elementary proof of the fact that, for continuous-time systems, it is impossible to use (even discontinuous) pure state feedback to achieve robust global asymptotic stabilization of a disconnected set of points or robust global regulation to a target while avoiding an obstacle. Indeed, we show that arbitrarily small, piecewise constant(More)