Les syst mes industriels sont complexes et la synth se de leurs commandes supervis es se fait par des essais-erreurs. La th orie de commande par supervision des syst mes v nements discret (SED), initi par Ramadge et Wonham (1983) a longtemps p ch par manque d'applicabilit d la taille des mod les manipul s et la philosophie utilis e. Dans ce travail, nous proposons une agr gation des m thodes formelles de commande par supervision partir d'un mod le structurel, savoir le r seau de P tri (RdP). La mod lisation par RdP s'adaptent l'environnement industriel au moyen des transitions (capteurs, boutons) et des places ( tats). Notre m thode de synth se de commande par supervision v rifie par sa construction les sp cifications impos es au proc d . L'utilisation de la m thode des invariants de place du RdP a permis d'obtenir des mod les structurels de commande supervis e d'une meunerie locale. Ces mod les RdP supervis s ont t impl ment s dans une application de supervision industrielle. Les r sultats obtenus t moignent de la n cessit de d velopper une m thode structurelle de synth se.
ThriftBooks sells millions of used books at the lowest
everyday prices. We personally assess every book's quality and offer rare, out-of-print treasures. We
deliver the joy of reading in recyclable packaging with free standard shipping on US orders over $15.
ThriftBooks.com. Read more. Spend less.