Publications HAL de Audine SUBIAS du labo/EPI LAAS

2020

Journal articles

titre
Formal Chronicle Analyses and Comparisons: How to Deal with Negative Behaviors
auteur
Yannick Pencolé, Audine Subias
article
Journal of Universal Computer Science, Graz University of Technology, Institut für Informationssysteme und Computer Medien, 2020, 26 (2), pp.268 - 292
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-02862863/file/JUCS_HAL.pdf BibTex

Conference papers

titre
A New Product Construction for the Diagnosability of Patterns in Time Petri Net
auteur
Éric Lubat, Silvano Dal Zilio, Didier Le Botlan, Yannick Pencolé, Audine Subias
article
59th Conference on Decision and Control (CDC) 2020, Dec 2020, Jeju Island (virtual conference), South Korea
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-02989834/file/CDC_2020.pdf BibTex
titre
How to use Model Checking for Diagnosing Fault Patterns in Petri nets
auteur
Johanne Bakalara, Yannick Pencolé, Audine Subias
article
WODES 2020 - 15th IFAC Workshop on Discrete Event Systems, Nov 2020, Virtual, Brazil. pp.1-6
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02997908/file/article_proceedings_0056.pdf BibTex
titre
Assessing product quality from the production process health status
auteur
Le Toan Duong, Louise Travé-Massuyès, Audine Subias, Nathalie Barbosa Roa
article
31st International Workshop on Principles of Diagnosis: DX-2020, Sep 2020, Nashville, Tennessee, United States
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03011772/file/DX_2020.pdf BibTex
titre
DyClee-C: a clustering algorithm for qualitative data based diagnosis
auteur
Tom Obry, Louise Travé-Massuyès, Audine Subias
article
33 rd International Workshop on Qualitative Reasoning (QR'20) - ECAI 2020 workshop, Aug 2020, Santiago de Compostela, Spain
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02986780/file/QR2020_paper_12.pdf BibTex

2019

Journal articles

titre
An Interdisciplinary Capstone Design Experience on Critical Embedded Systems using Agile Methods
auteur
Pascal Acco, Guillaume Auriol, Elodie Chanthery, M.-A Détourbe, Pierre Emmanuel Hladik, Didier Le Botlan, N Noullet, Audine Subias
article
Journal sur l'enseignement des sciences et technologies de l'information et des systèmes, EDP Sciences, 2019, 18 (0001), 23p. ⟨10.1051/j3ea/20190001⟩
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-02189482/file/ArticleJ3eA2019_final.pdf BibTex

Conference papers

titre
Diagnosis approaches for detection and isolation of cyber attacks and faults on a two-tank system
auteur
Elodie Chanthery, Audine Subias
article
30th International Workshop on Principles of Diagnosis DX'19, Nov 2019, Klagenfurt, Austria
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-02439489/file/DX2019_Cybersecurity_11-2019.pdf BibTex
titre
DyClee-C: a clustering algorithm for categorical data based diagnosis
auteur
Tom Obry, Louise Travé-Massuyès, Audine Subias
article
DX'19 – 30th International Workshop on Principles of Diagnosis, Nov 2019, Klagenfurt, Austria
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-02383492/file/DyClee_C_DX19_Final.pdf BibTex
titre
A State Class Construction for Computing the Intersection of Time Petri Nets Languages
auteur
Éric Lubat, Silvano Dal Zilio, Didier Le Botlan, Yannick Pencolé, Audine Subias
article
17th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS), Aug 2019, Amsterdam, Netherlands. ⟨10.1007/978-3-030-29662-9_5⟩
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-02263832/file/main.pdf BibTex

Other reports

