ON ETUDIE LA RESOLUTION DES SOUS-PROBLEMES INDEPENDAMMENT LES UNS DES AUTRES POUR ARRIVER A LA SOLUTION DU PROBLEME GLOBAL EN FAISANT LA SYNTHESE D'UNE LOI ADAPTATIVE DECENTRALISEE, MOYENNANT DES CONDITIONS PAS TROP RESTRICTIVES, SUR LA MATRICE D'INTERCONNEXION. LES LOIS DE COMMANDE ADAPTATIVE DECENTRALISEES DEVELOPPEES SONT APPLIQUEES EN SIMULATION A UNE CENTRALE SOLAIRE A TURBINE A GAZ (PROJET SIROCCO), PROCESSUS COMPOSE DE QUATRE SOUS-SYSTEMES INTERCONNECTES

CE MEMOIRE EST COMPOSE DE TROIS CHAPITRES. LE PREMIER POSE LE PROBLEME DE LA SPECIFICATION DES SYSTEMES DE COMMANDE COMPLEXES FORMES D'UN ENSEMBLE D'AUTOMATISMES COMMUNICANTS. APRES AVOIR INTRODUIT LES RESEAUX DE PETRI EN TANT QU'OUTIL FORMEL POUR LA SPECIFICATION, IL EST MONTRE QUE CET OUTIL N'EST PAS CONTRADICTOIRE AVEC UNE APPROCHE STRUCTUREE. QUELQUES REGLES DE STRUCTURATION SONT PROPOSEES. CETTE DEMARCHE EST ILLUSTREE PAR UN EXEMPLE CONCRET. LE SECOND CHAPITRE MONTRE COMMENT UNE SPECIFICATION STRUCTUREE PEUT ETRE VALIDEE. LE TROISIEME CHAPITRE PROPOSE UN LANGAGE DE SPECIFICATION ADAPTE A LA DESCRIPTION STRUCTUREE D'AUTOMATISMES INTERCONNECTES. CE LANGAGE EST FONDE SUR L'UTILISATION DES RESEAUX DE PETRI. UN LOGICIEL D'ANALYSE SYNTAXIQUE ET SEMANTIQUE A ETE DEVELOPPE SUR MICROCALCULATEUR EN LANGAGE PASCAL. CE LOGICIEL TRADUIT LA SPECIFICATION EN TABLES ET EST CONCU DE FACON A PERMETTRE LE TELECHARGEMENT D'AUTOMATES PROGRAMMABLES SPECIALISES