Ponente: José Luis Malacara, CINVESTAV de Guadalajara (México).

Outline:

The presentation will be first concerned with duality of controllability and observability of Timed continuous Petri nets (TCPNs). Based on the duality definition for (discrete) Petri nets, a procedure for computing a dual system of a given TCPN, in a particular configuration, is provided. Furthermore, it is demonstrated that the rank of the controllability matrix of a TCPN and the rank of the observability matrix of its dual are related in a precise manner. The analysis here presented can be used to translate previous results of observability analysis to controllability and vice versa.

In the second part of the seminar, the observability problem in TCPNs under the product semantics (PS-ContPN) will be considered. The PS-ContPN is described by a non-linear differential equation, where the non linearities come from the synchronization transitions. Two non-linear control results are used to present two different observer design methodologies. The first methodology requires the non-linear part to be dependent only on the PS-ContPN output, and the second one requires the non-linear part to be Lipschitz.