Recherche dans les collections de brevets nationales et internationales

1. (WO2017202906) CONCEPTION ASSISTÉE PAR ORDINATEUR DE SYSTÈMES MÉCATRONIQUES POUR SATISFAIRE À UNE DESCRIPTION DE SYSTÈME TEXTUELLE

Pub. No.:    WO/2017/202906    International Application No.:    PCT/EP2017/062532
Publication Date: Fri Dec 01 00:59:59 CET 2017 International Filing Date: Thu May 25 01:59:59 CEST 2017
IPC: G06F 17/50
Applicants: NM ROBOTIC GMBH
Inventors: NADERHIRN, Michael
Title: CONCEPTION ASSISTÉE PAR ORDINATEUR DE SYSTÈMES MÉCATRONIQUES POUR SATISFAIRE À UNE DESCRIPTION DE SYSTÈME TEXTUELLE
Abstract:
L'invention concerne un procédé de conception assistée par ordinateur de systèmes dynamiques. Selon un mode de réalisation, le procédé consiste à : fournir une description de système textuelle ; convertir, à l'aide d'un ordinateur, la description de système textuelle en une formule de logique temporelle linéaire (LTL) ; convertir, à l'aide d'un ordinateur, la formule LTL en un premier automatisme ; fournir, à l'aide d'un ordinateur, un second automatisme représentant la dynamique du système ; et générer, à l'aide d'un ordinateur, un automatisme d'essai en combinant le premier et le second automatisme.