Traitement en cours

Veuillez attendre...

Paramétrages

Paramétrages

Aller à Demande

1. WO2020223751 - VÉRIFICATION FORMELLE POUR LE DÉVELOPPEMENT ET L'APPLICATION EN TEMPS RÉEL DE SYSTÈMES AUTONOMES

Numéro de publication WO/2020/223751
Date de publication 12.11.2020
N° de la demande internationale PCT/AT2020/060184
Date du dépôt international 07.05.2020
CIB
G05D 1/00 2006.01
GPHYSIQUE
05COMMANDE; RÉGULATION
DSYSTÈMES DE COMMANDE OU DE RÉGULATION DES VARIABLES NON ÉLECTRIQUES
1Commande de la position, du cap, de l'altitude ou de l'attitude des véhicules terrestres, aquatiques, aériens ou spatiaux, p.ex. pilote automatique
G05B 1/00 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
1Eléments de comparaison, c. à d. éléments pour effectuer la comparaison directement ou indirectement entre une valeur désirée et des valeurs existantes ou prévues
CPC
G05B 17/02
GPHYSICS
05CONTROLLING; REGULATING
BCONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
17Systems involving the use of models or simulators of said systems
02electric
G05B 19/4061
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
18Numerical control [NC], i.e. automatically operating machines, in particular machine tools, e.g. in a manufacturing environment, so as to execute positioning, movement or co-ordinated operations by means of programme data in numerical form
406characterised by monitoring or safety
4061Avoiding collision or forbidden zones
G05B 9/02
GPHYSICS
05CONTROLLING; REGULATING
BCONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
9Safety arrangements
02electric
Déposants
  • KONTROL GMBH [AT]/[AT]
Inventeurs
  • NADERHIRN, Michael
Mandataires
  • SCHNEIDER, Sebastian
Données relatives à la priorité
62/844,71407.05.2019US
Langue de publication anglais (EN)
Langue de dépôt anglais (EN)
États désignés
Titre
(EN) FORMAL VERIFICATION FOR THE DEVELOPMENT AND REAL-TIME APPLICATION OF AUTONOMOUS SYSTEMS
(FR) VÉRIFICATION FORMELLE POUR LE DÉVELOPPEMENT ET L'APPLICATION EN TEMPS RÉEL DE SYSTÈMES AUTONOMES
Abrégé
(EN)
One embodiment described herein relates to a method for supervising a dynamic system, for example a vehicle. The method includes receiving a system state sample and calculating, for a specific time instant, a reachable set of system states based on a current system state and a system model representing the dynamic system. The method further includes calculating a mathematical representation of a specific manifestation of a generic rule and calculating an allowed subset of system states based on the reachable set and the mathematical representation of the specific manifestation of the generic rule. Furthermore, the method includes testing whether the system state sample is within the allowed subset.
(FR)
Un mode de réalisation de la présente invention concerne un procédé de supervision d'un système dynamique, par exemple un véhicule. Le procédé consiste à recevoir un échantillon d'état de système et à calculer, pour un instant spécifique, un ensemble pouvant être atteint d'états de système sur la base d'un état de système actuel et d'un modèle de système représentant le système dynamique. Le procédé consiste en outre à calculer une représentation mathématique d'une manifestation spécifique d'une règle générique et à calculer un sous-ensemble autorisé d'états de système sur la base de l'ensemble pouvant être atteint et de la représentation mathématique de la manifestation spécifique de la règle générique. En outre, le procédé consiste à tester si oui ou non l'échantillon d'état de système se trouve à l'intérieur du sous-ensemble autorisé.
Dernières données bibliographiques dont dispose le Bureau international