titre
Bilan et prospectives 2019 du département Décision & Optimisation du LAAS-CNRS
auteur
Dimitri Peaucelle, Marie-José Huguet, Yannick Pencolé, Christian Artigues, Emmanuel Hébrard, Didier Henrion, Laurent Houssin, Sophie Tarbouriech, Louise Travé-Massuyès, Luca Zaccarian, Carolina Albea-Sanchez, Lucie Baudouin, Elodie Chanthery, Frédéric Gouaisbaut, Euriell Le Corronc, Christophe Louembet, Sandra Ulrich Ngueveu, I. Queinnec, Pauline Ribot, Alexandre Seuret, Cyril Briand, Michel Combacau, Boutaib Dahhou, Patrick Esquirol, Soheib Fergani, D. Fournier-Prunaret, Germain Garcia, Carine Jauberthie, Mioara Joldes, Milan Korda, Jean-Bernard Lasserre, Françoise Le Gall, Marie-Véronique Le Lann, Pierre Lopez, Victor Magron, Julien Moncel, Gilles Roux, Mohamed Siala, Audine Subias, Aneel Tanwani
article
Rapport LAAS n° 19270. 2019
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-02295816/file/main.pdf BibTex

2018

Conference papers

titre
Computer-aided Diagnosis via Hierarchical Density Based Clustering
auteur
Tom Obry, Louise Travé-Massuyès, Audine Subias
article
29th International Workshop on Principles of Diagnosis (DX 2018), Aug 2018, Varsovie, Poland. 8p
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01847563/file/DX%2718%20Paper%20Final.pdf BibTex
titre
Timed pattern diagnosis in timed workflows: a model checking approach
auteur
Yannick Pencolé, Audine Subias
article
14th Workshop on Discrete Event Systems (WODES 2018), May 2018, Sorrento Coast, Italy. pp.94-99, ⟨10.1016/j.ifacol.2018.06.285⟩
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01827362/file/WODES18.pdf BibTex

2017

Journal articles

titre
Alarm management via temporal pattern learning
auteur
John William Vásquez Capacho, Audine Subias, Louise Travé-Massuyès, Fernando Jimenez
article
Engineering Applications of Artificial Intelligence, Elsevier, 2017, 65, pp.506 - 516. ⟨10.1016/j.engappai.2017.07.008⟩
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01611635/file/EAAI.pdf BibTex
titre
ARMISCOM: Self-Healing Service Composition
auteur
Juan Vizcarrondo, José Aguilar, Ernesto Expósito, Audine Subias
article
Service Oriented Computing and Applications, Springer, 2017, 11 (3), pp.345--365. ⟨10.1007/s11761-017-0217-x⟩
Accès au texte intégral et bibtex
https://hal-univ-pau.archives-ouvertes.fr/hal-01906854/file/LAJC_2016_HAL.pdf BibTex
titre
MAPE-K as a Service-oriented Architecture
auteur
Juan Vizcarrondo, Jose Aguilar, Ernesto Expósito, Audine Subias
article
IEEE Latin America Transactions, Institute of Electrical and Electronics Engineers, 2017, 15 (6), pp.1163-1175
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01872138/file/IEEE_LA2017_HAL.pdf BibTex
titre
Diagnosability analysis of patterns on bounded labeled prioritized Petri nets
auteur
Houssam Eddine Gougam, Yannick Pencolé, Audine Subias
article
Discrete Event Dynamic Systems, Springer Verlag, 2017, 27 (1), pp.143-180. ⟨10.1007/s10626-016-0234-5⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01574475/file/jdeds16_draft.pdf BibTex

Conference papers

titre
Diagnostic de motifs de comportements dans les systèmes temporels
auteur
Yannick Pencolé, Audine Subias
article
Modélisation des Systèmes Réactifs (MSR 2017), Nov 2017, Marseille, France. 14p
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01827427/file/MSR_2017_HAL.pdf BibTex
titre
A Learning Algorithm for Episodes
auteur
Tom Obry, Audine Subias, Louise Travé-Massuyès
article
28th International Workshop on Principles of Diagnosis (DX 2017), Sep 2017, Brescia, Italy. 5p
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01847561/file/DX17%20TO_LTM_AS.pdf BibTex
titre
Diagnosis of supervision patterns on bounded labeled Petri nets by Model Checking
auteur
Yannick Pencolé, Audine Subias
article
28th International Workshop on Principles of Diagnosis (DX 2017), Sep 2017, Brescia, Italy. 9p
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01827437/file/dx17%20-HAL.pdf BibTex
titre
Enhanced chronicle learning for process supervision
auteur
John Vásquez, Louise Travé-Massuyès, Audine Subias, Fernando Jimenez
article
20th IFAC WORLD CONGRESS, Jul 2017, Toulouse, France. pp.5191-5196
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01847010/file/IFACWG17.pdf BibTex

