Modélisation des propriétés structurales et physico-chimiques de cations vanadium solvatés et de composés vanadophosphates

par Sabri Messaoudi

Thèse de doctorat en Chimie

Sous la direction de Jean-Yves Pivan.

Soutenue en 2004

à Rennes 1 .


  • Résumé

    L'étude concerne le contrôle de systèmes critiques, pour lesquels la correction est primordiale. La théorie du contrôle des systèmes à événements discrets a pour objectif de garantir par construction que le système respecte certaines propriétés. Les méthodes proposées à ce jour souffrent d'un problème d'efficacité lorsque le système à contrôler est décrit de manière compositionnelle. Pour pallier au problème d'explosion combinatoire induit par la composition, nous avons développé des méthodes propres à ces systèmes en tirant partie de leur structure, i. E. En effectuant autant que possible des calculs sur les sous systèmes, plutôt que sur le système global. Nous nous sommes focalisé sur des propriétés de sûreté portant sur le comportement ou les états du système et avons développé des techniques propres à ces deux approches. Pour l'approche à états, nous avons en outre étudié le problème du non-blocage et étendu ces résultats au cadre des systèmes hiérarchiques à deux niveaux.


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 136 p.
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. : 212 réf.

Où se trouve cette thèse ?

  • Bibliothèque : Université de Rennes I. Service commun de la documentation. Section sciences et philosophie.
  • Disponible pour le PEB
  • Cote : TA Rennes 2004/78
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.