Le contrôle supervisé des automates d'intervalles - Université d'Angers Accéder directement au contenu
Communication Dans Un Congrès Année : 2023

Le contrôle supervisé des automates d'intervalles

Résumé

In this paper we extend supervisory control of (max,+) automata to automata with multiplicities in an interval semiring. The controller restricts the behavior of the system in the optimal way. More precisely, we propose maximally permissive (least restrictive) supervisors to guarantee the specified time windows for executing events, which can also be disabled. Composition of system with its controller is defined based on tensor product of their linear representations. The behavior of the closed-loop system corresponds to a generalized version Hadamard product of formal power series of the system and the controller, where occurrences of uncontrolable events can neither be forbidden nor delayed.
Dans cet article on étend le contrôle supervisé des automates (max,+) aux automates à multiplicités dans un semi-anneau d'intervalles. L'action du superviseur vise à restreindre le comportement du système de façon optimale. Plus précisément, on propose des superviseurs les plus permissifs (les moins contraignants) pour garantir des intervalles spécifiés d'exécution des événements, en incluant la possibilité de supprimer des occurrences. On définit la composition du système avec son contrôleur à l'aide du produit tensoriel de leurs représentations linéaires dans un semi-anneau d'intervalles. Le comportement du système contrôlé correspond à une version généralisée du produit d'Hadamard des séries formelles du système et du contrôleur où les occurrences des événements incontrôlables ne peuvent être ni interdites, ni restreintes.
Fichier principal
Vignette du fichier
MSR2023_finale.pdf (554.58 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04419160 , version 1 (26-01-2024)

Identifiants

  • HAL Id : hal-04419160 , version 1

Citer

Jan Komenda, Sébastien Lahaye. Le contrôle supervisé des automates d'intervalles. Modélisation des Systèmes Réactifs (MSR'23), Nov 2023, Toulouse, France. ⟨hal-04419160⟩
29 Consultations
5 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More