Abstract
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.
Sign-in/Register to access full text options 
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
