Traitement en cours

Veuillez attendre...

Paramétrages

Paramétrages

Goto Application

1. WO2020070206 - SYNTHÈSE AUTOMATISÉE DISTRIBUÉE DE CONTRÔLEURS DE CORRECTION PAR CONSTRUCTION

Numéro de publication WO/2020/070206
Date de publication 09.04.2020
N° de la demande internationale PCT/EP2019/076738
Date du dépôt international 02.10.2019
CIB
G05B 19/042 2006.01
GPHYSIQUE
05COMMANDE; RÉGULATION
BSYSTÈMES DE COMMANDE OU DE RÉGULATION EN GÉNÉRAL; ÉLÉMENTS FONCTIONNELS DE TELS SYSTÈMES; DISPOSITIFS DE CONTRÔLE OU DE TEST DE TELS SYSTÈMES OU ÉLÉMENTS
19Systèmes de commande à programme
02électriques
04Commande à programme autre que la commande numérique, c.à d. dans des automatismes à séquence ou dans des automates à logique
042utilisant des processeurs numériques
G06F 8/30 2018.01
GPHYSIQUE
06CALCUL; COMPTAGE
FTRAITEMENT ÉLECTRIQUE DE DONNÉES NUMÉRIQUES
8Dispositions pour ingénierie logicielle
30Création ou génération de code source
CPC
G05B 19/0426
GPHYSICS
05CONTROLLING; REGULATING
BCONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
19Programme-control systems
02electric
04Programme control other than numerical control, i.e. in sequence controllers or logic controllers
042using digital processors
0426Programming the control sequence
G06F 8/30
GPHYSICS
06COMPUTING; CALCULATING; COUNTING
FELECTRIC DIGITAL DATA PROCESSING
8Arrangements for software engineering
30Creation or generation of source code
Déposants
  • TECHNISCHE UNIVERSITÄT MÜNCHEN [DE]/[DE]
Inventeurs
  • MAHMOUD, Mahmoud Khaled Mohamed
  • ZAMANI, Majid
Mandataires
  • LUCKE, Andreas
Données relatives à la priorité
18198616.704.10.2018EP
Langue de publication anglais (EN)
Langue de dépôt anglais (EN)
États désignés
Titre
(EN) DISTRIBUTED AUTOMATED SYNTHESIS OF CORRECT-BY-CONSTRUCTION CONTROLLERS
(FR) SYNTHÈSE AUTOMATISÉE DISTRIBUÉE DE CONTRÔLEURS DE CORRECTION PAR CONSTRUCTION
Abrégé
(EN)
Disclosed herein is a method for synthesizing a correct-by-construction controller for a control system, the method comprising the following steps: receiving a mathematical model of the control system, with a plurality of state variables x and a plurality of control parameters u, discretizing at least a part of a space spanned by (x, u) to obtain a set of tuples (xi, uj), determining, based on the mathematical model, for each tuple (xi, uj) in the set of tuples at least one successor state xf; obtaining an initial winning set of tuples based on said at least one specification; determining an updated winning set of tuples, including comparing the at least one successor state xf of each tuple with the initial winning set of tuples, wherein said comparison is distributed over the available processing elements by choosing one processing element from the available processing elements for each tuple to perform the comparison and wherein the available processing elements are used simultaneously at least in part; repeating said determination of the updated winning set of tuples to obtain a new updated winning set of tuples if a convergence measure does not meet a predefined convergence criterion, and constructing a controller for the control system from said new updated winning set.
(FR)
L'invention concerne un procédé de synthèse d'un contrôleur de correction par construction pour un système de commande, le procédé comprenant les étapes suivantes consistant : à recevoir un modèle mathématique du système de commande, avec une pluralité de variables d'état x et une pluralité de paramètres de commande u , à discrétiser au moins une partie d'un espace défini par (x , u ) pour obtenir un ensemble de tuples (x i , u j ), à déterminer, sur la base du modèle mathématique, pour chaque tuple (x i , u j ) dans l'ensemble de tuples au moins un état successeur xf ; à obtenir un ensemble de tuples gagnant initial sur la base de ladite spécification ; à déterminer un ensemble de tuples gagnant actualisé, notamment à comparer ledit état successeur xf de chaque tuple avec l'ensemble de tuples gagnant initial, ladite comparaison étant répartie sur les éléments de traitement disponibles en choisissant un élément de traitement parmi les éléments de traitement disponibles pour chaque tuple afin d'effectuer la comparaison et les éléments de traitement disponibles étant utilisés simultanément au moins en partie ; à répéter ladite détermination de l'ensemble de tuples gagnant actualisé afin d'obtenir un nouvel ensemble de tuples gagnant actualisé si une mesure de convergence ne satisfait pas à un critère de convergence prédéfini, et à construire un contrôleur du système de commande à partir dudit nouvel ensemble gagnant actualisé.
Également publié en tant que
Dernières données bibliographiques dont dispose le Bureau international