Publications

Publications from the LAAS-CNRS serveur

 

JOURNALS

C. JAUBERTHIE, L.TRAVE-MASSUYES, N.VERDIERE, Set-membership identifiability of nonlinear models and related parameter estimation properties, Journal of Applied Mathematics and Computer Science, 26(4), 2016.

E. CHANTHERY, L.TRAVE-MASSUYES, S. INDRA, Fault Isolation on Request based on Decentralized Residual Generation, IEEE Trans. on System, Man and Cybernetics : Systems, 46(5), 598-610, 2015.

N.VERDIERE, C. JAUBERTHIE, L.TRAVE-MASSUYES, Functional diagnosability and detectability of nonlinear models based on analytical redundancy relations, Journal of Process Control, 35 : 1-10, 2015.

M. MAIGA, N. RAMDANI, L. TRAVE-MASSUYES, A Comprehensive Method for Reachability Analysis of Uncertain Nonlinear Hybrid Systems, IEEE Trans. on Automatic Control, 61(9), 2341-2356, 2015.

J. Vento MALDONADO, L. Travé-Massuyès, V. PUIG, R. SARRATE. An Incremental Hybrid Diagnoser Automaton Enhanced by Discernability Properties, IEEE Trans. on Systems, Man, and Cybernetics : Systems, 45(5) : 788-804, 2015.

R. Pons, A. Subias, L. Travé-Massuyès. Iterative hybrid causal model based diagnosis: Application to automotive embedded functions, Engineering Applications of Artificial Intelligence, 37, 319-335, 2015.

R. Leal, Jose Aguilar, L. Travé-Massuyès, E. Camargo, A. Rios, An Approach for Diagnosability Analysis and Sensor Placement for Continuous Processes Based on Evolutionary Algorithms and Analytical Redundancy, Applied Mathematical Sciences, 9(43), 2015, 2125 - 2146.

R. LEAL, J. AGUILAR, L. Travé-Massuyès, E. CAMARGO, A. RIOS, . A Genetic Algorithm Approach for Diagnosability Analysis, International Journal of Engineering Development and Research (IJEDR), ISSN:2321-9939, Vol.2, Issue 4, 3786-3799, Dec 2014.

M. MAIGA, N. RAMDANI, L. TRAVE-MASSUYES, C. COMBASTEL, A CSP Versus a Zonotope-Based Method for Solving Guard Set Intersection in Nonlinear Hybrid Reachability, Mathematics in Computer Science: Volume 8, Issue 3, 407-423, 2014.

C. JAUBERTHIE, N.VERDIERE, L.TRAVE-MASSUYES, Fault detection and identification relying on set-membership identifiability, Annual Reviews in Control, Vol.37(1), 129-136, April 2013, http://dx.doi.org/10.1016/j.arcontrol.2013.04.002.

L.TRAVE-MASSUYES, Bridging Control and Artificial Intelligence Theories for Diagnosis : A survey, Engineering Applications of Artificial Intelligence, Vol. 27, 1-16, DOI information: 10.1016/j.engappai.2013.09.018 (on-line), 2014.

T.RIENMULLER, M.W.HOFBAUR, L.TRAVE-MASSUYES, M.BAYOUDH, Mode set focused hybrid estimation, International Journal of Applied Mathematics and Computer Science (AMCS), Vol. 23(1), 131-144, 2013.

M. BAYOUDH, L.TRAVE-MASSUYES, Diagnosability analysis of hybrid systems cast in a discrete-event framework, Journal of Discrete Event Dynamic Systems (JDEDS), Vol. 24(3), pp. 308-339, 2014, DOI : 10.1007/s10626-012-0153-z.

C. JAUBERTHIE, L. Travé-Massuyès, A sufficient condition to test identifiability of nonlinear delayed-differential models with constant delays and multi-inputs. Automatica, 46(7), 1222-1227, 2010.

E. Bénazéra, L. Travé-Massuyès, Set-theoretic estimation of hybrid system configurations. IEEE Transactions on Systems Man and Cybernetics Part B: Cybernetics, Vol.39, N°5, pp.1277-1291, October 2009.

F. Nejjari, R. Perez, T. Escobet, L. Travé-Massuyès, Fault diagnosability utilizing quasi-static and structural modelling, Mathematical and Computer Modelling, 45(5-6), pp. 606-616, 2007.

L. Travé-Massuyès, T. Escobet, X. Olive, Diagnosability analysis based on component supported analytical redundancy relations, IEEE Transactions on Systems, Man and Cybernetics, Part A : Systems and Humans, Vol. 36, N°6, Nov. 2006, pp. 1146-1160, ISSN: 1083-4427.

C. J. Price, L. Travé-Massuyès, R. Milne, L. Ironi, K. Forbus, B. Bredeweg, M. H. Lee, P. Struss, N. Snooke, P. Lucas, M. Cavazza, G. Coghill, Qualitative Futures, The Knowledge Engineering Review, Vol. 21(4), Cambridge University Press, UK, 317-334, 2006.

L. Travé-MasSuyès, F. Prats, M. Sanchez, N. Agell, Relative and absolute order-of-magnitude models unified, Annals of Mathematics and Artificial Intelligence Vol. 45, 323-341, 2005.

B. Celse, S. Cauvin, B. Heim, S. Gentil, L. Travé-Massuyès, Model-based diagnostic module for a FCC pilot plant, Oil & Gas Science and Technology - Revue de l'IFP, Vol. 60, n° 4, 2005, pp. 661-679.

M.O. Cordier, P. Dague, F. Levy, J. Montmain, M. Staroswiecki, L. Travé-Massuyès (in alphabetical order), Conflicts versus analytical redundancy relations. A comparative analysis of the model based diagnosis approach from the artificial intelligence and automatic control perspectives, IEEE Transactions on Systems, Man and Cybernetics. Part B, Vol.34, N°5, pp.2163-2177, October 2004.

L. Travé-Massuyès, L. Ironi, P. Dague, Mathematical Foundations of Qualitative Reasoning, AI Magazine, Special Issue on Qualitative Reasoning, Vol. 24, N°4, pp. 91-106, 2003.

J. Armengol, J. Vehi, L. Travé-Massuyès, M.A. Sainz, Application of modal intervals to the generation of error-bounded envelopes. Reliable Computing, vol 7, n° 2, pp. 171-185. ISSN : 1385-3139. Kluwer Academic Publishers, The Netherlands, 2001.

R. Milne, C. Nilcol , L. Travé-Massuyès, TIGER with model based diagnosis: initial deployment, Knowledge-Based Systems, vol. 14, n° 3-4, 2001, pp. 213-222.

J. Pastor, M. Lafon, L. Travé-Massuyès, J.F. Demonet, B. Doyon, P. Celsis, Information processing in large-scale cerebral networks : the causal connectivity approach, Biological Cybernetics, 82, pp. 49-59, 2000.

J. Armengol, L. Travé-Massuyès, J. Vehi, J.Ll. de la Rosa, A survey on interval model simulators and their properties related to fault detection. Annual Reviews in Control, vol. 24, No. 1. ISSN: 1367-5788. Elsevier Science. Oxford, UK., 2000, pp. 31-39.

K. Bousson, J.P. Steyer, L.Travé-Massuyès, B. Dahhou, From a rule based to a predictive model-based approach for monitoring and diagnosis of biotechnological processes, Engineering Applications of Artificial Intelligence, Vol. 11/4, October 98, pp. 0952-1976, ISBN  : 0952-1976.

I. Servet, L. Travé-Massuyès, D. Stern, Telephone network traffic overloading diagnosis and evolutionary computation techniques. In Artificial Evolution, J.-K. Hoa, E.Lutton, E. Ronald, M. Schoenauer, D. Snyers (Editors), Lecture Notes in Computer Science, Springer-Verlag, Germany, 1998.

S. Cauvin, M.O. Cordier, D. Dousson, G. Deflandre, P. Laborie, F. Levy, Y. Montmain, M. Porcheron, I. Servet, L.Travé-Massuyès, Monitoring and alarm interpretation in industrial environments, AI Communications Journal, Vol. 11, n° 3/4, pp. 139-173, IOS Press, 1998, ISSN 0921-7126.

I. Servet, L.Travé-Massuyès, D. Stern, Evolutionary computation techniques for traffic supervision based on a model of telephone networks built from qualitative knowledge, Studies in Informatics and Control, vol. 6, n° 1, 1997.

L. Travé-Massuyès, R. Milne, TIGERTM: Gas turbine condition monitoring using qualitative model based diagnosis, IEEE Expert Intelligent Systems & Applications, vol. 12, n° 3, May-June 1997, pp. 22-31.

L. Travé-Massuyès, R. Milne, Diagnosis of Dynamic Systems based on Explicit and Implicit Behavioural Models : An application to Gas Turbines in Esprit Project TIGER, Applied Artificial Intelligence Journal, vol. 10, n° 3, pp. 257-277, 1996.

R. Milne, C. Nicol, L. Travé-Massuyès, J. Quevedo, TIGER : Knowledge based Gas Turbine Condition Monitoring, AI Communications Journal, vol. 9, n° 3, pp. 92-108, 1996.

P. Bourseau, K. Bousson, P. Dague, J.-L Dormoy, J.,-M Evrard, F. Guerrin, L. Leyval, O. Lhomme, B. Lucas, A. Missier, J. Montmain, N. Piera, N. Rakoto-Ravalontsalama, J.-P Steyer, M. Tomasena, L. Travé-Massuyès, M. Vescovi, S. Xanthakis, B. Yannou, (Ed. P. Dague) Qualitative Reasoning : A survey of Techniques and Applications, Special Issue of AI Communications, vol. 8, n°3/4, pp. 119-192, 1995.

L. Travé-Massuyès, R. Milne, Application-oriented qualitative reasoning, The Knowledge Engineering Review,  vol. 10, n° 2, pp. 181-204, 1995.

F. Guerrin, K. Bousson, J.Ph. Steyer, L. Travé-Massuyès, Qualitative Reasoning methods for CELSS modeling, Advances in Space Research Review, vol. 14, n° 11, pp. 307-312, 1994.

R. Milne, C. Nicol, M. Ghallab, L. Travé-Massuyès, K. Bousson, C. Dousson, J. Quevedo, J. Aguilar-Martin, A. Guash, TIGER : real-time situation assessment of dynamic systems, Intelligent Systems Engineering Journal, vol. 3, n° 3, pp. 103-124, 1994.

L. Travé-Massuyès, K. Bousson, J.M. Evrard, F. Guerrin, B. Lucas, A. Missier, M. Tomasena, L. Zimmer, Non-Causal vs. Causal Qualitative Modelling and Simulation, Intelligent Systems Engineering Journal, vol. 2 n° 3, 1993.

L. Travé-Massuyès, Qualitative Reasoning over time: History and current prospects, The Knowledge Engineering Review, 7, n° 1, 1992, pp 1-18.

L. Travé, A.M. Tarras, A. Titli, Minimal feedback structure avoiding structurally fixed modes, International Journal of Control, vol. 46, n° 1, 1987.

L. Travé, A.M. Tarras, A. Titli, An application of vibrational control to cancel unstable decentralized fixed modes, I.E.E.E. Trans. Aut. Control, AC-30, n° 3, 1985, pp. 283-286.

SUBMITTED

A. TOUHAMI, L. TRAVE-MASSUYES, M. AUFRAY, R. PONS, Preconditioned set inversion for the enhanced estimation of dielectric relaxation parameters, Submitted to the Journal of Computational and Applied Mathematics.

L. RAVANBOD, C. JAUBERTHIE, N.VERDIERE, L.TRAVE-MASSUYES, Improved solutions for ill-conditioned problems involved in set-membership estimation for fault detection and isolation, Submitted (2nd submission) to the Int. J. of Adaptive Control and Signal Processing.

JOURNALS (NATIONAL)

R. Leal, Edgard Camargo, J. Aguilar, A. Rios, L. Travé-Massuyès, Análisis de Diagnosticabilidad y Localización de Sensores en un Pozo de Extracción de Petróleo por Inyección de Gas, Revista Politécnica, Escuela Politécnica National de Equador, 36(1), pp.1-11, 2015.

J. Thomas , M. Combacau, B. Jammes , H. Poulard, H.Ressencourt, S.Soldani, A.Subias, L.Travé-Massuyès, Diagnostic à base de connaissances hétérogènes : application au domaine de l'automobile. Rapport LAAS N°09153, Revue de l'Electricité et de l'Electronique, N°4, 7p., Avril 2009.

M.O. Cordier, Y.Pencolé, L. L.Travé-Massuyès, T.Vidal, Caractérisation des systèmes autoguérissants: diagnostiquer ce que l'on peut réparer, Information - Interaction – Intelligence : An International Journal (Revue I3), Vol. 8, N°2, 2009, 29p.

