Camille Coquand
- Département d'Ingénierie des Systèmes Complexes (DISC)
Domaines de recherche
Compétences
Publications
Publications
|
|
Diagnosabilization of Time Petri net for timed faultIFAC World COngress, Jul 2023, Yokoama, Japan. pp.8648-8653, ⟨10.1016/j.ifacol.2023.10.041⟩ |
|
|
Diagnosability and Predictability of pattern in Labelled Petri Nets33rd International Workshop on Principle of Diagnosis (DX 2022), LAAS-CNRS-ANITI, Sep 2022, Toulouse, France |
|
|
Critical pairs based diagnosability analysis of timed fault in Time Petri Nets16th IFAC Workshop on Discrete Event Systems, Sep 2022, Prague, Czech Republic |
|
|
Observable Simple Temporal Network synthesis for the diagnosis of time patterns in time Petri nets11th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes - SAFEPROCESS 2022, Jun 2022, Pafos, Cyprus |
|
|
A Model Checking method to solve the event pattern diagnosis problem in safe labeled time Petri nets32nd International Workshop on Principles of Diagnosis DX’21, Sep 2021, Hamburg, Germany |
|
|
Signature of timed patterns in time Petri nets: a formal characterizationModélisation des Systèmes Réactifs (MSR'21), Nov 2021, Paris, France |
|
|
Dead-end free single state multi-estimators for DES -the 2-estimator case31st International Workshop on Principles of Diagnosis (DX-2020), Sep 2020, Nashville, United States |
|
|
Diagnosticabilité et diagnosticabilisation de motifs temporels dans les réseaux de Petri temporelsAutomatique / Robotique. INSA de Toulouse, 2023. Français. ⟨NNT : 2023ISAT0035⟩ |