David Gomez-Gutierrez

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 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 identified parameter variations are shown in Fig. 4 (with delay alignment) and Fig. 5 (without delay alignment). The proposed delay alignment shows good estimation results and, contrarily, the estimation approach without delay alignment fails. In Fig. 5, the variations and errors are so large that the method without delay alignment does not make any(More)
D ESIGN and operation of manufacturing systems is a large and complex domain of application. The complexity of this domain stems from the large dimension and from the degrees of flexibility of such systems that are highly parallel and distributed. Formal methods are mathematical techniques, often supported by tools, for developing man-made systems. They are(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)
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 deals with the observer design problem for Continuous timed Petri nets with infinite server semantics (ContPN). A ContPN can be represented by a Switched Linear System (SLS) which is a family of n Linear Systems (LS) commuting among them. As a first contribution, it is shown that the ContPN can be represented in such a way that the dynamics(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)