Filter your results
- 29
- 28
- 40
- 10
- 3
- 2
- 1
- 1
- 1
- 56
- 6
- 1
- 1
- 1
- 1
- 2
- 5
- 7
- 6
- 7
- 1
- 2
- 6
- 3
- 7
- 4
- 2
- 1
- 1
- 1
- 49
- 8
- 53
- 19
- 9
- 6
- 6
- 5
- 5
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 57
- 25
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
57 Results
|
|
sorted by
|
|
Fuel Cell System Improvement for Model-Based Diagnosis AnalysisVehicle 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 MissionJournal of Control Science and Engineering, 2015, 2015, ⟨10.1155/2015/204918⟩
Journal articles
hal-01276952v1
|
||
Distributed Tree Decomposition by Local Elections with One TokenJournées de l'Intelligence Artificielle Fondamentale, Jun 2012, Toulouse, France
Conference papers
hal-00845487v1
|
|||
|
Manifestability Verification of Discrete Event SystemsDX 2019 - 30th International Workshop on Principles of Diagnosis, Nov 2019, Klagenfurt, Austria. pp.1-9
Conference papers
hal-02425146v1
|
||
|
Model-based Decentralized Embedded Diagnosis inside Vehicles: Application to Smart Distance Keeping FunctionConference on Control and Fault-Tolerant Systems Systol'10, Oct 2010, Nice, France
Conference papers
inria-00540829v1
|
||
|
Probabilistic Analysis of Predictability in Discrete Event SystemsDX 2014, Sep 2014, Graz, Austria
Conference papers
hal-01107874v1
|
||
SAT-Based Testing of Diagnosability and Predictability of Centralized and Distributed Discrete Event Systems8th International Conference on Advances in System Testing and Validation Lifecycle VALID’16, Aug 2016, Rome, Italy
Conference papers
hal-01483428v1
|
|||
|
Diagnosability analysis for self-observed distributed discrete event systemsVALID - 4th International Conference on Advances in System Testing and Validation Lifecycle, Nov 2012, Lisbonne, Portugal
Conference papers
hal-00790135v1
|
||
|
A Coloured Petri Nets Based Attack Tolerance Framework27th Asia-Pacific Software Engineering Conference (APSEC 2020), IEEE, Dec 2020, Singapore, Singapore
Conference papers
hal-03133790v1
|
||
|
Diagnostic distribué à base de modèles sans calcul préalable des conflitsJFPC 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
|
||
|
Diagnosability for Patterns in Distributed Discrete Event Systems21st International Workshop on Principles of Diagnosis DX'10, Oct 2010, Portland, OR, United States
Conference papers
inria-00540844v1
|
||
|
Diagnosability study of technological systems24th 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 StructuresIEEE Transactions on Automatic Control, 2017, 62 (1086), pp.1768-1780. ⟨10.1109/tac.2016.2593626⟩
Journal articles
hal-01483375v1
|
|||
Predictability in probabilistic discrete event systems8th 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 wheels25th International Conference on Information, Communication and Automation Technologies ICAT’13, Oct 2015, Sarajevo, Bosnia and Herzegovina
Conference papers
hal-01483430v1
|
|||
|
A Predictability Algorithm for Distributed Discrete Event SystemsThe 17th International Conference on Formal Engineering Methods, Nov 2015, Paris, France. ⟨10.1007/978-3-319-25423-4_13⟩
Conference papers
hal-01274813v1
|
||
|
How important is thermodynamics for identifying elementary flux modes?PLoS ONE, 2017, 12 (2), ⟨10.1371/journal.pone.0171440⟩
Journal articles
hal-01709642v1
|
||
|
How to be Sure a Faulty System Does not Always Appear Healthy?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 constantsMetabolic Pathway Analysis MPA 2017, Jul 2017, Bozeman, United States
Conference papers
hal-01676892v1
|
|||
SMT-based Diagnosability Analysis of Real-Time SystemsSAFEPROCESS 2018 - 10th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes, Aug 2018, Varsovie, Poland
Conference papers
hal-01818316v1
|
|||
|
Generalizing diagnosability definition and checking for open systems: a Game structure approach21st International Workshop on Principles of Diagnosis DX'10, Oct 2010, Portland, OR, United States
Conference papers
inria-00540849v1
|
||
|
Conflicts Versus Analytical Redundancy RelationsIEEE 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. , 1507, pp.302, 2015, CEUR Workshop Proceedings
Books
hal-01227807v1
|
|||
Diagnosability Planning for Controllable Discrete Event Systems31st National Conference on Artificial Intelligence AAAI-17, Feb 2017, San Francisco, United States
Conference papers
hal-01483416v1
|
|||
Diagnosis and supervision: model-based approachesPierre 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
|
|||
|
Génération du comportement observable d'un système pour l'étude de la diagnosticabilité de défautsQUALITA 2011, Mar 2011, Angers, France
Conference papers
hal-00643674v1
|
||
|
A general algorithm for pattern diagnosability of distributed discrete event systemsICTAI - 24th International Conference on Tools with Artificial Intelligence, Nov 2012, Athènes, Greece
Conference papers
hal-00790126v1
|
||
|
New Results for Joint Diagnosability of Self-observed Distributed Discrete Event SystemsDX - 23rd International Workshop on Principles of Diagnosis, Jul 2012, Great Malvern, United Kingdom
Conference papers
hal-00790146v1
|
||
Automating Abstraction Computations of Hybrid SystemsCICM 2018 - 11th Conference on Intelligent Computer Mathematics ; Workshop FVPS 2018 - Formal Verification of Physical Systems, Aug 2018, Hagenberg, Austria
Conference papers
hal-01839897v1
|
|||
|
Using Delay Blocks to Make Non-Diagnosable Discrete Event Systems DiagnosableDX 2022 - 33rd International Workshop on Principle of Diagnosis, LAAS-CNRS-ANITI, Sep 2022, Toulouse, France
Conference papers
hal-03773712v1
|
- 1
- 2