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
|
Diagnosabilization of Time Petri net for timed faultIFAC World COngress, Jul 2023, Yokoama, Japan. pp.8648-8653, ⟨10.1016/j.ifacol.2023.10.041⟩
Communication dans un congrès
hal-04075303v1
|
|
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
Communication dans un congrès
hal-03694854v1
|
|
Critical pairs based diagnosability analysis of timed fault in Time Petri Nets16th IFAC Workshop on Discrete Event Systems, Sep 2022, Prague, Czech Republic
Communication dans un congrès
hal-03765924v1
|
|
Diagnosability and Predictability of pattern in Labelled Petri Nets33rd International Workshop on Principle of Diagnosis (DX 2022), LAAS-CNRS-ANITI, Sep 2022, Toulouse, France
Communication dans un congrès
hal-03773804v1
|
|
Signature of timed patterns in time Petri nets: a formal characterizationModélisation des Systèmes Réactifs (MSR'21), Nov 2021, Paris, France
Communication dans un congrès
hal-03405509v1
|
|
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
Communication dans un congrès
hal-03348338v1
|
|
Dead-end free single state multi-estimators for DES -the 2-estimator case31st International Workshop on Principles of Diagnosis (DX-2020), Sep 2020, Nashville, Tennessee, United States
Communication dans un congrès
hal-03089427v1
|
|
Diagnosticabilité et diagnosticabilisation de motifs temporels dans les réseaux de Petri temporelsAutomatique / Robotique. INSA de Toulouse, 2023. Français. ⟨NNT : 2023ISAT0035⟩
Thèse
tel-04419685v2
|