WO2010026150A3 - Procede et systeme permettant de generer un dispositif de controle a partir de comportements redoutes specifies - Google Patents

Procede et systeme permettant de generer un dispositif de controle a partir de comportements redoutes specifies Download PDF

Info

Publication number
WO2010026150A3
WO2010026150A3 PCT/EP2009/061318 EP2009061318W WO2010026150A3 WO 2010026150 A3 WO2010026150 A3 WO 2010026150A3 EP 2009061318 W EP2009061318 W EP 2009061318W WO 2010026150 A3 WO2010026150 A3 WO 2010026150A3
Authority
WO
WIPO (PCT)
Prior art keywords
behaviours
feared
specified
generating
online
Prior art date
Application number
PCT/EP2009/061318
Other languages
English (en)
Other versions
WO2010026150A2 (fr
Inventor
Nicolas Rapin
Original Assignee
Commissariat A L'energie Atomique
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Commissariat A L'energie Atomique filed Critical Commissariat A L'energie Atomique
Priority to EP09782492A priority Critical patent/EP2321728A2/fr
Publication of WO2010026150A2 publication Critical patent/WO2010026150A2/fr
Publication of WO2010026150A3 publication Critical patent/WO2010026150A3/fr

Links

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Preventing errors by testing or debugging software
    • G06F11/3604—Software analysis for verifying properties of programs
    • G06F11/3608—Software analysis for verifying properties of programs using formal methods, e.g. model checking, abstract interpretation

Landscapes

  • Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • Software Systems (AREA)
  • Computer Hardware Design (AREA)
  • Quality & Reliability (AREA)
  • Physics & Mathematics (AREA)
  • General Engineering & Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Debugging And Monitoring (AREA)
  • Information Retrieval, Db Structures And Fs Structures Therefor (AREA)

Abstract

Procédé permettant de générer automatiquement un détecteur de comportements redoutés spécifiés en logique temporelle linéaire métrique, à mémoire bornée, capable de fonctionner en ligne et pendant un temps arbitrairement long. Le procédé utilise une fenêtre temporelle pour effectuer le calcul en ligne des intervalles de validité de la formule qui spécifie le comportement redouté et élimine également en ligne les intervalles devenus non pertinents pour détecter ce comportement. Ce procédé peut être utilisé pour le débogage de modèles ou comme composant d'un système de contrôle-commande.
PCT/EP2009/061318 2008-09-02 2009-09-02 Procede et systeme permettant de generer un dispositif de controle a partir de comportements redoutes specifies WO2010026150A2 (fr)

Priority Applications (1)

Application Number Priority Date Filing Date Title
EP09782492A EP2321728A2 (fr) 2008-09-02 2009-09-02 Procede et systeme permettant de generer un dispositif de controle a partir de comportements redoutes specifies

Applications Claiming Priority (2)

Application Number Priority Date Filing Date Title
FR0804812 2008-09-02
FR0804812A FR2935500B1 (fr) 2008-09-02 2008-09-02 Procede et systeme permettant de generer un dispositif de controle a partir de comportements redoutes specifies

Publications (2)

Publication Number Publication Date
WO2010026150A2 WO2010026150A2 (fr) 2010-03-11
WO2010026150A3 true WO2010026150A3 (fr) 2010-06-10

Family

ID=40351954

Family Applications (1)

Application Number Title Priority Date Filing Date
PCT/EP2009/061318 WO2010026150A2 (fr) 2008-09-02 2009-09-02 Procede et systeme permettant de generer un dispositif de controle a partir de comportements redoutes specifies

Country Status (3)

Country Link
EP (1) EP2321728A2 (fr)
FR (1) FR2935500B1 (fr)
WO (1) WO2010026150A2 (fr)

Cited By (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN107728639B (zh) * 2017-09-08 2020-11-10 哈尔滨工程大学 一种时间窗约束下的异构多auv系统任务协调方法

Families Citing this family (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN104057452B (zh) * 2014-06-30 2016-08-24 西北工业大学 类人机器人通用动作调试方法

Non-Patent Citations (3)

* Cited by examiner, † Cited by third party
Title
K. HAVELUND AND G ROSU: "eFFICIENT MONITORING OF SAFETY PROPERTIES", INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER (STTT), vol. 6, no. 2, August 2004 (2004-08-01), pages 158 - 173, XP002516312 *
O. MALER, D. NICKOVIC, A. PNUELLI: "Checking Temporal Properties of Discrete, Timed and Continuous Behaviors", PILLARS OF COMPUTER SCIENCE, LNCS, vol. 4800/2008, February 2008 (2008-02-01), pages 475 - 505, XP002516342 *
See also references of EP2321728A2 *

Cited By (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN107728639B (zh) * 2017-09-08 2020-11-10 哈尔滨工程大学 一种时间窗约束下的异构多auv系统任务协调方法

Also Published As

Publication number Publication date
EP2321728A2 (fr) 2011-05-18
FR2935500A1 (fr) 2010-03-05
FR2935500B1 (fr) 2018-02-09
WO2010026150A2 (fr) 2010-03-11

Similar Documents

Publication Publication Date Title
BRPI1010460A8 (pt) Método para monitoração da condição de um aparelho localizado em uma instalação submersa e meio de monitoração de condição para a monitoração de um componente de uma instalação submersa
EP3385889A4 (fr) Système de détection d'anomalie, procédé de détection d'anomalie, programme de détection d'anomalie et procédé de génération de modèle appris
HK1209689A1 (en) Method and system for inserting an insert element into a panel product, the panel product produced thereby and method and system for performing a tensile test on the inserted insert element
EP3243565A4 (fr) Agent absorbant l'eau et son procédé de fabrication, procédé d'évaluation, et procédé de mesure
WO2015013214A3 (fr) Procédés et systèmes de caractérisation, de surveillance et de traitement du microbiome
EP2269512A4 (fr) Équipement, procédé et programme pour détecter une région de cavité péritonéale tridimensionnelle
SA515360096B1 (ar) أنظمة و طرق لرصد عمليات كيميائية
GB2498082A8 (en) An apparatus and method for monitoring a steam plant
PL2439326T3 (pl) Prowadzące wodę urządzenie gospodarstwa domowego z automatycznym systemem dozowania oraz sposób automatycznego dozowania
WO2013145779A3 (fr) Appareil de traitement de données, procédé de traitement de données et programme
WO2013184997A3 (fr) Détection d'orientation de dispositif à étages multiples
EP2646992A4 (fr) Système et procédé de surveillance de santé non intrusive à la maison
PH12016500736A1 (en) Method for monitoring a transmission link
WO2013016064A3 (fr) Système et procédé de commande et de surveillance d'une opération de forage à l'aide de solutions affinées à partir d'une inversion panistique
WO2014165487A3 (fr) Évaluation de ciment
EP2207138A4 (fr) Procédé de détermination du déplacement de maisons, programme de détermination du déplacement de maisons, procédé de génération d'images de détermination du déplacement de maisons et image de détermination du déplacement de maisons
NO20073356L (no) Dampkompresjons-kjolesystem med lukket krets samt fremgangsmate for drift av systemet.
GB2487701B (en) Cost evaluation system, method and program
MX361547B (es) Sistemas y métodos para la evaluación del cemento.
NZ716643A (en) Methods for predicting the risk of having a cardiovascular event and for monitoring the treatment of a cardiovascular event
WO2009105660A3 (fr) Capteurs répartis pour modélisation de la dynamique
WO2012112985A3 (fr) Système et procédés pour évaluer une fonction vocale à l'aide d'un filtrage inverse, basé sur une impédance, d'une accélération d'une surface du cou
WO2010026150A3 (fr) Procede et systeme permettant de generer un dispositif de controle a partir de comportements redoutes specifies
WO2012164452A3 (fr) Vérification de circuit vlsi
GB201101593D0 (en) Methods, systems, and computer program products for simulating a scenario by up-dating events over a time window including the past, present, and future

Legal Events

Date Code Title Description
121 Ep: the epo has been informed by wipo that ep was designated in this application

Ref document number: 09782492

Country of ref document: EP

Kind code of ref document: A2

WWE Wipo information: entry into national phase

Ref document number: 2009782492

Country of ref document: EP

NENP Non-entry into the national phase

Ref country code: DE