David Gomez-Gutierrez

  • Citations Per Year
Learn More
This work deals with finite time observability of switched linear systems (<i>SLS</i>) when they are represented by a family of nonautonomous linear systems (<i>LS</i>) and an interpreted Petri net (<i>IPN</i>). Based on this <i>SLS</i> representation, new detection of the commutation time and <i>LS</i> distinguishability characterizations in <i>SLS</i>(More)
This technical note addresses the problem of observability of continuous—time Switched Linear Systems (SLS) subject to unknown disturbances, unknown switching signals and unconstrained nonzero dwell time. For this class of hybrid systems, a geometric characterization of the observability properties is presented. In particular, attention is focused on the(More)
This work is concerned with the design of an observer for Switched Linear Systems (SLS) subject to an unknown switching signal. The convergence of the proposed SLS observer is proved, based on observability results for SLS, for the following two cases. First, it is shown that if the discrete state of the SLS is observable, then the observer estimates the(More)
The observer design problem for Switched Linear Systems (SLS) subject to an unknown switching signal is addressed in this work. Based on known observability results for SLS, an appropriate SLS observer is proposed and its convergence is analysed showing that the corresponding estimates converge in finite-time to the SLS state. More precisely, the observers(More)
This work, presents the design of a Joint State-Mode observer for SLS, where the state of both parts, continuous and discrete, are observed The continuous part is represented by a family of linear systems (LS) and the discrete part is represented by an interpreted Petri net (IPN), enlarging the class of systems that can be represented and adding structural(More)
This work is concerned with the problem of translating an ordinary differential equation (ODE) with an attractor into a Timed Continuous Petri Net (TCPN) with product semantics. The proposed translation methodology starts by shifting the ODE attractor to a suitable value such that the system evolution is confined to the first orthant (i.e. the evolution(More)
This paper proposes a thermal modelling methodology for Multiprocessor Systems on a Chip (MPSoC) by using Timed Continuous Petri Nets (TCPN). The derived model includes the heat generation, temperature and power consumption. The proposed methodology is related to finite differences technique where the solution's precision is given by the number of Petri net(More)
Switched Affine Systems (SAS’s) is a class of Hybrid Systems composed of a collection of Affine Systems (AS’s) and a switching signal that determines, at each time instant, the evolving affine subsystem. This paper is concerned with the observability and observer design for single-input single-output (SISO) SAS’s under unknown perturbation, for the case(More)
time instant the evolving LS. Hybrid systems cap­ ture the continuous and discrete interaction that appears in complex systems ranging from biolog­ ical systems [14] to automotive systems [7]. For SLS, many contributions have been reported con­ cerning such basic system properties as stability, controllability, and observability. Since the conditions for(More)