P. Dague, L. Travé-Massuyès, Raisonnement causal en physique qualitative, Intellectica, N°38, pp. 247-290, 2004.

L. Travé-Massuyès, T. Escobet, R. Pons, S. Tornil, The Ca-En diagnosis system and its automatic modelling method, Computación i Sistemas, Revista Iberoamericana de Computación,  vol 5, n°2, pp. 128-143, 2001.

A. Catala, P. Ponsa, L. Travé-Massuyès, Artificial reasoners for human process supervision. Revista Iberoamericana de Inteligencia Artificial, nº 9(II/00), pp. 76-84, AEPIA, 1999, ISSN: 1137-3601, 2000.

I. Servet, L. Travé-Massuyès, D. Stern, Traffic supervision in telephone networks and qualitative modelling, Annales des Telecommunications, tome 51, n° 9-10, pp. 483-492, 1996.

A. Missier, N. Piera, L. Travé-Massuyès, Order of magnitude qualitative algebras : A survey, Revue d’Intelligence Artificielle, Numéro spécial sur le Raisonnement Qualitatif, vol. 3, n°4, 1990.

PATENTS

L.Travé-Massuyès, J. THOMAS, H. POULARD, H.Ressencourt, Procédé de diagnostic d’un disfonctionnement d’un système mécatronique (MBR), N° Dépôt/publication : 09 59513, Date de dépôt : 23/12/2009, Déposant(s) : ACTIA et CNRS, France.

SPECIAL ISSUE EDITION

G. Biswas, M.O. Cordier, J. Lunze, M. Staroswiecki, L. Travé-Massuyès (Eds), IEEE SMC Transactions - Part B, Numéro Spécial sur « Diagnosis of Complex Systems: Bridging the methodologies of the FDI and DX Communities », Vol.34, N°5, 2004.

L. Travé-Massuyès, J.L. Dormoy (Eds), Revue d’Intelligence Artificielle, Numéro Spécial sur le Raisonnement Qualitatif, vol.3, n°4, 1990.

Habilitation à diriger des recherches

L. Travé-Massuyès, Raisonnement qualitatif et automatique symbolique, Habilitation, Université Paul Sabatier, Toulouse, 12 Décembre 1998, N°369, 76p., Président: J.AGUILAR MARTIN, Rapporteurs : B. DUBUISSON, R. LOPEZ DE MANTARAS, S. GENTIL,  Examinateurs: M. CAYROL, A. TITLI, R. MILNE.

BOOKS  (contributions)

J.F. CONDOTTA, F. LE BER, G. LIGOZAT, L.TRAVE-MASSUYES. Raisonnement qualitatif sur les systèmes dynamiques, le temps et l’espace. In : Panorama de l'intelligence artificielle: Ses bases méthodologiques, ses développements, 2013, vol. 1, Cepadues Editions.

M.O. CORDIER, DAGUE, P., PENCOLÉ, Y., L.TRAVE-MASSUYES. Diagnostic et supervision: approches à base de modèles. In : Panorama de l'intelligence artificielle: Ses bases méthodologiques, ses développements, 2013, vol. 2, Cepadues Editions.

S.  Indra, L.  Travé-Massuyès, E.  Chanthery, A decentralized fault detection and isolation scheme for spacecraft: bridging the gap between model-based fault detection and isolation research and practice, EUCASS Proceedings Series, Advances in AeroSpace Sciences 6 281-298 (2013), DOI: 10.1051/eucass/201306281.

L.TRAVE-MASSUYES, Bridges between diagnosis theories from control and AI perspectives, Intelligent Systems in Technical and Medical Diagnostics, Jozef Korbicz, Marek Kowal (Eds), Springer, 400p., Juillet 2013, Advances in Intelligent Systems and Computing 230, pp.3-28.

L. Ardissono, S. Bocconi, C. Cappiello, L.Console, M.O.Cordier, J.Eder, G.Friedrich, M.G. Fugini, R. Furnari, A. Goy, K. Guennoun, V. Ivanchenko, X. le Guillou, S. Modafferi, E.Mussi, Y. Pencole, G. Petrone, B. Pernici, C. Picardi, F. Ramoni, X. Pucel, M. Segnan, A. Subias, D. Theseider Dupré, L. Travé-Massuyès, T. Vidal, WS-DIAMOND: Web Services – DIAgnosability, MONitoring and Diagnosis. To appear in “At your service: An overview of results of projects in the field of service engineering of the IST programme” MIT Press Series on Information Systems, Chapter 9, J.Mylopoulos and M.Papazoglou (Eds.),  N°ISBN 978-0-262-04253-6, 2009.

L. Ardissono, S. Bocconi, C. Cappiello, L.Console, M.O.Cordier, J.Eder, G.Friedrich, M.G. Fugini, R. Furnari, A. Goy, K. Guennoun, V. Ivanchenko, X. le Guillou, S. Modafferi, E.Mussi, Y. Pencole, G. Petrone, B. Pernici, C. Picardi, F. Ramoni, X. Pucel, M. Segnan, A. Subias, D. Theseider Dupré, L. Travé-Massuyès, T. Vidal, WS-DIAMOND: an approach to web services - DIAgnosability, MONitoring and Diagnosis. In Expanding the Knowledge Economy: Issues, Applications, Case Studies, IOS Press, 2007 Amsterdam, N°ISBN 978-1-58603-801-4, Octobre 2007.

L. Travé-Massuyès, Model based thoughts CA-EN and TIGER then and now. ROB MILNE: a tribute to a pioneering al scientist, entrepreneur and mountaineer, IOS Press, Eds. A.Bundy, S.Wilson, N°ISBN 1-58603-639-4, 2006, pp.1-28.

L. Travé-Massuyès, P. Dague, N. Piera, N. Agell, F. Prats, M. Sanchez, A. Missier, Le raisonnement sur les ordres de grandeur, Modèles et raisonnements qualitatifs, Hermes, Traité IC2 Information, Commande, Communications, N°ISBN 2-7462-0744-3, 2003, Chapitre 2, pp. 75-128.

J. Dormoy, L. Travé-Massuyès, L'algèbre des signes, Modèles et raisonnements qualitatifs, Hermes, Traité IC2 Information, Commande, Communications, N°ISBN 2-7462-0744-3, 2003, Chapitre 1, pp. 27-74.

P. Dague, L. Travé-Massuyès, Raisonnement causal en physique qualitative, Modèles et raisonnements qualitatifs, Hermes, Traité IC2 Information, Commande, Communications, N°ISBN 2-7462-0744-3, 2003, Chapitre 7, pp. 207-268.

K. Bousson, J.F. Steyer, L. Travé-Massuyès, Monitoring and diagnosis of fermentation processes, in Issues of Fault Diagnosis for Dynamic Systems, (Ed. Patton, Franck and Clark), Springer-Verlag, 2000, ISBN 3-540-19968-3.

R. Milne, L. Travé-Massuyès, Real-Time Model Based Diagnosis of Gas Turbines in « Artificial Intelligence in the Petroleum Industry », edited by B. Braunschweig and R. Day Editions Technip, Paris, pp. 197-214, 1995.

L. Travé-Massuyès, Qualitative Reasoning for Dynamical Systems Simulation. Systems and Control Encyclopedia (Ed. M. Singh), 2ème Supplément, Pergamon Press, 1992, pp. 887-897.

L. Travé-Massuyès, Qualitative reasoning from different aspects and potential applications to decision support systems, Decision Support Systems and Qualitative Reasoning, (Eds. L.Trave Massuyes, MG.Singh), North Holland, 1991, pp.29-42.

L. Travé-Massuyès, The scope of qualitative analysis, Systems and Control Encyclopedia (Ed. M. Singh), 1er Supplément, Pergamon Press, 1990, pp. 473-481.

L. Travé, J.L. Dormoy, Qualitative calculus and applications, IMACS Transactions on Scientific Computing’88, vol. 2 : Artificial Intelligence and Expert Systems in Scientific Computing, 1988.

BOOKS  (Edition & Contribution)

L. Travé-Massuyès, P. Dague, Modèles et raisonnements qualitatifs, Hermes, Traité IC2 Information, Commande, Communications, N°ISBN 2-7462-0744-3, 2003, 361p.

L. Travé-Massuyès, P. Dague, F. Guerrin (Eds), Le Raisonnemnt Qualitatif pour les Sciences de l’Ingénieur, Editions Hermès, Paris, 1997.

M.G. Singh, L. Travé-Massuyès (Eds), Decision Support Systems and Qualitative Reasoning, North-Holland, 1991.

L. Travé, A. Titli, A. Tarras, Large scale systems: decentralisation, structure constraints and fixed modes, Lecture Notes in Control and Information Sciences, vol. 120, 19 Springer-Verlag, 1989.

INTERNATIONAL CONFERENCES

N. BARBOSA ROA, L.TRAVE-MASSUYES, V. HUGO GRISALES, A novel algorithm for dynamic clustering: properties and performance, 15th IEEE International Conference on Machine Learning and Applications, Anaheim, California, USA, 2016.

N. BARBOSA ROA, L.TRAVE-MASSUYES, V. HUGO GRISALES, Dynamic clustering for process supervision, XVII Latin American Conference on Automatic Control, Medellín-Colombia, 2016.

A. Grastien, L. Travé−Massuyès, V. Puig, Solving Diagnosability of Hybrid Systems via Abstraction and Discrete Event Techniques, The 27th International Workshop on Principles of Diagnosis DX−2016, Denver, Colorado, USA, 2016.  


C. G. PEREZ, L.Travé-Massuyès, E. CHANTERY, J. SOTOMAYOR Fault−Driven Minimal Structurally Overdetermined Set in a Distributed Context, The 27th International Workshop on Principles of Diagnosis DX−2016, Denver, Colorado, USA, 2016. 

C. JAUBERTHIE, N. VERDIERE, L. TRAVE-MASSUYES, Set-member-ship functional diagnosability: Definitions and analysis, 3rd International Conference on Control and Fault−Tolerant Systems SysTol’16, Barcelona, Spain, 2016.

C. G. PEREZ, L.Travé-Massuyès, E. CHANTERY, J. SOTOMAYOR. Decentralized diagnosis in a spacecraft attitude determination and control system. Journal of Physics: Conference Series, IOP Publishing, Conference Series, 659, 2015.

L. TRAVE-MASSUYES, R. PONS, P. RIBOT, C. JAUBERTHIE, Condition-based Monitoring and Prognosis in an Error-Bounded Framework, 26th International Workshop on Principles of Diagnosis (DX-2015), Paris, France, 31 august-4 september, 2015.

M. MAIGA, N. RAMDANI, L.TRAVE-MASSUYES, Robust fault detection in hybrid systems using set-membership parameter estimation, 9th IFAC Symposium on  Fault Detection, Supervision and Safety of Technical Processes SAFEPROCESS’15, Paris, France, 2-4 september, 2015.

N. BARBOSA ROA, L.TRAVE-MASSUYES, V. HUGO GRISALES, Trend-Based Dynamic Classification for on-line Diagnosis of Time-Varying Dynamic Systems, IFAC Symposium on  Fault Detection, Supervision and Safety of Technical Processes SAFEPROCESS’15, Paris, France, 2-4 september, 2015.

F. DE MORTAIN, A. SUBIAS, L.TRAVE-MASSUYES, V. DE FLAUGERGUES, Towards Active Diagnosis of Hybrid Systems leveraging Multimodel Identification and a Markov Decision Process, 9th IFAC Symposium on  Fault Detection, Supervision and Safety of Technical Processes SAFEPROCESS’15, Paris, France, 2-4 september, 2015.

J. BLESA, F. LE GALL, C. JAUBERTHIE, L.TRAVE-MASSUYES, State Estimation and Fault Detection using Box Particle Filtering with Stochastic Measurements, 9th IFAC Symposium on  Fault Detection, Supervision and Safety of Technical Processes SAFEPROCESS’15, Paris, France, 2-4 september, 2015.

A. SUBIAS, L.TRAVE-MASSUYES, E. LE CORRONC, Learning Chronicles signing Multiple Scenario Instances, IFAC World Congress, Le Cap, South Africa,  26-29 August, 2014 ; also 25th International Workshop on Principles of Diagnosis (DX-2015), Graz (Austria), 9-11 September, 2014.

J.XIONG, C.JAUBERTHIE, L.TRAVE-MASSUYES, F.LE GALL, Fault detection using interval Kalman Filtering enhanced by contraint propagation, IEEE Conference on Decision and Control (CDC), 10-13 décembre, Florence (Italie), Décembre 2013, pp.490-495.

