test

Yannick Pencolé, Audine Subias. Diagnosability of event patterns in safe labeled time Petri nets: a model-checking approach. IEEE Transactions on Automation Science and Engineering, Institute of Electrical and Electronics Engineers, In press, ⟨10.1109/TASE.2020.3045565⟩. ⟨hal-03139863⟩

Yannick Pencolé, Audine Subias. Formal Chronicle Analyses and Comparisons: How to Deal with Negative Behaviors. Journal of Universal Computer Science, Graz University of Technology, Institut für Informationssysteme und Computer Medien, 2020, 26 (2), pp.268 - 292. ⟨hal-02862863⟩

Pascal Acco, Guillaume Auriol, Elodie Chanthery, M.-A Détourbe, Pierre Emmanuel Hladik, et al.. An Interdisciplinary Capstone Design Experience on Critical Embedded Systems using Agile Methods. 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⟩. ⟨hal-02189482⟩

Juan Vizcarrondo, José Aguilar, Ernesto Expósito, Audine Subias. ARMISCOM: Self-Healing Service Composition. Service Oriented Computing and Applications, Springer, 2017, 11 (3), pp.345--365. ⟨10.1007/s11761-017-0217-x⟩. ⟨hal-01906854⟩

John William Vásquez Capacho, Audine Subias, Louise Travé-Massuyès, Fernando Jimenez. Alarm management via temporal pattern learning. Engineering Applications of Artificial Intelligence, Elsevier, 2017, 65, pp.506 - 516. ⟨10.1016/j.engappai.2017.07.008⟩. ⟨hal-01611635⟩

Houssam Eddine Gougam, Yannick Pencolé, Audine Subias. Diagnosability analysis of patterns on bounded labeled prioritized Petri nets. Discrete Event Dynamic Systems, Springer Verlag, 2017, 27 (1), pp.143-180. ⟨10.1007/s10626-016-0234-5⟩. ⟨hal-01574475⟩

Juan Vizcarrondo, Jose Aguilar, Ernesto Expósito, Audine Subias. MAPE-K as a Service-oriented Architecture. IEEE Latin America Transactions, Institute of Electrical and Electronics Engineers, 2017, 15 (6), pp.1163-1175. ⟨hal-01872138⟩

Juan Vizcarrondo, Jose Aguilar, Ernesto Expósito, Audine Subias. The Component of Knowledge Representation of ARMISCOM for the Self-healing in Web Services Composition. Latin-American Journal of Computing, National Polytechnic School, 2016, III (2), 14p. ⟨hal-01872195⟩

Juan Vizcarrondo, Jose Aguilar, Ernesto Expósito, Audine Subias. Building Distributed Chronicles for Fault Diagnostic in Distributed Systems using Continuous Query Language (CQL). International Journal of Engineering Research and Development, International Journal of Engineering Research and Development Org., 2015, 3 (1), pp.131-144. ⟨hal-02412446⟩

Renaud Pons, Audine Subias, Louise Travé-Massuyès. Iterative hybrid causal model based diagnosis: Application to automotive embedded functions. Engineering Applications of Artificial Intelligence, Elsevier, 2015, 37, pp.319-335. ⟨10.1016/j.engappai.2014.09.016⟩. ⟨hal-01400360⟩

Le Toan Duong, Louise Travé-Massuyès, Audine Subias, Nathalie Barbosa Roa. Assessing product quality from the production process health status. 31st International Workshop on Principles of Diagnosis: DX-2020, Sep 2020, Nashville, Tennessee, United States. ⟨hal-03011772⟩

Johanne Bakalara, Yannick Pencolé, Audine Subias. How to use Model Checking for Diagnosing Fault Patterns in Petri nets. WODES 2020 - 15th IFAC Workshop on Discrete Event Systems, Nov 2020, Virtual, Brazil. pp.1-6. ⟨hal-02997908⟩

Éric Lubat, Silvano Dal Zilio, Didier Le Botlan, Yannick Pencolé, Audine Subias. A New Product Construction for the Diagnosability of Patterns in Time Petri Net. 59th Conference on Decision and Control (CDC) 2020, Dec 2020, Jeju Island (virtual conference), South Korea. ⟨10.1109/CDC42340.2020.9303826⟩. ⟨hal-02989834⟩

Tom Obry, Louise Travé-Massuyès, Audine Subias. DyClee-C: a clustering algorithm for qualitative data based diagnosis. 33 rd International Workshop on Qualitative Reasoning (QR'20) - ECAI 2020 workshop, Aug 2020, Santiago de Compostela, Spain. ⟨hal-02986780⟩

Éric Lubat, Silvano Dal Zilio, Didier Le Botlan, Yannick Pencolé, Audine Subias. A State Class Construction for Computing the Intersection of Time Petri Nets Languages. 17th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS), Aug 2019, Amsterdam, Netherlands. ⟨10.1007/978-3-030-29662-9_5⟩. ⟨hal-02263832⟩

