PARTICLE PETRI NET-BASED ESTIMATION IN HYBRID SYSTEMS TO DETECT INCONSISTENCIES

Monitoring a complex system consists in analysing its behaviour and reacting to abnormal situations. In this context, we have proposed a model for hybrid systems: particle Petri nets. This model allows to represent the discrete dynamics of the system through the Petri net structure and the continuous dynamics by evolution equations associated to some places. From this model, a recursive estimation process has been defined and allows corrected numerical tokens and corrected symbolic tokens to be compared. The comparison highlights inconsistent states, i.e. the states that are unreachable from the initial state of the Petri net. Inconsistencies may reveal an abnormal situation. An application to the tracking of an airliner pilot's activity is finally presented.