Camille Coquand

Post Doctoral researcher at ISAE-SUPAERO
8
Documents
Affiliation actuelle
  • Département d'Ingénierie des Systèmes Complexes (DISC)

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

Publications

Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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, United States

Communication dans un congrès hal-03089427v1