Search - Archive ouverte HAL Access content directly

Filter your results

57 Results
Image document

Fuel Cell System Improvement for Model-Based Diagnosis Analysis

Philippe Fiani , Michel Batteux , Philippe Dague , Nicolas Rapin
Vehicle Power and Propulsion Conference IEEE VPPC, Sep 2010, Lille, France
Conference papers inria-00540836v1

Spacecraft Actuator Diagnosis with Principal Component Analysis: Application to the Rendez-Vous Phase of the Mars Sample Return Mission

Othman Nasri , Gueddi Imen , Benothman Kamal , Philippe Dague
Journal of Control Science and Engineering, 2015, 2015, ⟨10.1155/2015/204918⟩
Journal articles hal-01276952v1

Distributed Tree Decomposition by Local Elections with One Token

Vincent Armant , Philippe Dague , Laurent Simon
Journées de l'Intelligence Artificielle Fondamentale, Jun 2012, Toulouse, France
Conference papers hal-00845487v1
Image document

Manifestability Verification of Discrete Event Systems

Lina Ye , Philippe Dague , Lulu He
DX 2019 - 30th International Workshop on Principles of Diagnosis, Nov 2019, Klagenfurt, Austria. pp.1-9
Conference papers hal-02425146v1
Image document

Model-based Decentralized Embedded Diagnosis inside Vehicles: Application to Smart Distance Keeping Function

Othman Nasri , Hassan Shraïm , Philippe Dague , Olivier Héron , Mickael Cartron
Conference on Control and Fault-Tolerant Systems Systol'10, Oct 2010, Nice, France
Conference papers inria-00540829v1
Image document

Probabilistic Analysis of Predictability in Discrete Event Systems

Farid Nouioua , Philippe Dague , Lina Ye
DX 2014, Sep 2014, Graz, Austria
Conference papers hal-01107874v1

SAT-Based Testing of Diagnosability and Predictability of Centralized and Distributed Discrete Event Systems

Hassan Ibrahim , Philippe Dague , Laurent Simon
8th International Conference on Advances in System Testing and Validation Lifecycle VALID’16, Aug 2016, Rome, Italy
Conference papers hal-01483428v1
Image document

Diagnosability analysis for self-observed distributed discrete event systems

Lina Ye , Philippe Dague
VALID - 4th International Conference on Advances in System Testing and Validation Lifecycle, Nov 2012, Lisbonne, Portugal
Conference papers hal-00790135v1
Image document

A Coloured Petri Nets Based Attack Tolerance Framework

Wenbo Zhou , Philippe Dague , Lei Liu , Lina Ye , Fatiha Zaïdi
27th Asia-Pacific Software Engineering Conference (APSEC 2020), IEEE, Dec 2020, Singapore, Singapore
Conference papers hal-03133790v1
Image document

Diagnostic distribué à base de modèles sans calcul préalable des conflits

Vincent Armant , Philippe Dague , Laurent Simon
JFPC 2008- Quatrièmes Journées Francophones de Programmation par Contraintes, LINA - Université de Nantes - Ecole des Mines de Nantes, Jun 2008, Nantes, France. pp.41-48
Conference papers inria-00290726v1
Image document

Diagnosability for Patterns in Distributed Discrete Event Systems

Yuhong Yan , Lina Ye , Philippe Dague
21st International Workshop on Principles of Diagnosis DX'10, Oct 2010, Portland, OR, United States
Conference papers inria-00540844v1
Image document

Diagnosability study of technological systems

Michel Batteux , Philippe Dague , Nicolas Rapin , Philippe Fiani
24th International Conference on Industrial, Engineering and other Applications of Applied Intelligent Systems IEA/AIE 2011, Jun 2011, Syracuse, United States
Conference papers hal-00643664v1

An Optimized Algorithm of General Distributed Diagnosability Analysis for Modular Structures

Lina Ye , Philippe Dague
IEEE Transactions on Automatic Control, 2017, 62 (1086), pp.1768-1780. ⟨10.1109/tac.2016.2593626⟩
Journal articles hal-01483375v1

Predictability in probabilistic discrete event systems

Farid Nouioua , Philippe Dague , Lina Ye
8th International Conference on Soft Methods in Probability and Statistics SMPS 2016, Sep 2016, Rome, Italy
Conference papers hal-01483427v1

VPCA-based fault diagnosis of spacecraft reaction wheels

Gueddi Imen , Othman Nasri , Kamel Benothman , Philippe Dague
25th International Conference on Information, Communication and Automation Technologies ICAT’13, Oct 2015, Sarajevo, Bosnia and Herzegovina
Conference papers hal-01483430v1
Image document

