Modèles Alloy pour plusieurs variantes de la théorie du contrôle supervisé


Nous avons développé plusieurs modules, écrits en Alloy, qui modélisent des variantes de la théorie du contrôle supervisé. Ils s'insèrent dans un projet, appelé MELODIES (.Modeling Environment for LOgical DIscrete Event Systems.), dont le but est de fournir un environnement de prototypage aux novices du domaine, lequel est en constante évolution. Cet environnement peut être aussi utilisé pour résoudre des problèmes de contrôle. Les variantes suivantes sont présentement disponibles dans MELODIES.

  1. Théorie du contrôle basée sur les états
    1. Observation totale (Module SBCDES_Total_Observation)
    2. Observation partielle (Module SBCDES_Partial_Observation)
    3. Systèmes paramétrés (contrôle en ligne de n processus)
  2. Théorie du contrôle basée sur les langages (Module Automaton)
    1. Les propriétés de base (Module BasicProperties)
      1. Propriété de contrôlabilité
      2. Propriété de normalité
    2. Architectures de contrôle décentralisé (Module DistributedArchitectures)
      1. Module Automaton
      2. Test pour le module Automaton
      3. Module Generator
      4. Test pour le module Generator
      5. Simple propriété d'observabilité
      6. Propriétés d'observabilité inconditionnelle
      7. Propriétés d'observabilité conditionnelle
    3. Architecture de contrôle hiérarchique (Module Component)
      1. Condition sur la technologie de contrôle standard pour un agent
      2. Cohérence du marquage
      3. Propriété d'observateur (équivalence observationnelle)
    4. Propriété de N-inférence coobservabilité (prise de décision décentralisée)
  3. Contrôle supervisé de structures en arborescence d'états
    • Connexion aux interfaces
    • Superposition d'un holon et d'un super-état
    • Cohérence d'un holon