M.MAIGA, N.RAMDANI, L.TRAVE-MASSUYES, A fast method for solving guard set intersection in nonlinear hybrid reachability, 'IEEE Conference on Decision and Control (CDC) 2013  du 10 décembre au 13 décembre 2013, Florence (Italie), Décembre 2013, pp.508-513.

J. VENTO, L. Travé-Massuyès, R. SARRATE, V. PUIG, Hybrid automaton incremental construction for online diagnosis,  24th International Workshop on Principles of Diagnosis (DX-2013), Jerusalem (Israel), 1-4 October 2013, 6p.

L. Travé-Massuyès, Bridges between Diagnosis Theories from Control and AI Perspectives, 11th International Conference on Diagnostics of Processes and Systems (DPS 2013), 8-11 september 2013, Lagow Lubiski, Poland (Invited Plenary Conference).

J.XIONG, C.JAUBERTHIE, L.TRAVE-MASSUYES, Improvements in computational aspects of interval Kalman Filtering enhanced by constraint propagation, International Workshop IEEE Electronics, Control, Measurement, Signals and their application to Mechatronics ( ECMSM ) 2013  du 24 juin au 26 juin 2013, Toulouse (France), Juin 2013, 6p.

S.INDRA, L.TRAVE-MASSUYES, Spacecraft fault detection & isolation system design using decentralized analytical redundancy, CEAS Specialist Conference on Guidance, Navigation & Control (CEAS EuroGNC ) 2013  du 10 avril au 12 avril 2013, Delft (Pays Bas), Avril 2013, 19p.

L.TRAVE-MASSUYES. Integration of different facets of diagnosis from control and AI, International Congress of Engineering Mechatronics and Automation ( CIIMA ) 2013 du 23 octobre au 25 octobre 2013, Bogota (Colombie), Octobre 2013, 12p.

J.AGUILAR, A.SUBIAS, L.TRAVE-MASSUYES, K.ZOUAOUI, Situation assessment in autonomous systems, The 4th Global Information Infrastructure and Networking Symposium GIIS 2012, Choroni (Venezuela), 17-19 December 2012, 6p.

S.INDRA, V.ALBERT, L.TRAVE-MASSUYES, Developing a testbed for spacecraft fault diagnosos research, Workshop on Simulation for European Space Programmes (SESP 2012), Noordwijk (Pays Bas), 25-27 Septembre 2012, 8p.

J.XIONG, C.JAUBERTHIE, L.TRAVE-MASSUYES, New computation aspects for existing interval Kalman filtering and application, 15th IFAC Workshop on Control Applications of Optimization, Rimini, Italy, September 13-16 2012.

L.TRAVE-MASSUYES, Bridging technologies for diagnosis (Invited Plenary talk), Plenary 8th IFAC Symposium on  Fault Detection, Supervision and Safety of Technical Processes SAFEPROCESS’12, Mexico City, Mexique, 29-31 Août 2012.

M.MAIGA, E.CHANTHERY, L.TRAVE-MASSUYES, Hybrid system diagnosis: test of the diagnoser HYDIAG on a benchmark of the international diagnostic competition DXC'2011, 8th IFAC Symposium on  Fault Detection, Supervision and Safety of Technical Processes SAFEPROCESS’12, Mexico City, Mexique, 29-31 Août 2012.

J.I.VENTO MALDONADO, V.PUIG, R.SARRATE-ESTRUCH, L.TRAVE-MASSUYES, Fault detection and isolation of hybrid systems using diagnosers that reason on components, 8th IFAC Symposium on  Fault Detection, Supervision and Safety of Technical Processes SAFEPROCESS’12, Mexico City, Mexique, 29-31 Août 2012.

R.PONS, A.SUBIAS, L.TRAVE-MASSUYES, Hybrid causal model based diagnosis, 8th IFAC Symposium on  Fault Detection, Supervision and Safety of Technical Processes SAFEPROCESS’12, Mexico City, Mexique, 29-31 Août 2012.

N.VERDIERE, C.JAUBERTHIE, L.TRAVE-MASSUYES, Fault detection and identification relying on SM identifiability, 8th IFAC Symposium on  Fault Detection, Supervision and Safety of Technical Processes SAFEPROCESS’12, Mexico City, Mexique, 29-31 Août 2012.

S.INDRA, L.TRAVE-MASSUYES, E.CHANTHERY, Decentralized diagnosis with isolation on request for spacecraft, 2012-03-15, 7p., 8th IFAC Symposium on  Fault Detection, Supervision and Safety of Technical Processes SAFEPROCESS’12, Mexico City, Mexique, 29-31 Août 2012.

C.JAUBERTHIE, N.VERDIERE, L.TRAVE-MASSUYES, Set-membership identifiability and guaranteed parameter estimation for nonlinear uncertain dynamical systems, IFAC Symposium on System Identification (SYSID 2012), Bruxelles (Belgique), 11-13 Juillet 2012, pp.434-439.

M.ALVAREZ DE LA CONCEPCION, A.SUBIAS, L.TRAVE-MASSUYES, L.GONZALEZ-ABRIL, J.A.ORTEGA, An extended chronicle discovery approach to find temporal patterns between sequences, International Conference on Energy Efficiency and Sustainability in Ambient Intelligence (JARCA 2012), Tarragona (Espagne), 25-27 Juin 2012, 2p.

R.PONS, A.SUBIAS, L.TRAVE-MASSUYES, Hybrid causal model based diagnosis. Application to automotive embedded functions, Embedded Real Time Software and Systems Conference (ERTS2 2012), Toulouse (France), 1-3 Février 2012, 4p.

C.JAUBERTHIE, N.VERDIERE, L.TRAVE-MASSUYES, Set-membership identifiability: definitions and analysis, World IFAC Congress (IFAC 2011), Milan (Italie), 28 Août - 2 Septembre 2011, pp.12024-12029.

S.INDRA, L.TRAVE-MASSUYES, E.CHANTHERY, A decentralized FDI scheme for spacecraft: bridging the gap between model based FDI research & practice, European Conference for Aerospace Sciences (EUCASS 2011), Saint Petersbourg (Russie), 4-8 Juillet 2011, 15p.

M. HOHBAUR, L.TRAVE-MASSUYES , T. RIENMULLER, M. BAYOUDH, Overcoming non discernibility through mode-sequence analytic redundancy in hybrid diagnosis and estimation. International Workshop on Principles of Diagnosis (DX 10), Portland (USA), 13-16 Octobre 2010, pp.71-78.

A.SUBIAS , E.EXPOSITO , C.CHASSOT , L.TRAVE-MASSUYES , K.DRIRA, Self-adapting strategies guided by diagnosis and situation assessment in collaborative communicating systems. Rapport LAAS N°10471, International Workshop on Principles of Diagnosis (DX 10), Portland (USA), 13-16 Octobre 2010, pp.329-336.

V.ALBERT , F.ARMANDO , M.BAYOUDH , F.PERROT , L.TRAVE-MASSUYES, Sparkles for the validation models for communicating hybrid systems. Rapport LAAS N°10210, International Conference of Modeling and Simulation ( MOSIM'10), Hammamet (Tunisie), 10-12 Mai 2010, 9p.

M. Bayoudh, L. Travé-Massuyès, X. Olive, On-line Analytic Redundancy Relations Instantiation Guided by Component Discrete-Dynamics for a Class of Non-Linear Hybrid Systems, accepted for the 48th IEEE Conference on Decision and Control CDC’09, Shanghai, P.R. China, December 16-18, 2009.

F . Perrot, L. Travé-Massuyès, Making use of Problem Structure in Static and Dynamic Constraint-Based Diagnosis, 7th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes SAFEPROCESS’09, Barcelona, Spain, June 30-July 3, 2009, 6p.

J. Quevedo, V. Puig, T. Escobet, R. Sarrate, F. Nejjari and L. Travé-Massuyès, The Contribution of Interval-based Models to Complex Systems Fault Detection Problems, 7th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes SAFEPROCESS’09, Barcelona, Spain, June 30-July 3, 2009, 6p.

Armengol, J., Bregon, A., Escobet, T., Gelso, E., Krysander, M., Nyberg, M., Olive, X., Pulido, B. Travé-Massuyès, L., Minimal Structurally Overdetermined sets for residual generation: A comparison of alternative approaches, 7th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes SAFEPROCESS’09, Barcelona, Spain, June 30-July 3, 2009, 6p.

X. Olive, M. Bayoudh, L. Travé-Massuyès,  Mixing Diagnosis Techniques for Autonomous Satellite FDIR, 7th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes SAFEPROCESS’09, Barcelona, Spain, June 30-July 3, 2009, 6p.

X. Pucel, L. Travé-Massuyès, Y. Pencolé, Another point of view on diagnosability, 7th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes SAFEPROCESS’09, Barcelona, Spain, June 30-July 3, 2009, 6p.

M.BAYOUDH , L.TRAVE-MASSUYES, An algorithm for active diagnosis of hybrid systems casted in DES framework. 2nd IFAC Workshop on Dependable Control of Discrete Systems, June 10-12 2009, Bari, Italy, 6p.

M.BAYOUDH , L.TRAVE-MASSUYES , X.OLIVE, Active diagnosis of hybrid systems guided by diagnosability properties. 7th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes SAFEPROCESS’09, Barcelona, Spain, June 30-July 3, 2009, 6p.

M.BAYOUDH , L.TRAVE-MASSUYES , X.OLIVE, Diagnosis of a class of non linear hybrid systems by on-line instantiation of parameterized analytic redundancy relations, 20th International Workshop on Principles of Diagnosis DX'09, Stockolm, Sweden, June 14-17, 2009, 6p.

T.RIENMULLER, M. BAYOUDH, M.W.HOFBAUR, L.TRAVE-MASSUYES, Hybrid estimation through synergic mode-set focusing., 7th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes SAFEPROCESS’09, Barcelona, Spain, June 30-July 3, 2009, 6p. Also in Proc. of the 20th International Workshop on Principles of Diagnosis (DX-09), Stockholm (Suède), 14-17 Juin 2009, 7p.

M.O.CORDIER , Y.PENCOLE , L.TRAVE-MASSUYES , T.VIDAL, 16e congrès francophone AFRIF-AFIA Reconnaissance des Formes et Intelligence Artificielle, 22-25 january 2008, Amiens,10p.

X. Pucel, L. Travé-Massuyès, Y. Pencolé, Another point of view on diagnosability. 4th European Starting AI Researcher Symposium STAIRS 08, Patras, Greece, July 2008, 179-183. ; 19th International Workshop on Principles of Diagnosis (DX-08), Blue Mountains, Australia, 22-24 September 2008.

WS-DIAMOND TEAM. Self-healing Web Services in the WS-DIAMOND project. e-Challenges (e-2008), Stockolm, Sweden, 22-24 october 2008.

M.O. Cordier, Y. Pencole, L. Travé-Massuyès, T. Vidal (in alphabetical order), Characterizing and checking self-healability, European Conference on Artificial Intelligence ECAI 08, Patras, Greece, July 2008, 789-790 (Poster).

E. Bénazéra, L. Travé-Massuyès, Generating diagnoses from conflict sets with continuous attibutes. European Conference on Artificial Intelligence ECAI 08, Patras, Greece, July 2008, 179-183. ; 19th International Workshop on Principles of Diagnosis (DX-08), Blue Mountains, Australia, 22-24 September 2008.

Interval analysis based learning for fault model identification. Application to control surfaces oscillatory failures. 19th International Workshop on Qualitative Reasoning QR-08, Boulder, Colorado, USA, June 24-26 2008.

R. Pons, C. Jauberthie, L.Travé-Massuyès, P.Goupil, Control surfaces oscillatory failures identification using interval analysis. Rapport LAAS N°08288, Juin 2008, 7p. 19th International Workshop on Principles of Diagnosis (DX-08), Blue Mountains, Australia, September 2008, 22-24.

M. Bayoudh, L. Travé-Massuyès, X. Olive, Coupling continuous and discrete event system techniques for hybrid system diagnosability analysis. European Conference on Artificial Intelligence ECAI 08, Patras, Greece, July 2008,  219-223.

M.Bayoudh, L. Travé-Massuyès, X.Olive, Toward active diagnosis of hybrid systems. 19th International Workshop on Principles of Diagnosis (DX-08), Blue Mountains, Australia, 22-24 September 2008, 7p.

M. Bayoudh, L. Travé-Massuyès, X. Olive, Hybrid systems diagnosis by coupling continuous and discrete event techniques. 17th IFAC World Congress, Séoul (Corée), 6-11 July 2008, pp.7265-7270.

L. Ardissono, S. Bocconi, C. Cappiello, L.Console, M.O.Cordier, J.Eder, G.Friedrich, M.G. Fugini, R. Furnari, A. Goy, K. Guennoun, V. Ivanchenko, X. le Guillou, S. Modafferi, E.Mussi, Y. Pencole, G. Petrone, B. Pernici, C. Picardi, F. Ramoni, X. Pucel, M. Segnan, A. Subias, D. Theseider Dupré, L. Travé-Massuyès, T. Vidal, WS-DIAMOND: an approach to web services - DIAgnosability, MONitoring and Diagnosis. European Research Consortium for Informatics and Mathematics (ERCIM), Vol.70, pp.25-26, Juillet 2007, eChallenges (e-2007), La Hague (Pays Bas), 24-26 Octobre 2007, 9p.,

L. Ardissono, S. Bocconi, C. Cappielo, L. Console, M.O. Cordier, J. Eder, G. Friedrich, M.G. Fugini, R. Furnari, A. Goy, K. Guennoun, V. Ivanchenko, X. Le Guillou, S. Modafferi, E. Mussi, Y. Pencole, G. Petrone, B. Pernici, C. Picardi, F. Ramoni, X. Pucel, M. Segnan, A. Subias, D. Theseider-Dupre, L. Travé-Massuyès, T. Vidal, WS-DIAMOND: an approach to web services - DIAgnosability, MONitoring and Diagnosis, Rapport LAAS No07765, European Research Consortium for Informatics and Mathematics (ERCIM), Vol.70, pp.25-26, Juillet 2007, eChallenges (e-2007), La Hague (Pays Bas), Octobre 2007, 9p.

L. Ardissono, S. Bocconi, C. Cappielo, L. ConsolE, M.O. Cordier, J. Eder, G. Friedrich, M.G. Fugini, R. Furnari, A. Goy, K. Guennoun, V. Ivanchenko, X. Le Guillou, S. Modafferi, E. Mussi, Y. Pencole, G. Petrone, B. Pernici, C. Picardi, F. Ramoni, X. Pucel, M. Segnan, A. Subias, D. Theseider-Dupre, L. Travé-Massuyès, T. Vidal, WS-DIAMOND web services - DIAgnosability, MONitoring and Diagnosis, 18th International Workshop on  Principles of Diagnosis (DX'07) , Nashville ( USA ), May 29-31, 2007, pp.243-250.

P.Ribot , C.Jauberthie , L. Travé-Massuyès, State estimation by interval analysis for a nonlinear differential aerospace model, European Control Conference (ECC'07), Kos (Grèce), 2-5 Juillet 2007, pp.4839-4844.

L. Travé-Massuyès, G. Calderon-Espinoza, Timed fault diagnosis, 1) 20th International Joint Conference on Artificial Intelligence IJCAI’07, Workshop on Spatial and Temporal Reasoning, January 2007, Hyderabad, India ; 2) European Control Conference 2007 (ECC 07), Kos, Greece 2-5 July 2007, pp.2272-2279.

M.O. Cordier , Y. Pencolé, L. Travé-Massuyès, T.Vidal (in alphabetical order), Self-healablity = diagnosability + repairability, 18th International Workshop on Principles of Diagnosis (DX-07), Nashville (USA), 29-31 Mai 2007, pp.251-258.

M. Bayoudh , L. Travé-Massuyès, X. Olive, State tracking in the hybrid space, 18th International Workshop on Principles of Diagnosis (DX-07), Nashville (USA), 29-31 Mai 2007, pp.221-228.

X. Pucel , S. Bocconi, C. Picardi, D. Theseider Dupre, L. Travé-Massuyès, Diagnosability analysis for web services with constraint-based models, 18th International Workshop on Principles of Diagnosis (DX'07), Nashville (USA), 29-31 Mai 2007, pp.360-367.

E.Bénazéra , L. Travé-Massuyès, A diagnosis driven self-reconfigurable filter, 18th International Workshop on Principles of Diagnosis (DX-2007), Nashville (USA), 29-31 Mai 2007, pp.21-28.

F. Perrot, L. Travé-Massuyès, Choosing abstractions for hierarchical diagnosis, 1) 18th International Workshop on Principles of Diagnosis (DX-2007), Nashville (USA), 29-31 Mai 2007, pp. 354-359 ; 2) 18th International Workshop on Qualitative Reasoning QR-07, Aberystwyth (UK), June 27-29, 2007.