Tom Obry, Louise Travé-Massuyès, Audine Subias. DyClee-C: a clustering algorithm for categorical data based diagnosis. DX'19 – 30th International Workshop on Principles of Diagnosis, Nov 2019, Klagenfurt, Austria. ⟨hal-02383492⟩

Elodie Chanthery, Audine Subias. Diagnosis approaches for detection and isolation of cyber attacks and faults on a two-tank system. 30th International Workshop on Principles of Diagnosis DX'19, Nov 2019, Klagenfurt, Austria. ⟨hal-02439489⟩

Yannick Pencolé, Audine Subias. Timed pattern diagnosis in timed workflows: a model checking approach. 14th Workshop on Discrete Event Systems (WODES 2018), May 2018, Sorrento Coast, Italy. pp.94-99, ⟨10.1016/j.ifacol.2018.06.285⟩. ⟨hal-01827362⟩

Tom Obry, Louise Travé-Massuyès, Audine Subias. Computer-aided Diagnosis via Hierarchical Density Based Clustering. 29th International Workshop on Principles of Diagnosis (DX 2018), Aug 2018, Varsovie, Poland. 8p. ⟨hal-01847563⟩

Tom Obry, Audine Subias, Louise Travé-Massuyès. A Learning Algorithm for Episodes. 28th International Workshop on Principles of Diagnosis (DX 2017), Sep 2017, Brescia, Italy. 5p. ⟨hal-01847561⟩

Yannick Pencolé, Audine Subias. Diagnosis of supervision patterns on bounded labeled Petri nets by Model Checking. 28th International Workshop on Principles of Diagnosis (DX 2017), Sep 2017, Brescia, Italy. 9p. ⟨hal-01827437⟩

John Vásquez, Louise Travé-Massuyès, Audine Subias, Fernando Jimenez. Enhanced chronicle learning for process supervision. 20th IFAC WORLD CONGRESS, Jul 2017, Toulouse, France. pp.5191-5196. ⟨hal-01847010⟩

Yannick Pencolé, Audine Subias. Diagnostic de motifs de comportements dans les systèmes temporels. Modélisation des Systèmes Réactifs (MSR 2017), Nov 2017, Marseille, France. 14p. ⟨hal-01827427⟩

John William Vásquez, Louise Travé-Massuyès, Audine Subias, Fernando Jimenez, Carlos Agudelo. Alarm management based on diagnosis. 4th IFAC International Conference on Intelligent Control and Automation Sciences ( ICONS16 ), Jun 2016, Reims, France. 6p. ⟨hal-01847436⟩

John Vasquez, Louise Travé-Massuyès, Audine Subias, Fernando Jiménez, Carlos Agudelo. Chronicle based alarm management in startup and shutdown stages. 26th International Workshop on Principles of Diagnosis, Aug 2015, Paris, France. pp.277-280. ⟨hal-01847469⟩

Florian de Mortain, Audine Subias, Louise Travé-Massuyès, Vincent Flaugergues. Towards Active Diagnosis of Hybrid Systems leveraging Multimodel Identification and a Markov Decision Process. 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⟩. ⟨hal-01847850⟩

Ghyslain Maitre, Yannick Pencolé, Audine Subias, Houssam Eddine Gougam. Modélisation et Analyse de chroniques pour le diagnostic. Modélisation des Systèmes Réactifs (MSR 2015), Nov 2015, Nancy, France. ⟨hal-01224222⟩

Audine Subias, Louise Travé-Massuyès, Euriell Le Corronc. Learning chronicles signing multiple scenario instances. 25th International Workshop on Principles of Diagnosis - DX'14, Sep 2014, Graz, Austria. ⟨hal-01162866⟩

Houssam Eddine Gougam, Audine Subias, Yannick Pencolé. Discriminability Analysis of Supervision Patterns by Net Unfoldings. 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⟩. ⟨hal-01847155⟩

Audine Subias, Louise Travé-Massuyès, Euriell Le Corronc. Learning chronicles signing multiple scenario instances. 19th World Congress of the International Federation of Automatic Control (IFAC), Aug 2014, Cape Town, South Africa. Paper ThC15.2. ⟨hal-02087826⟩

Renaud Pons, Audine Subias, Louise Travé-Massuyès. Hybrid Causal Model Based Diagnosis. Application to Automotive Embedded Functions. Embedded Real Time Software and Systems (ERTS2012), Feb 2012, Toulouse, France. ⟨hal-02263455⟩

Audine Subias. Contribution au diagnostic des systèmes complexes. Automatique / Robotique. Université Paul Sabatier - Toulouse III, 2006. ⟨tel-00134944⟩