Filtrer vos résultats
- 30
- 29
- 41
- 11
- 3
- 2
- 1
- 1
- 1
- 58
- 6
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 6
- 6
- 6
- 7
- 1
- 2
- 6
- 3
- 8
- 4
- 1
- 1
- 1
- 1
- 51
- 8
- 54
- 19
- 9
- 7
- 7
- 6
- 5
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 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
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 59
- 25
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 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
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
59 résultats
|
|
triés par
|
|
Fuel Cell System Improvement for Model-Based Diagnosis AnalysisVehicle Power and Propulsion Conference IEEE VPPC, Sep 2010, Lille, France
Communication dans un congrès
inria-00540836v1
|
||
Distributed Tree Decomposition by Local Elections with One TokenJournées de l'Intelligence Artificielle Fondamentale, Jun 2012, Toulouse, France
Communication dans un congrès
hal-00845487v1
|
|||
|
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⟩
Article dans une revue
hal-01276952v1
|
||
|
Manifestability Verification of Discrete Event SystemsDX 2019 - 30th International Workshop on Principles of Diagnosis, Nov 2019, Klagenfurt, Austria. pp.1-9
Communication dans un congrès
hal-02425146v1
|
||
Predictability in probabilistic discrete event systems8th International Conference on Soft Methods in Probability and Statistics SMPS 2016, Sep 2016, Rome, Italy
Communication dans un congrès
hal-01483427v1
|
|||
|
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⟩
Communication dans un congrès
hal-01274813v1
|
||
|
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
Communication dans un congrès
inria-00290726v1
|
||
|
Diagnosability for Patterns in Distributed Discrete Event Systems21st International Workshop on Principles of Diagnosis DX'10, Oct 2010, Portland, OR, United States
Communication dans un congrès
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
Communication dans un congrès
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⟩
Article dans une revue
hal-01483375v1
|
|||
VPCA-based fault diagnosis of spacecraft reaction wheels25th International Conference on Information, Communication and Automation Technologies ICAT’13, Oct 2015, Sarajevo, Bosnia and Herzegovina
Communication dans un congrès
hal-01483430v1
|
|||
|
Probabilistic Analysis of Predictability in Discrete Event SystemsDX 2014, Sep 2014, Graz, Austria
Communication dans un congrès
hal-01107874v1
|
||
|
Diagnosability analysis for self-observed distributed discrete event systemsVALID - 4th International Conference on Advances in System Testing and Validation Lifecycle, Nov 2012, Lisbonne, Portugal
Communication dans un congrès
hal-00790135v1
|
||
|
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
Communication dans un congrès
inria-00540829v1
|
||
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
Communication dans un congrès
hal-01483428v1
|
|||
|
A Coloured Petri Nets Based Attack Tolerance Framework27th Asia-Pacific Software Engineering Conference (APSEC 2020), IEEE, Dec 2020, Singapore, Singapore
Communication dans un congrès
hal-03133790v1
|
||
Artificial Intelligence. What is it, exactly?Sébastien Konieczny; Henri Prade. College Publication, 2021, 9781848903388
Ouvrages
hal-04270168v1
|
|||
Model-based diagnosis of analog electronic circuitsAnnals of Mathematics and Artificial Intelligence, 1994, special issue on Model-Based Diagnosis, 11 (1-4), pp.439-492
Article dans une revue
hal-01483395v1
|
|||
Minimality of Metabolic Flux Modes under Boolean Regulation Constraints12th International Workshop on Constraint-Based Methods for Bioinformatics WCB’16, Sep 2016, Toulouse, France
Communication dans un congrès
hal-01483433v1
|
|||
|
An Optimized Algorithm for Diagnosability of Component-based Systems10th International Conference on Discrete Event Systems WODES'10, Aug 2008, Berlin, Germany
Communication dans un congrès
inria-00540764v1
|
||
A Probabilistic Analysis of Predictability in Discrete Event Systems25th International Workshop on Principles of Diagnosis, 2015, Unknown, Région indéterminée
Communication dans un congrès
hal-01488233v1
|
|||
|
A Model-based Approach for Diagnosing Faults in Web Service ProcessesInternational Journal of Web Services Research, 2009
Article dans une revue
inria-00434346v1
|
||
Diagnostic et supervision : approches à base de modèlesPierre Marquis and Odile Papini and Henri Prade. Panorama de l'intelligence artificielle : Ses bases méthodologiques, ses développements, 2, Cépaduès, 2013
Chapitre d'ouvrage
hal-00769636v1
|
|||
Diagnosability Planning for Controllable Discrete Event Systems27th International Workshop on Principles of Diagnosis DX’16, Oct 2016, Denver, United States
Communication dans un congrès
hal-01483420v1
|
|||
Fault diagnosis of spacecraft reaction wheels based on principal component analysis4th International Conference on Systems and Control ICSC’13, Apr 2015, Sousse, Tunisia
Communication dans un congrès
hal-01483432v1
|
|||
Fault Detection and Isolation of Spacecraft Thrusters using an Extended Principal Component Analysis to Interval DataInternational Journal of Control, Automation and Systems, 2016, 15, pp.776-789. ⟨10.1007/s12555-015-0258-x⟩
Article dans une revue
hal-01483378v1
|
|||
Diagnosability Planning for Controllable Discrete Event Systems31st National Conference on Artificial Intelligence AAAI-17, Feb 2017, San Francisco, United States
Communication dans un congrès
hal-01483416v1
|
|||
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
Communication dans un congrès
hal-01839897v1
|
|||
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
Chapitre d'ouvrage
hal-01483436v1
|
|||
|
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
Communication dans un congrès
hal-03773712v1
|
- 1
- 2