T. Kempowsky, A. Subias, J. Aguilar Martin, L. Travé-Massuyès, A discrete event model for situation awareness purposes, 6th IFAC Symposium on  Fault Detection, Supervision and Safety of Technical Processes SAFEPROCESS’06, Beijing, P.R. China, 29 Août – 1er Septembre 2006.

L. Travé-Massuyès, M.O. Cordier, X. Pucel, Comparing diagnosability in CS and DES, 17th International Workshop on Principles of Diagnosis DX'06, Aranda de Duero (Spain), June 26-28, 2006, pp. 55-60 ; also in the 6th IFAC Symposium on  Fault Detection, Supervision and Safety of Technical Processes SAFEPROCESS’06, Beijing, P.R. China, August 29-September 1, 2006.

H. Ressencourt, L. Travé-Massuyès, J. Thomas, Hierarchical modelling and diagnosis for embedded systems, 17th International Workshop on Principles of Diagnosis DX'06, Aranda de Duero (Spain), June 26-28, 2006, pp. 235-242 ; also in the 6th IFAC Symposium on  Fault Detection, Supervision and Safety of Technical Processes SAFEPROCESS’06, Beijing, P.R. China, August 29-September 1, 2006.

M. Bayoudh, L. Travé-Massuyès, X. Olive, Hybrid systems diagnosability by abstracting faulty continuous dynamics, 17th International Workshop on Principles of Diagnosis DX'06, Aranda de Duero (Spain), June 26-28, 2006, pp. 9-15.

G. Dumont d’Ayot, L Travé-Massuyès, J. Aguilar-Martin, Cooperation and cognitive evaluation of artificial agents for supervision, 2nd International Conference on Machine Intelligence ACIDCA-ICMI’05, Tozeur, Tunisia, 5-7 November 2005.

S. Cauvin, B. Celse, B. Heim, S. Gentil, L. Travé-Massuyès, Model based diagnosis module for a FCC pilot plant,  ERTC Computing Conference, Londres (GB), 17-19 Mai 2004, 11p.

