Trouver le contrôle dans des systèmes difficiles à prévoir

l'informatique

Crédit: Domaine public Pixabay / CC0

Entrée un, sortie un; entrée deux, sortie deux; entrée trois; sortie violet – de quel type de système s’agit-il? Les algorithmes informatiques peuvent exister en tant que systèmes non déterministes, dans lesquels il existe plusieurs résultats possibles pour chaque entrée. Même si une sortie est plus probable qu’une autre, cela n’élimine pas nécessairement la possibilité d’en mettre trois et d’obtenir du violet au lieu de trois. Maintenant, une équipe de recherche de l’Université d’État de l’Iowa a développé un moyen de contrôler ces systèmes avec plus de prévisibilité. Les résultats ont été publiés dans Journal IEEE / CAA d’Automatica Sinica.

«Le problème du contrôle de supervision pour les systèmes d’événements discrets sous contrôle consiste à identifier le superviseur, s’il en existe un», a déclaré l’auteur de l’article Ratnesh Kumar, professeur Harpole au Département de génie électrique et informatique de l’Université d’État de l’Iowa, aux États-Unis. « S’il y a un superviseur, s’il est composé de manière synchrone avec le système, il en résulte un système conforme à la spécification de contrôle. »

Un système d’événements discrets se comporte en fonction de son état actuel. Si l’état change, la valeur change. Dans l’exemple de système ci-dessus, quelque chose à propos de l’état du système a changé pour qu’il prenne quatre et produise du violet. L’approche de Kumar examine le système tel qu’il existe actuellement et trouve l’opérateur le moins fixe, ou l’élément qui est le plus facilement changé. Le fait d’identifier un tel composant peut aboutir à un nouveau modèle qui agit en tant que superviseur du système.

Les chercheurs ont utilisé le quotienting pour déterminer les résultats possibles et créer des paramètres pour identifier les contrôleurs possibles. En termes simples, un quotient est le nombre connu de possibilités: divisez 10 par trois. Le quotient est de trois, avec des possibilités fractionnaires. Dans le système de Kumar, chaque événement est appelé une «usine» et l’ensemble du système est compris comme un «entrepôt». Le quotient est l’usine divisée par une spécification déterminée par l’entrepôt, ce qui entraîne plusieurs réponses possibles, en fonction de l’aspect actuel du système.

« Compte tenu d’une installation et de la spécification de l’installation contrôlée, l’opération de cotation génère une nouvelle spécification décrivant l’obligation du superviseur de telle sorte que l’installation, lorsqu’elle est contrôlée par un superviseur, satisfait à la spécification », a déclaré Kumar.

Disons que la plante est l’entrée de trois et que le contrôleur est violet. Le calcul impliqué dans la description de l’opération produit un nouveau paramètre de violet. Le contrôleur, ou superviseur, est obligé de prendre l’entrée de trois et la sortie violette. Si le superviseur n’existe pas, le processus de cotation aboutit toujours à une opération de contrôle de supervision.

« Le locataire central de notre technique est de développer une technique basée sur le quotienting pour décider de l’existence d’un superviseur et générer le même s’il en existe un », a déclaré Kumar.

Les chercheurs ont effectué des simulations pour vérifier leur approche et le plan suivant pour étudier leur méthode dans des systèmes où seules certaines des actions sont observables.


Nouvelle méthode de manipulation robotique


Plus d’information:
Samik Basu et al, Control of Non-Deterministic Systems With $ mu $ -Calculus Specifications Using Quotienting, Journal IEEE / CAA d’Automatica Sinica (2021). DOI: 10.1109/JAS.2021.1003964

Fourni par l’Association chinoise de l’automatisation

Citation: Finding control in hard-to-predict systems (2021, 14 mai) récupéré le 14 mai 2021 sur https://techxplore.com/news/2021-05-hard-to-predict.html

Ce document est soumis au droit d’auteur. En dehors de toute utilisation équitable à des fins d’étude ou de recherche privée, aucune partie ne peut être reproduite sans l’autorisation écrite. Le contenu est fourni seulement pour information.