
Camille Coquand
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
|
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-04075303
v1
|
|
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-03773804
v1
|
|
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-03765924
v1
|
|
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-03694854
v1
|
|
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-03348338
v1
|
|
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-03405509
v1
|
|
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
Communication dans un congrès
hal-03089427
v1
|
|
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-04419685
v2
|
Chargement...
Chargement...