E. Bénazéra, L. Travé-Massuyès, Identifying Model-Based Reconfiguration Goals through Functional Deficiencies,  15th International Workshop on Principles of Diagnosis (DX'04), Carcassonne (France), 11-14 Juin 2004, pp. 81-86.

S. Spanache, T. Escobet , L. Travé-Massuyès, Sensor placement optimisation using genetic algorithms, 15th International Workshop on Principles of Diagnosis (DX'04), Carcassonne (France), 11-14 Juin 2004, pp. 179-184.

X. Olive, L. Travé-Massuyès, J. Thomas, Complementing and interval based diagnosis method with sign reasoning in the automotive domain, 5th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes SAFEPROCESS'2003, Washington (USA), 9-11 Juin 2003, pp.615-620.

L. Travé-Massuyès, T. Escobet, S. Spanache, Diagnosability analysis based on component supported analytical redundancy relations, 5th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes SAFEPROCESS'2003, Washington (USA), 9-11 Juin 2003, pp.897-902.

S. Tornil, , T. Escobet, L. Travé-Massuyès, Robust fault detection using interval models, 12th European Control Conference ECC’03, Cambridge, UK, 2003.

B. Heim, S. Gentil, B. Celse, S. Cauvin, L. Travé-Massuyès, FCC diagnosis using several causal and knowledge based models, 5th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes SAFEPROCESS'2003, Washington (USA), 9-11 Juin 2003, pp.711-716

E. Bénazéra, L. Travé-Massuyès, The consistency approach to the on-line prediction of hybrid system configurations, IFAC Conference on Analysis and Design of Hybrid Systems (ADHS'03), Saint-Malo (France), 16-18 Juin 2003, 6p.

X. Olive, L. Travé-Massuyès, H. Poulard, AO* variant methods for automatic generation of near-optimal diagnosis trees, 14th International Workshop on Principles of Diagnosis (DX'03), Washington (USA), 11-14 Juin 2003, pp.169-174.

P. Ponsa, A. Catala, L. Travé-Massuyès, M. Diaz, Assessing Human Supervision strategies with qualitative reasoning techniques, 15th IFAC World Congress on Automatic Control, Barcelona, Spain, 21-26 July 2002.

B. Heim, S. Gentil. S. Cauvin, L. Travé-Massuyès, B. Braunschweig, Fault diagnosis of a chemical process using causal uncertain model, Workshop PAIS Prestigious Applications of Intelligent Systems, 15th European Conference on Artificial Intelligence, juillet 2002, Lyon, France.

E. Bénazéra, L. Travé-Massuyès, P. Dague, State Tracking of Uncertain Hybrid Concurrent Systems, 13th DX Workshop on  Principles of Diagnosis, Semmering, Austria, 2-4 May 2002, pp. 106-114.

T . Escobet, L. Travé-Massuyès, S. Tornil, J. Quevedo, Fault detection of a gas turbine fuel actuator based on qualitative causal models, European Control Conference ECC'01, Porto (Portugal), 4-7 Septembre 2001, 2741-2746.

L. Travé-Massuyès, T . Escobet, R. Milne, Model-based diagnosability and sensor placement. Application to a frame 6 Gas turbine sub-system, 7th International Joint Conference on Artificial Intelligence IJCAI'01, Seattle (USA), 4-10 Août 2001, pp.551-556 ; also in 12th International Workshop on Principles of Diagnosis DX'01, Sansicario, Via Lattea (Italie), 7-9 Mars 2001, pp.205-212.

L. Travé-Massuyès, T . Escobet, R. Milne, Model-based diagnosability and sensor placement. Application to a frame 6 Gas turbine sub-system, 12th International Workshop on Principles of Diagnosis DX'01, Sansicario, Via Lattea (Italie), 7-9 Mars 2001, pp.205-212.

J. Armengol, J. Vehi, L.Travé-Massuyès, M.A. Sainz, Application of multiple sliding time windows to fault detection based on interval models, 12th International Workshop on Principles of Diagnosis DX'01, Via Lattea (Italie), 7-9 Mars 2001, pp.9-16.

M.O. Cordier. P. Dague,  M. Dumas, F. Levy, Y. Montmain, M. Staroswiecki, L. Trave-Massuyes (in alphabetical order), AI and Automatic Control Approaches of Model-Based Diagnosis : Links and Underlying Hypotheses, IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes SAFEPROCESS 2000, Budapest, Hungary, June 2000, pp. 274-279.

M.-O. Cordier, P. Dague, M. Dumas, F. Levy, J. Montmain, Staroswiecki M., Travé-Massuyès L. (in alphabetical order), A comparative analysis of AI and control theory approches to model-based diagnosis, 14th European Conference on Artificial Intelligence ECAI’00, Berlin, Germany, August 20-25, 2000.

J. Armengol, J. Vehi, L.Travé-Massuyès, M.A. Sainz, Interval model-based fault detection using multiple sliding time windows.  4th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes SAFEPROCESS 2000, pp. 168 -173. Budapest, Hungary, 2000.

R. Milne, C. Nicol, L.Travé-Massuyès, Tiger with Model Based Diagnosis: Initial Deployment, In: Applications an Innovations in Intelligent Systems VIII, Ann Macintosh and Mike Moulton and Frans Coenen (eds), pp. 181-196, ISBN 1-85233-402-9, 2000, Springer-Verlag, London, Proc. of The Experts Systems Conference ES 2000, Cambridge, England, December 2000. Best Paper Award from the Specialist Group on Knowledge-Based Systems and Applied Artificial Intelligence (SGES).

J. Armengol, L.Travé-Massuyès, J. Vehi, J. Lluis De La Rosa, A survey on interval model simulators and their properties related to fault detection, 14th IFAC World Congres, vol. O, pp. 511 – 519, Beijing, China, 1999.

J. Armengol, L.Travé-Massuyès, J. Vehi, M.A. Sainz, Semiqualitative simulation using modal interval analysis. New perspectives for imprecise model-based fault detection, Rapport LAAS N°98327, Juillet 1999, 16p., in Proc. of 14th IFAC World Congres, vol,. O, pp. 521 – 526, Beijing, China, 1999.

T. Escobet, J. Quevedo, S. Tornil, L. Travé-Massuyès, Integration of Dynamic Models in a Gas Turbine Supervision Control, 7th IEEE International Conference on Emerging Technologies and Factory Automation ETFA '99. Barcelona, Oct. 1999.

L. Travé-Massuyès, S. Gentil, Artificial intelligent approaches for supervision and alarm interpretation in industrial environements, European Control Conference ECC’99, Karlsruhe, Germany, August 1999.

J. Armengol, L.Travé-Massuyès, J. Vehi, M.A. Sainz, Generation of Error-Bounded Envelopes Using Modal Interval Analysis, in Proc. of Int. Workshop on Principles of Diagnosis DX’99 (ISBN: 0 903878 55 0), pp. 20-26, Loch Awe, Scotland, June 1999.

P.Ph Faure, L.Travé-Massuyès, H. Poulard, An interval-based approach for diagnosis tree generation, in Proc. of 10th Int. Workshop on Principles of Diagnosis DX’99 (ISBN: 0 903878 55 0), pp. 78-89, Loch Awe, Scotland, June 1999.

R. Pons, L.Travé-Massuyès, M. Porcheron, Model-based diagnosis and maintenance of time-varying dynamic systems, in 10th Proc. of Int. Workshop on Principles of Diagnosis DX’99 (ISBN: 0 903878 55 0), pp. 211-219, Loch Awe, Scotland, June 1999.

J. Armengol, J. Vehi, J. Lluis De La Rosa, L.Travé-Massuyès, On modal interval analysis for envelope determination within the Ca~En qualitative simulator, 7th International Conference on Information Processing and Management of Uncertainty in Knowledge-based Systems IPMU’98, Paris (France), 6-8 Juillet 1998, pp.110-117, ISBN 2-84254-013-1.

M. Lafon, J. Pastor, L.Travé-Massuyès, Qualitative modeling of cerebral information propagation mechanisms, 4th Joint Conference INBS-IEEE Conference, San Francisco, 1998.

L. Travé-Massuyès, R. Milne, Gaps between research and industry related to model based and qualitative reasoning, ECAI'98 workshop on "Model Based Systems and Qualitative Reasoning", Brighton (UK), August 23-28, 1998.

M. Lafon, J. Pastor, L. Travé-Massuyès, B. Doyon, J.F. Demonet, P. Celsis, Qualitative modeling of cerebral information propagation mechanisms, 3rd International Conference on Computational and Neurosciences, Research Triangle Park (USA), 22-26 Octobre 1998, Vol.2, pp.21-23

R. Milne, L.Travé-Massuyès, Model-based aspects of the TIGER gas turbine condition monitoring system, IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes SAFEPROCESS’97, Hull, UK, pp. 420-425, 1997.

I.Servet, L.Travé-Massuyès, D.Stern, Evolutionary computation techniques for telephone networks traffic supervision based on a qualitative stream propagation model, Int. Conf. on Artificial Networks and Genetic Algorithms ICANNA, Norwich, UK, 4p, 1997.

I. Servet, L. Travé-Massuyès, D. Stern, Traffic supervision based on a one-moment model of telephone networks built from qualitative knowledge, 1) CESA’96 IMACS/IEEE Multiconférence Sumposium, Villeneuve d’Ascq, France, 1996, pp. 1073-1078 ; 2) TEMPUS Symposium on Qualitative Systems Modelling, Qualitative Fault Diagnosis and Fuzzy Logic and Control, Budapest, Hungary, 1996.

R. Milne, L.Travé-Massuyès, J. Quevedo, TIGER : numeric and qualitative model-based diagnosis, 13th IFAC World Congress (IFAC’96), San Francisco, USA, pp. 127-132, 1996.

L. Travé-Massuyès, R. Milne, Diagnosis of Dynamic Systems based on Explicit and Implicit Behavioural Models: An application to Gas Turbines in Esprit Project TIGER, IJCAI Workshop on Second Engineering Problems for Qualitative Reasoning, Montréal, Québec, 1995, pp. 1-17 ; also in the Fifth Scandinavian Conference on Artificial Intelligence SCAI’95, Tronheim, Norway,  1995 (invited), pp. 169-183.

R. Milne, C. Nicol, L. Travé-Massuyès, J. Quevedo, TIGER : Knowledge based Gas Turbine Condition Monitoring, Expert Systems Conference ES’95, Cambridge, UK, 1995, (Award of the Best Application Paper).

K. Bousson, L. Travé-Massuyès, Putting more Numbers in the Qualitative Simulator CA-EN, International Conference on Intelligent Systems Engineering, Hamburg-Harburg, Germany, pp. 62-69, 1994.

A.Missier, S.Xanthakis, L.Travé Massuyès, Qualitative algorithmics using order of growth reasoning, 11th European Conference on Artificial Intelligence ECAI’94, Amsterdam (Pays-Bas), pp.750-754, 1994.

K. Bousson, L. Travé-Massuyès, The CA-EN predictor: a causal and constraint-based qualitative simulator, European Simulation Multiconference, Barcelone (Espagne), 1-3 Juin 1994 , pp. 514-518.

K. Bousson, L. Zimmer, L. Travé-Massuyès, Causal Model-Based Diagnosis of Dynamic Systems, 5th International Workshop on Principles of Diagnosis, New Paltz, (NY), USA, 1994, pp. 34-41.

K. Bousson, L. Travé-Massuyès, Fuzzy Causal Simulation in Process Engineering, 13th International Joint Conference on Artificial Intelligence IJCAI’93, Chambéry, France, 1993, pp. 1536-1541.

K. Bousson, F. Guerrin, L. Travé-Massuyès, Qualitative Prediction and Interpretation for Bioprocess Supervision, International Conference on Fault Diagnosis, TOOLDIAG’93, Toulouse, France, 1993, pp. 1044-1953.

K. Bousson, L. Travé-Massuyès, J. Aguilar-Martin, Causal Qualitative Representation of Dynamical Systems, 2nd European Control Conference ECC’93, Groningen, The Netherlands, 1993, pp. 1769-1773.

A. Missier L. Zimmer, P. Jezequel, L. Travé-Massuyès, The Qualitative Simulator SQUALE, International Conference on Fault Diagnosis, TOOLDIAG’93, Toulouse, France, 1993, pp. 1054-1062.

R. Milne, L. Travé-Massuyès, Real Time Model Based Diagnosis of Gas Turbines, International Conference on Artificial Intelligence in Engineering AIENG’93, Toulouse, France, 1993.

M. Vescovi, L. Travé-Massuyès, M.M. Lamego, C. Dalvi, E.P. Ferreira, Qualitative (or fuzzy) Simulation of Complex Continuous Processes: Fitting Information Availability and Accuracy Requirements, International Conference on Artificial Intelligence in Engineering AIENG’93, Toulouse, France, 1993.

L. Travé-Massuyès, A. Missier, S. Xanthakis, Qualitative Reasoning and Software Quality, 3rd International Conference on Software Quality, Lake Tahoe, CA, USA, 1993.

P. Danès, L. Travé-Massuyès, J. Aguilar-Martin, A Generic Method for Computing the Response of a Numerically-Known Dynamic System to Qualitative Inputs, IEEE Systems, Man and Cybernetics International World Conference, Le Touquet, France, 1993, pp. 187-192.

K. Bousson, L. Travé-Massuyès, A computational causal model for process supervision, IFAC International Symposium on « Artificial Intelligence in Real-Time Control, Delft, Holland, 1992, pp. 183-189.

K. Boussson, L. Travé-Massuyès, Formalizing expertise qualitative operators, 10th European Conference on Artificial Intelligence ECAI-92, Vienna, Austria, 1992, pp. 694-698.

K. Bousson, L. Travé-Massuyès, Modeling perspective for qualitative simulation, IFAC International Symposium on « Intelligent Components and Instruments for Control Applications », Malaga, Espagne, 1992, pp. 583-588.

F. Guerro, K. Bousson, J.Ph. Steyer, L. Travé-Massuyès, Qualitative Reasoning methods for CELSS modeling, World Space Congress, Seattle, USA, 1992.

N. Piera, M. Sanchez, L. Travé-Massuyès, Qualitative operators for order of magnitude calculus : Robustness and precision, 13th IMACS World Congress on Computation and Applied Mathematics, Dublin, Irland, 1991, pp. 1741-1742.

A. Missier, L. Travé-Massuyès, Temporal information in qualitative simulation, 2nd Annual Conference on AI, Simulation and Planning in High Autonomy Systems, Floride, USA, 1991 pp. 298-305.

L. Travé-Massuyès, Qualitative Reasoning : French applications in process supervision, IMACS-MCTS Symposium on Modelling and Control of Technological Systems, Lille, France, 1991 (invited talk), pp. 745-750.

A. Missier, L. Travé-Massuyès, Gestion du temps en simulation qualitative, European Control Conference ECC’91, Grenoble, France, 1991, pp. 1236-1240.

L. Travé-Massuyès, Qualitative reasoning from different aspects and potential applications to decision support systems, IMACS International Workshop on Decision Support Systems and Qualitative Reasoning, Toulouse, France, 1991 (invited).

L. Travé-Massuyès, A. Missier, N. Piera, Qualitative models for automatic control process supervision, IFAC World Congress, Tallinn, Estonia, 1990, pp. 198-203.

L. Travé, Qualitative pole assignability under structurally constrained control, IFAC/IFORS/IMACS Symposium on Large Scale Systems : Theory and Application, Berlin, Germany, 1989.

N. Piera, L. Travé-Massuyès, About qualitative equality : axioms and properties, 9th International Workshop on Expert Systems and their Applications, Avignon, France, 1989.

L.Travé-Massuyès, N. Piera, The order of magnitude models as qualitative algebras, 11ème International Joint Conference on Artificial Intelligence IJCAI’89, Detroit (MI), USA, 1989.

L. Travé-Massuyès, N. Piera, A. Missier, What can we do with qualitative calculus today?, IFAC/IMACS/IFORS International Symposium on Advanced Information Processing in Automatic Control, Nancy, France, 1989.

L. Travé, Qualitative pole assignability in decentralized control, IFAC/IMACS International Symposium on Distributed Intelligent Systems, Varna, Bulgarie, 1988.

L. Travé, J.L. Dormoy, Qualitative calculus and applications, 12th IMACS World Congress on Scientific Computation, Paris, France, 1988, pp. 53-61.

L. Travé, A. Titli, Sequential determination of minimal feedback patterns avoiding structurally fixed modes, 25th IEEE Conference on Decision and Control, Athens, Greece 1986.

L. Travé, E. Kaszkurewicz, Qualitative controllability and observability of linear dynamical systems, 4th IFAC/IFORS Symposium, Large Scale Systems : Theory and Applications, Zurich, Switzerland, 1986.

L. Travé, A.M. Tarras, A. Titli, Some problems in decentralized control in presence of fixed modes, 9th IFAC World Congress, Budapest, Hungary, 1984.

INTERNATIONAL CONFERENCES WITH LIMITED DIFFUSION PROCEEDINGS

L.TRAVE-MASSUYES, Integration of different facets of diagnosis from control and AI, International Congress of Engineering Mechatronics and Automation (CIIMA) 2013  du 23 octobre au 25 octobre 2013, Bogota (Colombie), Octobre 2013, 12p (Invited Conférence).

M. MAIGA, N. RAMDANI, L. Travé-Massuyès, Improvements on flow/guard intersection for nonlinear hybrid reachability, 6th Small Workshop on Interval Methods SWIM 2013, Brest, France June 5-7, 2013.

M.MAIGA, N.RAMDANI, L.TRAVE-MASSUYES, First results on nonlinear hybrid reachability combining interval Taylor method and IBEX library, Small Workshop on Interval Methods (SWIM 2012), Oldenburg (Allemagne), 4-6 Juin 2012, 46p.

X. Pucel, L. Travé-Massuyès, Y. Pencolé, Another point of view on diagnosability, 4th European Starting AI Researcher Symposium STAIRS-08, Patras, Greece, July 2008.

L. Ardissono , S. Bocconi , C. Cappielo, L. Console , M.O. Cordier, J. Eder, G. Friedrich, M.G. Fugini, R. Furnari, A. Goy, K. Guennoun, V. Ivanchenko, X. Le Guillou, S. Modafferi, E. Mussi, Y. Pencole, G. Petrone, B. Pernici, C. Picardi, F. Ramoni, X. Pucel, M. Segnan, A. Subias, D. Theseider-Dupre, L. Travé-Massuyès, T. Vidal, WS-DIAMOND: Web Services – DIAgnosability, MONitoring and Diagnosis. Fifth Summer School on Ontological Engineering and the Semantic Web (SSSW'07) , Cercedilla , Spain , July 8-14, 2007.

R. Pons, C. Jauberthie, L. Travé-Massuyès, P. Goupil, Interval analysis based learning for fault model identification. Application to control surfaces oscillatory failures. 22nd International Workshop on Qualitative Reasoning QR-08, Boulder, CO (USA), June 24-26, 2008, 115-122.

M. Bayoudh , L. Travé-Massuyès, Diagnostic à base de modèles hybrides. Etude de la propriété de diagnosticabilité du système multimode sous-jacent, 8ème Congrès des Doctorants de l'Ecole Doctorale Systèmes (EDSYS 2007), Albi (France), 10 Mai 2007, 6p.

M. Perrot , L. Travé-Massuyès, Sur le choix des abstractions pour le diagnostic hiérarchique, 8ème Congrès des Doctorants de l'Ecole Doctorale Systèmes (EDSYS 2007), Albi (France), 10 Mai 2007, 6p.

A. Subias, L. Travé-Massuyès, Discriminating qualitative model generation from classified data, 17th International Workshop on Qualitative Reasoning QR-06, Hanover, NH (USA), July 10-12, 2006.

C. J. Price 1, L. Travé-Massuyès, R. Milne, L. Ironi, B. Bredeweg, M. H. Lee, P. Struss, N. Snooke, P. Lucas, M. Cavazza, Visions for Model-based Reasoning, 2nd MONET Workshop on Model-Based Systems during IJCAI’05, Edinburgh (GB) , 30 Juillet - 1er Août 2005, 6p.

C. J. Price 1, L. Travé-Massuyès, R. Milne, L. Ironi, B. Bredeweg, M. H. Lee, P. Struss, N. Snooke, P. Lucas, M. Cavazza, Qualitative Futures, 19th International Workshop on Qualitative Reasoning (QR-05), Graz (Autriche), 18-20 Mai 2005, 9p.

X. Olive, L. Travé-Massuyès, H. Poulard, J. Thomas, Complementing an Interval Based Diagnosis method with Sign Reasoning in the Automotive Domain, in Proc. of 17th Int. Workshop on Qualitative Reasoning QR’03, Brasilia, Brazil, August 2003.

L. Travé-Massuyès, F. Prats, M. Sanchez, N. Agell, Consistent relative and absolute order-of-magnitude models, In Working Notes of the 16th Int. Workshop on Qualitative Reasoning QR’02, Sitges, Spain, 10-12 June 2002, pp. 185-192.

T. Escobet, L. Travé-Massuyès, Parameter estimation methods for fault detection and isolation, Bridge Workshop Notes, Sansicario (I), March 5-9 2001.

E. Benazera, L. Travé-Massuyès, P. Dague, Hybrid model based diagnosis for autonomous spacecrafts, ESA Workshop on « On-board Autonomy », Noordwick (The Netherlands), pp. 279-286, 17-19 October 2001.

J. Armengol, L.Travé-Massuyès, J. Vehi, M.A. Sainz, Fault detection using interval models, 9th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics SCAN 2000 together with the International Conference on Interval Methods  in Science and Engineering Interval 2000, September 19-22, 2000, Karlsruhe, Germany.

L.Travé-Massuyès, F. Prats, M. Sanchez, N. Agell, J. Pastor, Qualitative agents for assessing human reasoning in process supervision, in Proc. of 13th Int. Workshop on Qualitative Reasoning QR’99 (ISBN : 0 903878 60 7), Loch Awe, Scotland, June 1999, pp. 221-230.

J. Armengol, J. Vehi, L.Travé-Massuyès, M.A. Sainz, Generation of error-bounded envelopes by means of Modal Interval Analysis. Workshop on Applications of Interval Analysis to Systems and Control with special emphasis on recent advances in Modal Interval Analysis MISC’99, Girona, Catalonia, Spain, 1999 , pp. 251-261.

L.Travé-Massuyès, R. Pons, Causal ordering for multiple mode systems, 11th Int. Workshop on  Qualitative Reasoning about Physical Systems QR’97, Cortona, Italy, 1997.

J. Pastor, L.Travé-Massuyès, J.F Demonet, B. Doyon, P. Celsis, BioCaen : A causal qualitative network for cerebral information propagation modeling, 11th Int. Workshop on Qualitative Reasoning about Physical Systems QR’97, Cortona, Italy, 1997.

M. Lafon, J. Pastor, L.Travé-Massuyès, BioCaen: A causal qualitative model simulator for cerebral dynamics, Workshop TEMPUS JEP 07759-MODIFY “ Automation 2001 ”, P. Gabko, P. Kopacek Eds, University of Technology of Vienna, pp. 61-70, 1997.

J. Pastor, L. Travé-Massuyès, B. Doyon, B. Lacotte, J-F. Demonet, Modelling the cerebral functional structure by a causal qualitative network, Second European Forum on Qualitative Reasoning, Barcelone, Spain, 1995.

R. Milne, L. Travé-Massuyès, Application Oriented Qualitative Reasoning, QR’93 Workshop, Orcas Island, (WA), USA, 1993.

M. Vescovi, L. Travé-Massuyès, A Constructive Approach to Qualitative Fuzzy Simulation, 6th Int. Workshop Qualitative Reasoning about Physical Systems QR’92, Edinburgh, UK, 1992, pp. 268-280.

L. Travé-Massuyès, Qualitative reasoning : Methods, tools and applications, 1st European Workshop on Qualitative Reasoning about Physical Systems, Genova, Italy, 1991.

 

NATIONAL CONFERENCES

M.A. Alvarez, A. Subias, L. Travé-Massuyès, L. González, J.A. Ortega, An extended chronicle discovery approach to find temporal patterns between sequences, XIV JORNADAS DE ARCA, 25-27 june 2012, SALOU (Tarragona, Spain), 51-54.

M.O. Cordier, Y. Pencole, L. Travé-Massuyès, T. Vidal (in alphabetical order), Diagnose what you will repair: characterizing and checking self-healability.16e Congrès Francophone AFRIF-AFIA. Reconnaissance des Formes et Intelligence Artificielle, Amiens (France), 21-25 Janvier 2008, 10p.

X. Pucel, S. Bocconi, C. Picardi, D. Theseider Dupré, L. Travé-Massuyès. Analyse de la diagnosticabilité des services web, Plateforme AFIA (Association Française d’IA), Workshop Artificial Intelligence and Web Intelligence (IAWI), July 2007, Grenoble, France, 5p.

S. Bocconi, C. Picardi, X. Pucel, D. Theseider Dupré, L. Travé-Massuyès. Model-based diagnosability analysis for web services. Advances in Artificial Intelligence (LNAI series) : 10th Congress of the Italian Association for Artificial Intelligence, Rome, Italy, 2007, 12p.

X. Olive, L. Travé-Massuyès, H. Poulard, Variantes de l'AO* pour générer automatiquement des arbres de diagnostic presque optimaux, 14ème Congrès Francophone AFRIF-AFIA de Reconnaissance des Formes & Intelligence Artificielle (RFIA'2004), Toulouse (France), 28-30 Janvier 2004, Vol.1, pp.407-415.

X. Olive, L. Travé-Massuyès, H. Poulard, Raisonnement sur les tendances en complément d'une méthode de diagnostic abductive par intervalle, Journées Doctorales d'Automatique (JDA'2003), Valenciennes (France), 25-27 Juin 2003, pp.35-40.

X. Olive, L. Travé-Massuyès, H. Poulard, Complementing an interval based diagnosis method with sign reasoning on an automotive subsystem, Workshop N°6 VIII Conferencia Iberoamericana de Intelligencia Artificial IBERAMIA'2002, Séville (Espagne), 12-15 Novembre 2002, 10p.

J. Quevedo, L. Travé-Massuyès, T. Escobet, S. Tornil, TIGER-SHEBA: Diagnòstic basat en models de turbines de gas, 2nd Investigacio Technologica Duran Farell Award, Universitat Politècnica de Catalunya, also LAAS-CNRS Internal Report n°02188, 2002 (in Catalan).

L. Travé-Massuyès, Supervision du trafic téléphonique, diagnostic et actions de gestion du trafic, Journées d'Etude "Automatique et Télécommunications", Bordeaux (France), 13-14 Mars 2001, 3p.

J. Armengol, L.Travé-Massuyès, J. Vehi, M.A. Sainz, Fault detection based on interval models and multiple sliding time windows, Journées Doctorales d’Automatique JDA’01 (Conference canceled but proceedings published), Toulouse, France, pp. 159-164.

PP. Faure, X. Olive, L. Travé-Massuyès, H. Poulard, AGENDA : Automatic generation of Diagnosis Trees, Journées Doctorales d’Automatique JDA’01 (Conference canceled but proceedings published), Toulouse, France, pp. 203-214.

L. Travé-Massuyès, T. Escobet, R. Pons, S. Tornil, The Ca-En diagnosis system and its automatic modelling method, In Proc. of Workshop on Diagnosis, Qualitative Reasoning and Socio-Economic Systems, C. Alonso and J.A. Ortega Editors, Valladolid, Spain, 4-6 July 2001, ISBN 84-95499-35-5.

E. Benazera, L. Travé-Massuyès, Un formalisme discret de modélisation pour le diagnostic réactif, Actes de la Conférence « Modélisation des Systèmes Réactifs » MSR’01, Toulouse, France, pp. 393-408, 17-19 October 2001, Eds G. Juanole, R. Valette, Hermès Science Publications, ISBN 2-7462-0329-4.

F. Dotto, L. Travé-Massuyès, P. Glize, Traffic routing in a switched telephone network by a multi-agent adaptive system, 2èmer Congrès Catalan d’Intelligence Artificielle CCIA’99, Girona, Espagne, 1999, pp. 330-339.

L.Travé-Massuyès, F. Prats, M. Sanchez, N. Agell, J. Pastor, A qualitative agent approach for assessing dynamic process human supervision, CCIA’98, 1er Congrès Catalan d’Intelligence Artificielle, 4p, 1998.

J. Armengol, L.Travé-Massuyès, J. Vehi, M.A. Sainz, Modal interval analysis for error-bounded semiqualitative simulation, CCIA’98, 1er Congrès Catalan d’Intelligence Artificielle, 4p, 1998, ISBN 2-84254-013-1.

L.Travé-Massuyès, J. Pastor, Modélisation par réseau causal qualitatif des mécanismes de propagation de l’information cérébrale, Journées Nationales PRC-IA, Grenoble (France), 19-21, 17p, 1997.

J. Armengol, L. Travé-Massuyès, J-Ll. de la Rosa, J. Vehí. Envelope generation for interval systems. Actas del seminario sobre técnicas cualitativas. VII Congreso de la Asociación Española para la Inteligencia Artificial (CAEPIA 1997), pp. 33-48. M. Toro (editor), Málaga, Spain, 12-14 Nov 1997.

S. Cauvin, M.O. Cordier, D. Dousson, G. Deflandre, P. Laborie, F.Levy, Y. Montmain, M. Porcheron, I. Servet, L.Travé-Massuyès (in alphabetical order), Surveillance et interprétation d’alarmes en milieu industriel, Actes des Journées Nationales du PRC-IA, 9-30, 1997, Hermès Editeur.

L. Travé-Massuyès, R. Milne, TIGERTM: gas turbine condition monitoring. Focus on the Ca-En qualitative model based system, Journées d'Etude sur les Logiciels pour le Traitement de l'Image, du Signal et l'Automatique (ELISA'97), Nancy (France), 25-26 Mars 1997, 13p.

J. Pastor, L. Travé-Massuyès, J-F. Demonet, Structure fonctionnelle cérébrale : un réseau causal qualitatif ? Acte des Assises PRESCOT, 42-43, Toulouse, France, 1994.

L. Travé-Massuyès, Le Raisonnement Qualitatif : Motivations et Tour d’Horizon du Domaine, 1er Congrès Biennal AFCET, Versailles, France, 1993 (invited), pp. 47-58.

P. Danès, L. Travé-Massuyès, J. Aguilar-Martin, Représentation Symbolique de la Réponse de Systèmes linéaires à des signaux définis sur des intervalles », GRETSI, Juan-Les-Pins, France, 1993, pp. 57-59.

L. Travé-Massuyès, K. Bousson, J.M. Evrard, F. Guerrin, B. Lucas, A. Missier, D. Rahal, M. Tomasena, L. Zimmer (Groupe de Recherche MQ&D), Modélisation et simulation qualitatives: Représentation, algorithmes et applications, Journées Nationales du PRC-IA, Marseille, France, 1992, pp. 25-56.

L. Travé-Massuyès, Le Raisonnement qualitatif et/dans/pour l’Automatique, Rapport du Groupe de Travail « Automatique et Intelligence Artificielle » (Eds. D. Dubois et S. Gentil) du G.R. Automatique, Journées Nationales du Groupement de Recherche "Automatique", 1991.

L. Travé-Massuyès, P. Bourseau, P. Dague, D. Dubois, A. Missier, N. Piera, H. Prade, Aspects mathématiques de la modélisation qualitative, Journées Nationales du Groupement de Recherche "Automatique", Toulouse (France), 17-19 Octobre 1990, pp.11-20.

L. Travé-Massuyès, Raisonnement qualitatif : Méthodes, outils et applications, Rapport du Projet MQ&D du G.R. Automatique, Journées Nationales du Groupement de Recherche "Automatique", Strasbourg, France, 1990.

WORKSHOPS

M. AUFRAY, L. TRAVE-MASSUYES, A. TOUHAMI, L’analyse par intervalles utilisée pour la modélisation de spectres diélectriques par une somme de relaxation de Debye, Poster JADH : 17èmes Journées d’Étude sur l'Adhésion, Aussois (France), 26 décembre 2013.

L.TRAVE-MASSUYES, Causality, Qualitative Reasoning and Diagnosis (Invited seminar), Atelier sur la Causalité, Workshop sur la Causalité organisé par le projet ANR LISE, 7 Novembre 2011.

L.TRAVE-MASSUYES, Diagnosability (Invited seminar), Dagstuhl Seminar on  Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems, 7-11 2010.

L. Ardissono , S. Bocconi , C. Cappielo, L. Console , M.O. Cordier, J. Eder, G. Friedrich, M.G. Fugini, R. Furnari, A. Goy, K. Guennoun, V. Ivanchenko, X. Le Guillou, S. Modafferi, E. Mussi, Y. Pencole, G. Petrone, B. Pernici, C. Picardi, F. Ramoni, X. Pucel, M. Segnan, A. Subias, D. Theseider-Dupre, L. Travé-Massuyès, T. Vidal, WS-DIAMOND: Web Services – DIAgnosability, MONitoring and Diagnosis. Fifth Summer School on Ontological Engineering and the Semantic Web (SSSW'07) , Cercedilla , Spain , July 8-14, 2007.

I. Servet, L. Travé-Massuyès, D. Stern, Evolutionary computation techniques for traffic supervision based on a model of telephone networks built from qualitative knowledge, ASI’96 Life cycle Approaches to production systems : management, control, supervision,  Toulouse, France, 1996.

I. Servet, L. Travé-Massuyès, D. Stern, Supervision du trafic dans les réseaux téléphoniques, modélisation qualitative et calcul évolutif, Colloque Technologies Logicielles pour les Télécommunications, Issy-les-Moulineaux, France, 1996, pp. 352-359.

I. Servet, L. Travé-Massuyès, Modélisation du réseau téléphonique interurbain français, Colloque Technologies Logicielles pour les Télécommunications, Bordeaux, France, 1995.

L. Travé-Massuyès, Raisonnement Qualitatif : Historique, Approaches et Domaines d’Application, Spring School on « Fuzzy and Qualitative Approaches for Control and Supervision », Toulouse, France, 1993 (invited).

L. Travé-Massuyès, P. Bourseau, P. Dague, D. Dubois, A. Missier, N. Piera, H. Prade, Qualitative reasoning. Mathematical aspects, 1st European Workshop on Qualitative Reasoning about Physical Systems, Genova (Italie), 24-26 Janvier 1991, 12p.

A. Missier, L. Travé-Massuyès, Temporal information from order of magnitude reasoning, 1st European Workshop on Qualitative Reasoning about Physical Systems, Genova, Italy, 1991.

L. Travé-Massuyès, Qualitative reasoning applications in process supervision and intelligent control, Inteligencia Artificial e Controle Automatico, Vitoria (Brésil), 18-19 Septembre 1991, 8p.

CONTRACT REPORTS

 

F.DE MORTAIN, A.SUBIAS, L.TRAVE-MASSUYES, V.DE FLAUGERGUES. Towards active diagnosis of hybrid systems leveraging multimodel identification and a Markov decision process, Rapport de Contrat et Rapport LAAS N° : 14583, DISCO, PSA Peugeot, Date de parution : 01/12/2014.

E.CHANTHERY, B.DELLANDREA, R.DE FERLUC, N.GARIN, L.TRAVE-MASSUYES. Diagnostique actif par OBCP. WP1000: analyse de la problématique, Rapport de Contrat et Rapport LAAS N° : 14368, Thales Alenia Space. Diagnostic embarqué par OBCP, Juillet 2014, 47p.

C.JAUBERTHIE, L.HOSSEINI, L.TRAVE-MASSUYES, N.VERDIERE. Deliverable 2.2: set-membership identifiability and diagnosability: links and methods, Rapport de Contrat et Rapport LAAS N° : 13478, MAGIC-SPS: ANR-11-INSE-006, Juillet 2013, 47p.

C.JAUBERTHIE, Y.PENCOLE, R.PONS, P.RIBOT, L.TRAVE-MASSUYES. Diagnosis and prognosis in health monitoring systems, Rapport de Contrat et Rapport LAAS N° : 12680, Coralie Project, Décembre 2012, 82p.

C.JAUBERTHIE, L.TRAVE-MASSUYES, N.VERDIERE, Deliverable 2.1: set-membership identifiability and diagnosability: definitions (T0+9), MAGIC-SPS: ANR-11-INSE-006, Juillet 2012, 27p., Rapport LAAS N°12362.

M.BAYOUDH , L.TRAVE-MASSUYES, Programme AGATA : Autonomie des engins spatiaux. Etude sur la coopération entre le suivi de l'état et la décision pour un satellite autonome. Rapport LAAS N°09654, Rapport intermédiaire. Contrat CNES RS-S08/BS-0001-01, Septembre 2009, 31p.

A.ZOLGHADRI, M.STAROSWIECKI, L.TRAVE-MASSUYES , J.RAGOT , P.DAGUE , E.BENSAMA , M.C.CHARMEAU , P.GOUPIL , X.OLIVE , E.BENAZERA , E.CHANTHERY , C.JAUBERTHIE , R.PONS, Appel à projet n° 3. Programme de recherche "Autonomie des systèmes aéronautiques et spatiaux". Rapport LAAS N°09150, Projet SIRASAS - Contrat FRAE, Mars 2009, 20p.

M.STAROSWIECKI, J.RAGOT , D.HENRY , A.ZOLGHADRI , J.CIESLAK, D.MAQUIN , B.MARX , T.RAISSI , R.PONS , C.JAUBERTHIE , L.TRAVE-MASSUYES , E.BENAZERA , E.CHANTHERY , D.BERDJAG , C.JOIN , D.THEILLIOL , S.CANITROT , T.HAMEL , F.HAMELIN, Projet SIRASAS. Deliverable n° 1. WP2.0. Rapport LAAS N°09149, Projet SARASAS - Contrat FRAE, Mars 2009, 289p.

J.THOMAS, N.AUSSENAC-GILLES , C.CHABAUD , M.COMBACAU , O.DUFFAUT , C.DUMAZEAU, B.JAMMES, H.POULARD , H.RESSENCOURT, A.REYMONET, S.SOLDANI, J.L.SOUBIE, A.SUBIAS, L.TRAVE-MASSUYES, Heterogeneous knowledge based diagnosis. Rapport LAAS N°08477, Septembre 2008, 26p.

C.CAPPIELLO , M.O.CORDIER , J.EDER , E.MUSSI , Y.PENCOLE , B.PERNICI , X.PUCEL , A.SUBIAS , G.TAGNI , A.TAHAMTAN , A.TEN TEJIE , L.TRAVE-MASSUYES , T.VIDAL, A new design methodology. Deliverable D5.2. Rapport LAAS N°08799, Projet IST WS-DIAMOND N°516933, Février 2008, 134p.

L. Console, C. Ardagna, L. Ardissono, S. Bocconi, C. Cappiello, M.O. Cordier, K. Drira, J. Eder, G. Friedrich, M.G. Fugini, R. Furnari, A. Goy, K. Guennoun, A. Hess, V. Ivanchenko, X. le Guillou, M. Lehmann, J. Mangler, Y. Li, T. Melliti, S. Modafferi, E. Mussi, Y. Pencole, G. Petrone, B. Pernici, C. Picardi, X. Pucel, S. Robin, L. Roze, M. Segnan, A. Tahamtan, A. Ten Tejie, D. Theseider Dupré, L. Travé-Massuyès, F. Van Harmelen, T. Vidal, WS-DIAMOND web services - DIAgnosability, MONitoring and Diagnosis. Rapport LAAS N°08005, Janvier 2008, 23p.

Y. Pencolé, X. Pucel, A. Subias, L. Travé-Massuyès, Characterization of diagnosability and repairability for self-healing web services. Projet IST WS-DIAMOND N°516933, Avril 2007, 75p.

F. Py , F. Perrot , Y. Pencolé, A. Orlandini, L. Travé-Massuyès, F. Ingrand, Projet AGATA. Rapport de synthèse sur l'activité : études et définitions de modèles. Contrat CNES, Septembre 2006, 47p.

L. Travé-Massuyès, A. Subias, Y. Pencolé, X. Pucel, Specification of diagnosis algorithms for web services. Phase 1. Projet IST WS-DIAMOND N°516933, Septembre 2006, 35p.

L. Travé-Massuyès, A. Subias, Y. Pencolé, X. Pucel, Characterization of diagnosis and repair for web services. Projet IST WS-DIAMOND N°516933, Juin 2006, 44p.

K. Drira, K. Guennounn, F.J. Moo-Mena, Y. Pencolé, X. Pucel, A. Subias, L. Travé-Massuyès, Requirements, application scenarios, overall architecture, and test/validation specification, common working environment and standards at Milestone M1. Projet IST WS-DIAMOND N°516933, Mars 2006, 166p.

M.Da Silveira, L.Travé-Massuyès, Diagnosis for autonomous satellites state of the art, Rapport LAAS No05345, Convention Alcatel Space, Mai 2005, 59p.

M.Da Silveira, L.Travé-Massuyès, Diagnosis for autonomous satellites Koala and Simulink models, Rapport LAAS No05441, Contrat ALCATEL SPACE, Août 2005, 45p.

M.Da Silveira, L.Travé-Massuyès, Diagnosis for autonomous satellites. Convention ALCATEL SPACE, Novembre 2005, 165p.

L. Travé-Massuyès, J. Thomas, X. Olive, H. Poulard, Pour une automobile plus sûre et plus fiable. Fiabilité prédictive des assemblages mécatroniques. Diagnostic automobile, Rapport LAAS N°04652, Contrat Région DAER-Recherche/01002663, Décembre 2004. 30p.

L. Travé-Massuyès, P. Dague, E. Benazera, Characterization of FDIR Components Technologies, Report within the ESA Project « Autonomy Requirements and Technologies for Future Constellations of Satellites », January 2002, 108p.

L. Travé-Massuyès, M.O. Cordier, F. Levy, Intégration de Modèles ALliant Automatique et IA. Approche multi-modèles de la surveillance et du diagnostic, Rapport LAAS N° 02137, Projet IMALAIA, Mars 2002, 28p.

J. Quevedo, L. Travé-Massuyès, T. Escobet, S. Tornil, TIGER-SHEBA: diagnostic basat en models de turbines de gas, Rapport LAAS N°02188, Avril 2002, 90p.

E. Benazera, L. Travé-Massuyès, P. Dague, Architectures logicielles pour satellites autonomes, Rapport LAAS N° 02238, Contrat CNES, Juin 2002, 22p.

J.M. Dorkel, A. Esteve, A. Marty, O. Perat, E. Scheid, P. Tounsi, J.P. Fradin, X. Chauffleur, M. Zecri, A. Feybesse, I. Deram, P. Dupuy, A. Peyre Lavigne, L. Travé-Massuyès, X. Olive, D. Esteve, H. Poulard, Pour une automobile plus sure et plus fiable. Fiabilité prédictive des assemblages mécatroniques. Diagnostic automobile, Rapport LAAS N° 01411, Contrat Région Midi-Pyrénées N° DAER-Recherche/99008749, Septembre 2001, 60p.

F. Dotto, I. Servet, L. Travé-Massuyès, Modélisation et supervision du trafic par des méthodes d’automatique symbolique, Rapports Techniques du Marché CNET-CNRS n°96 1B, Rapport LAAS N°97281 (Juin 97, Décembre 97), Rapport LAAS N°98306 (Juin 98, Décembre 1998, Juin 1999).

F. Dotto, L. Travé-Massuyès, Evaluation du comportement coopératif réorganisateur, Rapport LAAS N° 99296, Marché CNET-CNRS N° 96 1B, Juin 1999, 30p.

T. Escobet, J.P. Gouyon, J.A. Jimenez, J. Quevedo, L. Travé-Massuyès, S. Tornil, Model Descriptions, Rapport technique D310.9 du projet Européen Trial Applications TIGER SHEBA MBD n° 27548, Juin 1999, 115p.

L. Travé-Massuyès, P. Dague, Etude dans le cadre du DE Autonomie, thème Diagnostic et Décision à bord. Rapport n° 1 : Approches pour le diagnostic, Rapport CNES, Toulouse, france, Mars 1999.

L. Travé-Massuyès, P. Dague, Etude dans le cadre du DE Autonomie, thème Diagnostic et Décision à bord. Rapport n° 2 : Problème de décision et validation, Rapport CNES, Toulouse, france, Mars 1999.

R. Pons, L. Travé-Massuyès, Diagnostic à base de modèles appliqué aux composants du circuit primaire d'une centrale nucléaire, Rapport LAAS N° 98114, Contrat EDF N° P21/2M5381, Mars 1998, 43p.

I. Servet, L. Travé-Massuyès, Modélisation et supervision du trafic par des méthodes d’automatique symbolique, Rapport Technique/2, Marché CNET-CNRS n° 96 1B, Rapport LAAS/CNRS n° 98323, 37p., Juillet 98.

R. Pons, L. Travé-Massuyès, Diagnostic à base de modèles appliqué aux composants du circuit primaire d’une centrale nucléaire, Rapports Techniques du Contrat CNRS/EDF n°P21/2M5381, Rapport LAAS N°97559, 49p. (Novembre 1996, Mars 1997), Rapport LAAS N° 97560, 50p. (Novembre 1997), Rapport LAAS N° 98114, 43p. (Mars 1998), Rapport LAAS N° 98436, 16p., (Octobre 98, Mars 99).

F. Dotto, L. Travé-Massuyès, Modélisation et supervision du trafic par des méthodes d'automatique symbolique, Rapport LAAS N° 98536, Contrat CNET/LAAS N° 961B, Décembre 1998, 23p.

L. Travé-Massuyès, Raisonnement qualitatif et aide à la décision, Rapport de Synthèse, Convention DRET n° 94/34 384, Mai 96, (Diffusion Restreinte).

S. Bibas, M.O. Cordier, P. Dague, F. Levy, L. Roze, I. Servet, L. Travé-Massuyès (in alphabetical order), Modélisation, Diagnostic et Supervision de Réseaux de Télécommunication, Rapports Techniques du Marché CNET-CNRS n° 93 1B 142, Projet 513, Avril 1994, Octobre 1994, Avril 1995, Octobre 1995, Avril 1996.

S. Bibas, M.O. Cordier, P. Dague, F. Levy, L. Roze, I. Servet, L. Travé-Massuyès (in alphabetical order), Modélisation, Diagnostic et Supervision de Réseaux de Télécommunication,  Rapport Final du Marché CNET-CNRS n° 93 1B 142, Projet 513, Octobre 96.

I. Servet, L. Travé-Massuyès, Modélisation, diagnostic et supervision de réseaux de telecommunication, Rapport LAAS N° 96529, Contrat CNET N° 93.1B.142, Projet 513, Octobre 1996, 58p.

L. Travé-Massuyès, K. Bousson, T. Escobet, R Pons, L. Zimmer, Real-time situation assessment of dynamic, hard to measure systems, Rapport LAAS N° 95299, TIGER Esprit Project N° 6862, Juin 1995 , 33p.

B. Dahhou, J.B. Pourciel, L. Travé-Massuyès, Supervision experte et commande adaptative de procédés biotechnologiques. Utilisation d'un module de simulation numérique interactif, Rapport LAAS N° 95535, Contrat Région Midi-Pyrénées N° 9200867, Décembre 1995 , 26p.

L. Travé-Massuyès, R. Milne, Real Situation Assessment of Dynamic, Hard to Measure Systems, Rapports techniques du projet Esprit TIGER n° 6862, 1992-1995.

L. Travé-Massuyès, B. Dahhou, Supervision experte et commande adaptive de procédés biotechnologiques. Utilisation d'un module de simulation numérique interactif, Rapport LAAS N° 94027, Contrat Région Midi-Pyrénées N° 9200867, Janvier 1994 , 6p.

A. Missier, P. Danès, A. Bannay, L. Travé-Massuyès, Le raisonnement qualitatif dans la conception des circuits aéronautiques et spatiaux, Rapport Intermédiaire Convention DRET n°91/053, Rapport LAAS/CNRS n° 92136, Toulouse, France, 1992, (Diffusion Restreinte).

J.B. Pourciel, J.P. Steyer, B. Dahhou, K. Bousson, L. Travé-Massuyès, J.P. Babary, J. Aguilar-Martin, Supervision experte et commande adaptative de procédés biotechnologiques, Rapport LAAS N° 92047, Contrat Région N° 9000806, Février 1992, 20p.

L. Zimmer, A. Missier, L. Travé-Massuyès, Le raisonnement qualitatif dans la conception des circuits aéronautiques et spatiaux, Rapport de Synthèse Convention DRET n°91/053, Rapport Dassault Aviation n° 52317, 1992, (Diffusion restreinte).

INTERNAL REPORTS

N.BARBOSA ROA, L.TRAVE-MASSUYES, V.H.GRISALES, Online data stream clustering: proposal, Rapport LAAS N° : 14385, DISCO, UNAL, Date de parution : 29/08/2014.

A.TOUHAMI, L.TRAVE-MASSUYES, M.AUFRAY, R.PONS. Preconditioned set inversion for the enhanced estimation of dielectric relaxation parameters, Rapport LAAS N° : 13027, DISCO, EXT, CIRIMAT, 04/03/2013.

L.RAVANBOD, C.JAUBERTHIE, N.VERDIERE, L.TRAVE-MASSUYES. Improvements in enclosing uncertain derivatives and controlling ill-conditioned problems; Application to interval-based fault detection and isolation, Rapport LAAS N° : 13403, Université du Havre, DISCO, 15/10/2013.

N.VERDIERE, C.JAUBERTHIE, L.TRAVE-MASSUYES, Set-membership identifiability for uncertain nonlinear systems, 2012-04-03, 8p, Rapport LAAS N°12162.

M.O.CORDIER, P.DAGUE, Y.PENCOLE, L.TRAVE-MASSUYES, Diagnostic et supervision: approches à base de modèles, 2011-12-02, 35p., Rapport LAAS N°11626. A paraître dans l’encyclopédie du 50ème anniversaire de l’AFIA.

E.CHANTHERY, S.INDRA, L.TRAVE-MASSUYES, The equivalence of global and decentralised ARRs computation, 2011-03-01, 8p., Rapport LAAS N°11094.

J.AGUILAR CASTRO, A.SUBIAS, L.TRAVE-MASSUYES, K.ZOUAOUI, A chronicle learning approach for self-adapting strategies in collaborative communicating systems, 2012-01-16, 12p., Rapport LAAS N°11698.

J.XIONG, C.JAUBERTHIE, L.TRAVE-MASSUYES, A survey of set-membership estimation and fault detection, 2010-12-13, 6p, Rapport LAAS N°10767.

R.PONS , C.JAUBERTHIE , L.TRAVE-MASSUYES, Set membership detection of oscillatory failure cases. Rapport LAAS N°10516, Septembre 2010, 47p.

C.JAUBERTHIE , R.PONS , L.TRAVE-MASSUYES , P.GOUPIL, Detection of oscillatory failures by state estimation in a bounded-error context. Rapport LAAS N°09133, Mars 2009, 6p.

C.JAUBERTHIE , R.PONS , L.TRAVE-MASSUYES , P.GOUPIL, State estimation for detection of oscillatory faillures using interval analysis. Rapport LAAS N°08702, Janvier 2009, 6p.

H. Ressencourt, L. Travé-Massuyès, H. Poulard, J. Thomas, Model based testing of automotive functions with MODE-MBR for fault localization in the garages. Rapport LAAS N°08138, Mars 2008, 5p.

C. Combastel, C. Jauberthie, T. Raissi, N. Ramdani, L. Travé-Massuyès, Guaranteed set estimation of dynamical systems and application to the fault detection problem. Rapport LAAS N°08035, Janvier 2008, 21p.

M. Bayoudh, L. Travé-Massuyès, X. Olive, Hybrid systems diagnosability from a discrete event abstraction of multimode parity space. Rapport LAAS N°06804, Novembre 2006, 8p.

M. Bayoudh, L. Travé-Massuyès, Définition d'un formalisme hybride pour l'étude de la diagnosticabilité des systèmes hybrides. Définition et conditions suffisantes de la diagnosticabilité. Rapport LAAS N°06675, Septembre 2006, 7p.

M. Bayoudh, L. Travé-Massuyès, Diagnostic à base de modèles hybrides concurrents incertains. Application aux satellites autonomes. Rapport LAAS N°05748, Septembre 2005, 47p.

G.Dumont D'ayot, L.Travé-Massuyès , J.Aguilar Martin, Coopération et évaluation cognitive d'agents artificiels pour la supervision, Rapport LAAS N°05166, Avril 2005, 15p.

P.P.  Faure, X. Olive, H. Poulard, L. Travé-Massuyès, Automatic generation of optimal and suboptimal diagnosis trees from a cross-table, Rapport LAAS N° 03020, Janvier 2003, 10p.

X. Olive, L. Travé-Massuyès, H. Poulard, Variantes de l'AO* pour générer automatiquement des arbres de diagnostic presque optimaux, Rapport LAAS N° 03297, Juin 2003, 9p.

B.Heim, L. Travé-Massuyès, S. Gentil, B. Celse, S. Cauvin, Causal modelling methodology. Application to a fluid catalytic cracking plant, Rapport LAAS N°03456, Octobre 2003, 35p.

S. Tornil, T. Escobet, L. Travé-Massuyès, E. Bénazéra, Robust Interval Model Based Fault Detection – Satellite Attitude and Orbit Control System Case Study, Rapport LAAS N° 01469, Octobre 2001, 6p.

[Armengol et al. 2002] J. Armengol, L.Travé-Massuyès, J. Vehi, M.A. Sainz, Fault detection and isolation using multiple sliding time windows and interval models, Rapport LAAS N° 01467, Octobre 2001, 6p.

T. Malaval, E. Benazera, L. Travé-Massuyès, Reconfiguration à base de modèles discrets pour satellites autonomes, Rapport LAAS N° 02366, Septembre 2002, 66p.

P.P. Faure, X. Olive, H. Poulard, L. Travé-Massuyès, Prediction of uncertain test outcomes for resistive networks, Rapport LAAS N° 02395, Septembre 2002, 30p.

J.P. Gouyon, J.A. Jimenez Molina, L. Travé-Massuyès, Ca-En version 5.3 user's guide, Rapport LAAS N° 00169, Avril 2000, 36p.

P. Ponsa, A. Catala, L. Travé-Massuyès, MATLAB utilities: the naive qualitative agent connected to a micro-world framework, LAAS Internal Report N° 00277, Jully 2000, 50p.

P. Ponsa, A. Catala, L. Travé-Massuyès, Implementation of artificial reasoners within a micro-world generator framework, LAAS Internal Report N° 99585, Jully 1999, 30p.

J. Pastor, L. Travé-Massuyès, J.F. Demonet, BioCaen: a causal qualitative network for cerebral information propagation modeling, Rapport LAAS N° 97179, Mai 1997, 18p.

C. Nicol, L. Travé-Massuyès, J. Quevedo, Tiger: applying hybrid technology for industrial monitoring, Rapport LAAS N° 96039, Janvier 1996 , 7p.

K. Bousson, L. Travé-Massuyès, A theory of qualitative automata for dynamic process supervision, Rapport LAAS/CNRS n° 92007, Toulouse, France, 1992.

K. Bousson, J.P. Steyer, B. Dahhou, L. Travé-Massuyès, Monitoring and diagnosis of fermentation processes. From a rule-based to a model-based expert system, Rapport LAAS N° 92500, Décembre 1992, 26p.

K. Bousson, L. Travé-Massuyès, Un modèle de réseaux de causalité basé sur le raisonnement qualitatif, Rapport LAAS N° 91124, Mars 1991, 15p.

L. Travé-Massuyès, Some issues of qualitative reasoning for dynamical systems simulation, Rapport LAAS N° 91474, Avril 1991, 18p.

N. Piera, L. Travé-Massuyès, Mathematical foundations for order of magnitude reasoning, Rapport LAAS/CNRS n° 90252, Toulouse, France, 1990.

L. Travé, E. Kaszkurewicz, Qualitative solutions of linear homogeneous systems, Rapport LAAS/CNRS n° 86139, Toulouse, France, 1989.

A. Missier, N. Piera, L. Travé-Massuyès, Associated qualitative functions, Rapport LAAS/CNRS n° 89061, Toulouse, France, 1989.

A. Missier, L. Travé-Massuyès, A qualitative approach for simulating transient behaviours for water rig systems, Rapport LAAS/CNRS n° 89239, Toulouse, France, 1989.

L. Travé, A. TitlI, A sequencial algorithm to conclude on structural controllability of large scale systems, Rapport LAAS/CNRS n° 85312,  Toulouse, France, 1985.

A. Titli, J. Bernussou, L. Travé, A.M. Tarras, State of art report on « Decentralized control », Edited by M.G. Singh, Control Systems Center, EEC Contract n° 003277 report, UMIST, Manchester, UK, 1983.