Biblio

Export 18 results:
Author [ Title(Asc)] Type Year
Filters: Author is Dague, Philippe  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
T
S. Pérès, Schuster, S., and Dague, P., “Thermodynamic constraints for identifying elementary flux modes”, Biochemical Society Transactions, 2018.
S
L. He, Ye, L., and Dague, P., “SMT-based Diagnosability Analysis of Real-Time Systems”, in SAFEPROCESS 2018 - 10th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes, Varsovie, Poland, 2018.
H. Ibrahim, Dague, P., and Simon, L., “SAT-Based Testing of Diagnosability and Predictability of Centralized and Distributed Discrete Event Systems”, in {8th International Conference on Advances in System Testing and Validation Lifecycle VALID'16}, Rome, Italy, 2016.
P
Y. Pencolé, Travé-Massuyès, L., and Dague, P., “Proceedings of the 26th International Workshop on Principles of Diagnosis (DX-2015)”, CEUR Workshop Proceedings, vol. 1507. {Yannick Pencolé and Louise Travé-Massuyès and Philippe Dague}, Paris, France, p. 302, 2015.
F. Nouioua, Dague, P., and Ye, L., “Probabilistic Analysis of Predictability in Discrete Event Systems”, in DX 2014, Graz, Austria, 2014.
F. Nouioua, Dague, P., and Ye, L., “Predictability in probabilistic discrete event systems”, in {8th International Conference on Soft Methods in Probability and Statistics SMPS 2016}, Rome, Italy, 2016.
L. Ye, Dague, P., and Nouioua, F., “A Predictability Algorithm for Distributed Discrete Event Systems”, in The 17th International Conference on Formal Engineering Methods, Paris, France, 2015.
O
L. Ye and Dague, P., “An Optimized Algorithm of General Distributed Diagnosability Analysis for Modular Structures”, {IEEE Transactions on Automatic Control}, vol. 15, 2017.
M
M. Martin, Dague, P., Pérès, S., and Simon, L., “Minimality of Metabolic Flux Modes under Boolean Regulation Constraints”, in {12th International Workshop on Constraint-Based Methods for Bioinformatics WCB'16}, Toulouse, France, 2016.
H
L. Ye, Dague, P., Longuet, D., Briones, L. Brandán, and Madalinski, A., “How to be Sure a Faulty System Does not Always Appear Healthy?”, in VECoS 2018 - 12th International Conference on Verification and Evaluation of Computer and Communication Systems, Grenoble, France, 2018.
S. Pérès, Jolicœur, M., Moulin, C., Dague, P., and Schuster, S., “How important is thermodynamics for computing elementary flux modes?”, {PLoS ONE}, vol. D, 2017.
F
L. Ye, Dague, P., Longuet, D., Briones, L. Brandán, and Madalinski, A., “Fault Manifestability Verification for Discrete Event Systems”, in {22nd European Conference on Artificial Intelligence ECAI-16}, La Haye, Netherlands, 2016.
G. Imen, Nasri, O., Benothman, K., and Dague, P., “Fault Detection and Isolation of Spacecraft Thrusters using an Extended Principal Component Analysis to Interval Data”, {International Journal of Control, Automation and Systems}, 2016.
D
M. - O. Cordier, Dague, P., Pencolé, Y., and Travé-Massuyès, L., “Diagnosis and supervision: model-based approaches”, in {A guided tour of artificial intelligence research}, P. Marquis, Papini, O., and Prade, H., Eds. {Springer}, 2017.
H. Ibrahim, Dague, P., Grastien, A., Ye, L., and Simon, L., “Diagnosability Planning for Controllable Discrete Event Systems”, in {31st National Conference on Artificial Intelligence AAAI-17}, San Francisco, United States, 2017.
H. Ibrahim, Dague, P., Grastien, A., Ye, L., and Simon, L., “Diagnosability Planning for Controllable Discrete Event Systems”, in {27th International Workshop on Principles of Diagnosis DX'16}, Denver, United States, 2016.
A
H. Zaatiti, Ye, L., Dague, P., and Gallois, J. - P., “Automating Abstraction Computations of Hybrid Systems”, in CICM 2018 - 11th Conference on Intelligent Computer Mathematics ; Workshop FVPS 2018 - Formal Verification of Physical Systems, Hagenberg, Austria, 2018.
H. Zaatiti, Ye, L., Dague, P., and Gallois, J. - P., “Abstractions refinement for hybrid systems diagnosability analysis”, in Diagnosability, Security and Safety of Hybrid Dynamic and Cyber-Physical Systems, Springer, 2018.