Accéder directement au contenu

Camille Coquand

Post Doctoral researcher at ISAE-SUPAERO
8
Documents
Affiliations actuelles
  • 467490

Domaines de recherche

Automatique Logique en informatique [cs.LO] Systèmes et contrôle [cs.SY]

Compétences

Time Petri Nets Time Discrete Event Systems Diagnosability analysis Diagnosis Model Checking Formal methods

Publications

Image document

Diagnosabilization of Time Petri net for timed fault

Camille Coquand , Yannick Pencolé , Audine Subias
IFAC World COngress, Jul 2023, Yokoama, Japan. pp.8648-8653, ⟨10.1016/j.ifacol.2023.10.041⟩
Communication dans un congrès hal-04075303v1
Image document

Observable Simple Temporal Network synthesis for the diagnosis of time patterns in time Petri nets

Camille Coquand , Audine Subias , Yannick Pencolé
11th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes - SAFEPROCESS 2022, Jun 2022, Pafos, Cyprus
Communication dans un congrès hal-03694854v1
Image document

Critical pairs based diagnosability analysis of timed fault in Time Petri Nets

Camille Coquand , Audine Subias , Yannick Pencolé , Éric Lubat
16th IFAC Workshop on Discrete Event Systems, Sep 2022, Prague, Czech Republic
Communication dans un congrès hal-03765924v1
Image document

Diagnosability and Predictability of pattern in Labelled Petri Nets

Eric Lubat , Camille Coquand , Yannick Pencole , Audine Subias
33rd International Workshop on Principle of Diagnosis (DX 2022), LAAS-CNRS-ANITI, Sep 2022, Toulouse, France
Communication dans un congrès hal-03773804v1
Image document

Signature of timed patterns in time Petri nets: a formal characterization

Camille Coquand , Audine Subias , Yannick Pencolé
Modélisation des Systèmes Réactifs (MSR'21), Nov 2021, Paris, France
Communication dans un congrès hal-03405509v1
Image document

A Model Checking method to solve the event pattern diagnosis problem in safe labeled time Petri nets

Yannick Pencolé , Audine Subias , Camille Coquand
32nd International Workshop on Principles of Diagnosis DX’21, Sep 2021, Hamburg, Germany
Communication dans un congrès hal-03348338v1
Image document

Dead-end free single state multi-estimators for DES -the 2-estimator case

Camille Coquand , Xavier Pucel , Stéphanie Roussel , Louise Travé-Massuyès
31st International Workshop on Principles of Diagnosis (DX-2020), Sep 2020, Nashville, Tennessee, United States
Communication dans un congrès hal-03089427v1