Programmes aRBy pour plusieurs variantes de la théorie du contrôle supervisé
Nous avons développé plusieurs programmes, écrits en aRby, 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.
- Composantes fortement connexes (Module SCC pour la figure 7)
- Théorie du contrôle basée sur les états
- Contrôle basée sur les états (Module SBCDES de la figure 17)
- Code de la figure 18
- Code de la figure 20
- Code de la figure 21
- Fichier de données pour les figures 18, 20, and 21 (automate du chat et de la souris)
- Fichier de données pour les figures 18, 20, and 21 (prédicat)
- N-inférence observabilité (Module NInf de la figure 23)
- Code of figure 25
- Data file for figure 25 (automate)
- Data file for figure 25 (données associées)
- Théorie du contrôle basée sur les langages
- Propriétés d'observabilité (Module Coob de la figure 28)
- Spécification en pure Alloy de la figure 28 (aller à l'item Modèles Alloy dans le menu Téléchargement)
- Code associé à la figure 28
- Un fichier d'entrée simple (déclarations)
- Un fichier d'entrée simple (système et automates)