A Predictability Algorithm for Distributed Discrete Event Systems

Lina Ye , Philippe Dague , Farid Nouioua
The 17th International Conference on Formal Engineering Methods, Nov 2015, Paris, France. ⟨10.1007/978-3-319-25423-4_13⟩
Conference papers hal-01274813v1
Image document

How important is thermodynamics for identifying elementary flux modes?

Sabine Pérès , Mario Jolicœur , Cecile Moulin , Philippe Dague , Stefan Schuster
PLoS ONE, 2017, 12 (2), ⟨10.1371/journal.pone.0171440⟩
Journal articles hal-01709642v1
Image document

How to be Sure a Faulty System Does not Always Appear Healthy?

Lina Ye , Philippe Dague , Delphine Longuet , Laura Brandán Briones , Agnes Madalinski
12th International Conference on Verification and Evaluation of Computer and Communication Systems, Sep 2018, Grenoble, France
Conference papers hal-01818314v1

Computing EFMs consistent with equilibrium constants

Sabine Pérès , Philippe Dague , Mario Jolicœur , Stefan Schuster
Metabolic Pathway Analysis MPA 2017, Jul 2017, Bozeman, United States
Conference papers hal-01676892v1

SMT-based Diagnosability Analysis of Real-Time Systems

Lulu He , Lina Ye , Philippe Dague
SAFEPROCESS 2018 - 10th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes, Aug 2018, Varsovie, Poland
Conference papers hal-01818316v1
Image document

Generalizing diagnosability definition and checking for open systems: a Game structure approach

Tarek Melliti , Philippe Dague
21st International Workshop on Principles of Diagnosis DX'10, Oct 2010, Portland, OR, United States
Conference papers inria-00540849v1
Image document

Conflicts Versus Analytical Redundancy Relations

Marie-Odile Cordier , Philippe Dague , François Lévy , Jacky Montmain , Marcel Staroswiecki , et al.
IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics, 2004, 34 (5), pp.2163 - 2177. ⟨10.1109/TSMCB.2004.835010⟩
Journal articles hal-01931749v1

Proceedings of the 26th International Workshop on Principles of Diagnosis (DX-2015)

Yannick Pencolé , Louise Travé-Massuyès , Philippe Dague
Yannick Pencolé; Louise Travé-Massuyès; Philippe Dague. , 1507, pp.302, 2015, CEUR Workshop Proceedings
Books hal-01227807v1

Diagnosability Planning for Controllable Discrete Event Systems

Hassan Ibrahim , Philippe Dague , Alban Grastien , Lina Ye , Laurent Simon
31st National Conference on Artificial Intelligence AAAI-17, Feb 2017, San Francisco, United States
Conference papers hal-01483416v1

Diagnosis and supervision: model-based approaches

Marie-Odile Cordier , Philippe Dague , Yannick Pencolé , Louise Travé-Massuyès
Pierre Marquis, Odile Papini, Henri Prade. A guided tour of artificial intelligence research, 1, Springer, 2017, Knowledge representation and reasoning, 978-3-030-06164-7
Book sections hal-01483436v1
Image document

Génération du comportement observable d'un système pour l'étude de la diagnosticabilité de défauts

Michel Batteux , Philippe Fiani , Nicolas Rapin , Philippe Dague
QUALITA 2011, Mar 2011, Angers, France
Conference papers hal-00643674v1
Image document

A general algorithm for pattern diagnosability of distributed discrete event systems

Lina Ye , Philippe Dague
ICTAI - 24th International Conference on Tools with Artificial Intelligence, Nov 2012, Athènes, Greece
Conference papers hal-00790126v1
Image document

New Results for Joint Diagnosability of Self-observed Distributed Discrete Event Systems

Lina Ye , Philippe Dague
DX - 23rd International Workshop on Principles of Diagnosis, Jul 2012, Great Malvern, United Kingdom
Conference papers hal-00790146v1

Automating Abstraction Computations of Hybrid Systems

Hadi Zaatiti , Lina Ye , Philippe Dague , Jean-Pierre Gallois
CICM 2018 - 11th Conference on Intelligent Computer Mathematics ; Workshop FVPS 2018 - Formal Verification of Physical Systems, Aug 2018, Hagenberg, Austria
Conference papers hal-01839897v1
Image document

Using Delay Blocks to Make Non-Diagnosable Discrete Event Systems Diagnosable

Lulu He , Philippe Dague , Lina Ye
DX 2022 - 33rd International Workshop on Principle of Diagnosis, LAAS-CNRS-ANITI, Sep 2022, Toulouse, France
Conference papers hal-03773712v1