NantilusCOMMANDE DE SYSTEMES TEMPS REEL PAR RESEAUX DE PETRI
CETTE THESE S'INSCRIT DANS LE CADRE DE LA MISE EN OEUVRE D'APPLICATIONS TEMPS REEL. PLUS PRECISEMENT, L'OBJECTIF EST DE DEFINIR UNE MODELISATION GENERALE DES SYSTEMES TEMPS REEL PERMETTANT LEUR COMMANDE, BASEE SUR LES RESEAUX DE PETRI. LA MISE EN UVRE D'APPLICATIONS TEMPS REEL IM...
Enregistré dans:
| Auteur principal : | |
|---|---|
| Autres auteurs : | |
| Format : | Thèse ou mémoire |
| Langue : | français |
| Titre complet : | COMMANDE DE SYSTEMES TEMPS REEL PAR RESEAUX DE PETRI / STEPHANE MARTEAU; SOUS LA DIRECTION DE MARC BOURCERIE |
| Publié : |
[S.l.] :
[s.n.]
, 1997 |
| Description matérielle : | 182 P. |
| Note de thèse : | Thèse de doctorat : SCIENCES APPLIQUEES : Angers : 1997 |
| Sujets : |
| Résumé : | CETTE THESE S'INSCRIT DANS LE CADRE DE LA MISE EN OEUVRE D'APPLICATIONS TEMPS REEL. PLUS PRECISEMENT, L'OBJECTIF EST DE DEFINIR UNE MODELISATION GENERALE DES SYSTEMES TEMPS REEL PERMETTANT LEUR COMMANDE, BASEE SUR LES RESEAUX DE PETRI. LA MISE EN UVRE D'APPLICATIONS TEMPS REEL IMPOSE DE NOMBREUSES CONTRAINTES. LES TEMPS DE REPONSE DU SYSTEME DE CONTROLE DOIVENT ETRE ADAPTES POUR MAINTENIR LE PROCEDE DANS UN ETAT SECURITAIRE. CE CRITERE D'URGENCE ENTRE DIRECTEMENT EN JEU DANS LES POLITIQUES D'ORDONNANCEMENT DES TACHES DE L'APPLICATION. SE POSE ALORS LE PROBLEME DE LA SURETE DE FONCTIONNEMENT DANS LE CAS OU LES CONTRAINTES TEMPORELLES NE SONT PAS RESPECTEES. LE SYSTEME DE CONTROLE DOIT DONC INTEGRER DE FACON AUTONOME UNE CERTAINE CAPACITE DE DECISION. ENFIN, IL DOIT PRENDRE EN COMPTE LES DIVERS DISPOSITIFS D'ENTREES/SORTIES DU PROCEDE. DANS LA PREMIERE PARTIE DE CE MANUSCRIT, NOUS PRESENTONS TOUTES LES BASES NECESSAIRES A LA COMPREHENSION DES IDEES ET SOLUTIONS EXPRIMEES PAR LA SUITE, EN TERME DE GENERALITES ET CONCEPTS DE BASE DES SYSTEMES TEMPS REEL ET DE FORMALISMES ISSUS DES RESEAUX DE PETRI. LA SECONDE PARTIE PROPOSE TOUT D'ABORD UNE ANALYSE DE MODELES DE RESEAU DE PETRI GENERALISE ET DE HAUT NIVEAU. CETTE ETUDE ABOUTIT AU RESULTAT QUE LA MAITRISE D'UN SYSTEME TEMPS REEL REQUIERT UN AUTRE TYPE DE MODELE. NOUS DEFINISSONS ALORS CE QUE NOUS APPELONS LES RESEAUX DE PETRI F#P. LA STRUCTURE DE CORPS ASSOCIEE AUX COULEURS PERMET LA DEFINITION DE TRANSITIONS ALGEBRIQUES, QUI CONFERENT AU MODELE UNE PUISSANCE DE DECISION. LA DETERMINATION DE FONCTIONS POLYNOMIALES AUTORISE DES SEQUENCEMENTS COMPLEXES D'EVOLUTION. NOUS CONSIDERONS ALORS LA POSSIBILITE D'EVALUER DES POLYNOMES DE TRANSFORMATION AFIN DE PERMETTRE AUX APPLICATIONS DE MODIFIER DYNAMIQUEMENT CERTAINS DE LEURS PARAMETRES. ENFIN, NOUS PROPOSONS UNE COMMANDE DES SYSTEMES TEMPS REEL BASEE SUR UN SYSTEME DE CONTROLE CONSTITUE D'UN MODELE GLOBAL EN TROIS COUCHES. CELUI-CI PERMET ALORS DE REPARTIR LES DIFFERENTES CONTRAINTES QUI EXISTENT SUR LE PROCEDE. LA PARTIE COMMANDE PREND EN COMPTE TOUS LES DISPOSITIFS D'ENTREES/SORTIES. LA PARTIE DECISIONNELLE A POUR ROLE LA PRISE DE DECISION. LA PARTIE TEMPORELLE CONTRIBUE A L'EXPRESSION ET A LA RECHERCHE DE SOLUTIONS POUR LE RESPECT DES CONTRAINTES TEMPORELLES, ET SUPPORTE UN MODULE DE SURETE DE FONCTIONNEMENT. |
|---|---|
| Variantes de titre : | CONTROL OF REAL TIME SYSTEMS BY PETRI NETS |
| Notes : | 1997ANGE0023 |
| Bibliographie : | 62 REF. |