LOGIN TO YOUR ACCOUNT

Username
Password
Remember Me
Or use your Academic/Social account:

CREATE AN ACCOUNT

Or use your Academic/Social account:

Congratulations!

You have just completed your registration at OpenAire.

Before you can login to the site, you will need to activate your account. An e-mail will be sent to you with the proper instructions.

Important!

Please note that this site is currently undergoing Beta testing.
Any new content you create is not guaranteed to be present to the final version of the site upon release.

Thank you for your patience,
OpenAire Dev Team.

Close This Message

CREATE AN ACCOUNT

Name:
Username:
Password:
Verify Password:
E-mail:
Verify E-mail:
*All Fields Are Required.
Please Verify You Are Human:
fbtwitterlinkedinvimeoflicker grey 14rssslideshare1
Languages: French
Types: Article
Subjects: Systèmes hybrides, Estimation, Détection d'incohérences, Réseaux de Petri, Filtrage particulaire, Activité de pilotage, 629.8
Nous proposons un modèle pour la supervision des systèmes hybrides et la détection d'incohérences dans leur comportement : les réseaux de Petri particulaires. Ce modèle permet une représentation de la dynamique discrète du système par la structure du réseau de Petri et une représentation de la dynamique continue par des équations d'évolution associées aux places du réseau. À partir de ce modèle, nous définissons un principe d'estimation récursive, qui prédit le comportement du système à partir du jeu du réseau, et met à jour cette prédiction à partir d’une observation du système. Les résultats et propriétés sont donnés sur deux exemples classiques : le problème de navigation et le problème du thermostat. L'estimation du comportement du système nous permet ensuite de comparer les jetons numériques recalés et les jetons symboliques recalés. Cette comparaison permet de mettre en évidence les états qui sont incohérents, c'est-à-dire inatteignables étant donné l’état initial et le modèle du système. La présence d'incohérences permet de suspecter une situation anormale. Nous avons finalement appliqué ce principe d'estimation et de détection d'incohérences au suivi de l'activité de pilotage d’un avion de ligne. A model for hybrid system supervision and the detection of inconsistencies in their behaviours is proposed : particle Petri nets. This model allows to represent the discrete dynamics of the system through the Petri net structure and the continnuous dynamics by evolution equations associated to places of the net. From this model, a recursive estimation process has been defined to predict the system behaviour using the Petri net firing rules and update the prediction from an observation of the system. Some results and properties are given on two examples : a navigation problem and a thermostat problem. The estimation of the system behaviour allows corrected numerical tokens and corrected symbolic tokens to be compared. The comparaison highlights inconsistent states, i.e. the states that are unreachable from the initial state and the system model. Inconsistencies may reveal an abnormal situation. We have finally applied the estimation principle and the inconsistency detection to the tracking of an airliner pilot's activity.
  • No references.
  • No related research data.
  • No similar publications.

Share - Bookmark

Cite this article