2016

Journal articles

titre
The Component of Knowledge Representation of ARMISCOM for the Self-healing in Web Services Composition
auteur
Juan Vizcarrondo, Jose Aguilar, Ernesto Expósito, Audine Subias
article
Latin-American Journal of Computing, National Polytechnic School, 2016, III (2), 14p
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01872195/file/LAJC_2016_HAL.pdf BibTex

Conference papers

titre
Alarm management based on diagnosis
auteur
John William Vásquez, Louise Travé-Massuyès, Audine Subias, Fernando Jimenez, Carlos Agudelo
article
4th IFAC International Conference on Intelligent Control and Automation Sciences ( ICONS16 ), Jun 2016, Reims, France. 6p
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01847436/file/ICONS16_HAL.pdf BibTex

2015

Journal articles

titre
Building Distributed Chronicles for Fault Diagnostic in Distributed Systems using Continuous Query Language (CQL)
auteur
Juan Vizcarrondo, Jose Aguilar, Ernesto Expósito, Audine Subias
article
International Journal of Engineering Research and Development, International Journal of Engineering Research and Development Org., 2015, 3 (1), pp.131-144
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02412446/file/Building%20Distributed%20Chronicles%20for%20Fault%20Diagnostic.pdf BibTex
titre
Iterative hybrid causal model based diagnosis: Application to automotive embedded functions
auteur
Renaud Pons, Audine Subias, Louise Travé-Massuyès
article
Engineering Applications of Artificial Intelligence, Elsevier, 2015, 37, pp.319-335. ⟨10.1016/j.engappai.2014.09.016⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01400360/file/amic-rev2.pdf BibTex

Conference papers

titre
Modélisation et Analyse de chroniques pour le diagnostic
auteur
Ghyslain Maitre, Yannick Pencolé, Audine Subias, Houssam Eddine Gougam
article
Modélisation des Systèmes Réactifs (MSR 2015), Nov 2015, Nancy, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01224222/file/paper%205.pdf BibTex
titre
Towards Active Diagnosis of Hybrid Systems leveraging Multimodel Identification and a Markov Decision Process
auteur
Florian de Mortain, Audine Subias, Louise Travé-Massuyès, Vincent Flaugergues
article
9th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes SAFEPROCESS'15, Sep 2015, Paris, France. 6p., ⟨10.1016/j.ifacol.2015.09.522⟩
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01847850/file/SAFE15_HAL.pdf BibTex
titre
Chronicle based alarm management in startup and shutdown stages
auteur
John Vasquez, Louise Travé-Massuyès, Audine Subias, Fernando Jiménez, Carlos Agudelo
article
26th International Workshop on Principles of Diagnosis, Aug 2015, Paris, France. pp.277-280
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01847469/file/DX15_HAL.pdf BibTex

2014

Conference papers

titre
Learning chronicles signing multiple scenario instances
auteur
Audine Subias, Louise Travé-Massuyès, Euriell Le Corronc
article
25th International Workshop on Principles of Diagnosis - DX'14, Sep 2014, Graz, Austria
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01162866/file/DX14-AS-LTM-ELC.pdf BibTex
titre
Learning chronicles signing multiple scenario instances
auteur
Audine Subias, Louise Travé-Massuyès, Euriell Le Corronc
article
19th World Congress of the International Federation of Automatic Control (IFAC), Aug 2014, Cape Town, South Africa. Paper ThC15.2
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02087826/file/IFAC_WC_2014_final.pdf BibTex
titre
Discriminability Analysis of Supervision Patterns by Net Unfoldings
auteur
Houssam Eddine Gougam, Audine Subias, Yannick Pencolé
article
12th IFAC International Workshop on Discrete Event Systems (2014)-IFAC Proceedings Volumes, May 2014, Cachan, France. pp.459 - 464, ⟨10.3182/20140514-3-FR-4046.00136⟩
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01847155/file/WODES14_HAL.pdf BibTex

2006

Habilitation à diriger des recherches

titre
Contribution au diagnostic des systèmes complexes
auteur
Audine Subias
article
Automatique / Robotique. Université Paul Sabatier - Toulouse III, 2006
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00134944/file/HDR_LAAS.pdf BibTex