|  Revues Internationales | |
|
| |
|
| |
| [Bénazéra & Travé-Massuyès 2009] E. BENAZERA, L. TRAVE-MASSUYES, 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. | |
| [Escorbet-Travé-Perez] F.Nejjari, R.Perez, T.Escorbet, l.Travé-Massuyès, Fault diagnosability utilizing quasi-static and structural modelling, Mathematical and Computer Modelling , Vol.45, N°5-6, pp.606-616, Mars 2007 | |
| [Benazera-Travé-2008]E.Benazera, L.Travé-Massuyès, Ste-theoric estimation of hybrid system configurations, Rapport LAAS N°08180, Avril 2008, 37p. | |
| [Pons-Jau-Travé-Goupil-2008]L.Travé-Massuyès, E.Benazera, G.Calderon-Espinoza, Timed fault diagnosis, Rapport LAAS N°08022, Janvier 2008, 14p. | |
| [Bayoudh-Travé-Olive]M.Bayoudh, L.Travé-Massuyès, X.Olive, Diagnosability of multimode and hybrid systems, Rapport LAAS N°07627, Novembre 2007, 14p. | |
| [Combastel-Jauberthie-Raissi-Ramdani-Travé] C.Combastel, C.Jauberthie, T.Raissi, N.Ramdani, L.Travé-Massuyès, Rapport LAAS N°08035, Janvier 2008, 21p. | |
| [Travé-Benazera-Calderon-Espinoza]L.Travé-Massuyès, E.Benazera, G.Calderon-Espinoza, Rapport LAAS N°08022, Janvier 2008, 14p. | |
| [Travé-Massuyès et al. 2006] L. Travé-Massuyès, T. Escorbet, 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, 2006. | |
| [Nejjari et al. 2006] F. Nejjari, R. Perez, T. Escobet, L. Travé-Massuyès, Fault diagnosability utilizing quasi-static and structural modelling, Mathematical and Computer Modelling, Volume 45, Issues 5-6, March 2007, Pages 606-616. | |
| [Price et al. 2006] 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, à paraître dans The Knowledge Engineering Review, Cambridge University Press, UK. | |
| [Travé-Massuyès et al. 2005] L. Travé-Masuyè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. | |
| [Cordier et al. 2004] 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, Octobre 2004. | |
| [Travé-Massuyès et al. 2003] 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. | |
| [Armengol et al. 2001] 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. | |
| [Milne et al. 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. | |
| [Pastor et al. 2000] 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. | |
| [Armengol et al. 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. | |
| [Bousson et al. 1998] 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, Octobre 98, pp. 0952-1976, ISBN : 0952-1976. | |
| [Servet et al. 1998] 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. | |
| [Cauvin et al. 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. | |
| [Servet et al. 1997a] 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. | |
| [Travé-Massuyès & Milne 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. | |
| [Travé-Massuyès & Milne 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, Applied Artificial Intelligence Journal, vol. 10, n° 3, pp. 257-277, 1996. | |
| [Milne et al. 1996a] 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. | |
| [MQ&D 1995] (Ed. P. Dague) - Auteurs : 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
Qualitive reasoning : A survey of Techniques and Applications, Special Issue of AI Communications, vol8, n°3/4,pp 119-192, 1995 | |
| [Travé-Massuyès & Milne 1995a] L. Travé-Massuyès, R. Milne, Application-oriented qualitative reasoning, The Knowledge Engineering Review, vol. 10, n° 2, pp. 181-204, 1995. | |
| [Guerrin et al. 1994] 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. | |
| [Travé-Massuyès et al. 1993a] 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. | |
| [Travé 1992] L. Travé-Massuyès, Qualitative Reasoning over time: History and current prospects, The Knowledge Engineering Review, 7, n° 1, 1992, pp 1-18. | |
| [Travé et al. 1987] L. Travé, A.M. Tarras, A. Titli, Minimal feedback structure avoiding structurally fixed modes, International Journal of Control, vol. 46, n° 1, 1987. | |
| [Travé & Titli 1985] 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. | |
|  | |
| Conférences Internationales avec Actes | |
|
| |
|
| |
| [Bénazéra & Travé-Massuyès 2008a] E. Bénazéra, L. Travé-Massuyès, Generating Diagnoses from conflicting component sets with continuous extends, International Workshop on Principles of Diagnosis (DX'08), Blue Mountains, Australia, 2008. | |
| [Cordier-Pencole-Travé-Vidal-2007] M.O Cordier, Y.Pencole, L.Travé, T.Vidal, Self-healablity = diagnosability + repairability, 18th International Workshop on Principles of Diagnosis (DX-07), Nashville (USA), 29-31 Mai 2007, pp.251-258 | |
| [Pucel-Bocconi-Travé-2007] X.Pucel, S.Bocconi, L.Travé-Massuyès, D.Dupre, 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 | |
| [Bayoudh-Travé-Olive-2007] Bayoudh,Travé,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 | |
| [Benazera-Travé] Benazera-Travé, A diagnosis driven self-reconfigurable filter, 18th International Workshop on Principles of Diadnosis (DX-2007), Nashville (USA), 29-31 Mai 2007, pp.21-28 | |
| [Bocconi-Picardi-Pucel-Dupre-Travé] Bocconi, C.Picardi, X.Pucel, D.Dupre, L.Travé-massuyès, Model-based diagnosability analysis for web services, 10th Congress of Italian Association for Artificial Intelligence, Rome (Italie), 10-13 Septembre 2007, 12p. | |
| [Cordier-Pencole-Travé-Vidal-2008] M.O.Cordier, Y.Pencole, L.Travé-massuyès, T.Vidal, Diagnose what you will repair: characterizing and checking self-healability, 6e Congrès Francophone AFRIF-AFIA. Reconnaissance des Formes et Intelligence Artificielle, Amiens (France), 21-25 Janvier 2008, 10p. | |
| [Perrot-Travé] F.Perrot, L.Travé-Massuyès, Choosing abstractions for hierarchical diagnosis,1)18th International Workshop on Principles of Diagnosis (DX-07), Nashville (USA), 29-31 Mai 2007, pp.354-359, 2)18th International Workshop on Qualitative Reasoning (QR07), Aberystxyth (GB), 27-29 Juin 2007 | |
| [Travé-Massuyès & Calderon-Espinoza 2007] 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, Kos, Greece 2-5 July 2007. | |
| [Travé-Massuyès et al. 2006a] 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. | |
| [Travé-Massuyès et al. 2006b] 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. | |
| [Travé-Massuyès et al. 2006c] 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. | |
| [Dumont d’Ayot et al. 2005] 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. | |
| [Cauvin et al. 2004] 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. | |
| [Olive et al. 2003a] 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. | |
| [Travé-Massuyès et al. 2003] 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. | |
| [Tornil et al. 2003] S. Tornil, , T. Escobet, L. Travé-Massuyès, Robust fault detection using interval models, 12th European Control Conference ECC’03, Cambridge, UK, 2003. | |
| [Heim et al. 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 | |
| [Benazera & Travé-Massuyès 2003] E. Benazera, 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. | |
| [Ponsa et al. 2002] 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. | |
| [Heim et al. 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. | |
| [Escobet et al. 2001] 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. | |
| [Travé-Massuyès et al. 2001] 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. | |
| [Cordier et al. 2000a] M.O. Cordier. P. Dague, M. Dumas, F. Levy, Y. Montmain, M. Staroswiecki, L. Trave-Massuyes, 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. | |
| [Cordier et al. 2000b] M.-O. Cordier, P. Dague, M. Dumas, F. Levy, J. Montmain, Staroswiecki M., Travé-Massuyès L., 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. | |
| [Armengol et al. 2000a] 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. | |
| [Milne et al. 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). | |
| [Armengol et al. 1999a] 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. | |
| [Armengol et al. 1999b] 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. | |
| [Escobet et al. 1999a] 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. | |
| [Travé-Massuyès & Gentil 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.
| [Armengol et al. 1998b] 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. | |
| [Lafon et al. 1998] M. Lafon, J. Pastor, L.Travé-Massuyès, Qualitative modeling of cerebral information propagation mechanisms, 4th Joint Conference INBS-IEEE Conference, San Francisco, 1998. | |
| [Travé-Massuyès & Milne 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. | |
| [Lafon et al. 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 | |
| [Milne & Travé-Massuyès 1997] 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. | |
| [Servet et al. 1997b] 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. | |
| [Servet et al. 1996a] 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. | |
| [Milne et al. 1996b] 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. | |
| [Travé-Massuyès & Milne 1995b] 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. | |
| [Milne et al. 1995] 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). | |
| [Bousson & Travé-Massuyès 1994a] 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. | |
| [Missier et al. 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. | |
| [Bousson & Travé-Massuyès 1994b] 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. | |
| [Bousson & Travé-Massuyès 1993] 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. | |
| [Bousson et al. 1993a] 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. | |
| [Bousson et al. 1993b] 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. | |
| [Missier et al. 1993] 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. | |
| [Milne & Travé-Massuyès 1993a] V 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. | |
| [Vescovi et al. 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. | |
| [Travé-Massuyès et al. 1993b] L. Travé-Massuyès, A. Missier, S. Xanthakis, Qualitative Reasoning and Software Quality, 3rd International Conference on Software Quality, Lake Tahoe, CA, USA, 1993. | |
| [Danes et al. 1993b] P. Danes, 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. | |
| [Bouson & Travé-Massuyès 1992a] 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. | |
| [Bousson & Travé-Massuyès 1992b] K. Boussson, L. Travé-Massuyès, Formalizing expertise qualitative operators, 10th European Conference on Artificial Intelligence ECAI-92, Vienna, Austria, 1992, pp. 694-698. | |
| [Bousson & Travé-Massuyès 1992c] 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. | |
| [Guerrin et al. 1992] F. Guerro, K. Bousson, J.Ph. Steyer, L. Travé-Massuyès, Qualitative Reasoning methods for CELSS modeling, World Space Congress, Seattle, USA, 1992. | |
| [Piera et al. 1991] 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. | |
| [Missier & Travé-Massuyès 1991b] 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. | |
| [Travé-Massuyès 1991a] 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. | |
| [Missier & Travé-Massuyès 1991c] A. Missier, L. Travé-Massuyès, Gestion du temps en simulation qualitative, European Control Conference ECC’91, Grenoble, France, 1991, pp. 1236-1240. | |
| [Travé 1989] L. Travé, Qualitative pole assignability under structurally constrained control, IFAC/IFORS/IMACS Symposium on Large Scale Systems : Theory and Application, Berlin, Germany, 1989. | |
| [Piera & Travé-Massuyès 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. | |
| [Travé-Massuyès & Piera 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. | |
| [Travé-Massuyès et al. 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. | |
| [Travé 1988] L. Travé, Qualitative pole assignability in decentralized control, IFAC/IMACS International Symposium on Distributed Intelligent Systems, Varna, Bulgarie, 1988. | |
| [Travé & Dormoy 1988b] L. Travé, J.L. Dormoy, Qualitative calculus and applications, 12th IMACS World Congress on Scientific Computation, Paris, France, 1988, pp. 53-61. | |
| [Travé & Titli 1986] L. Travé, A. Titli, Sequential determination of minimal feedback patterns avoiding structurally fixed modes, 25th IEEE Conference on Decision and Control, Athens, Greece 1986. | |
| [Travé & Kaszkurewicz 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. | |
| [Travé-Massuyès et al. 1984] L. Travé, A.M. Tarras, A. Titli, Some problems in decentralized control in presence of fixed modes, 9th IFAC World Congress, Budapest, Hungary, 1984. | |
| | |
|
| Conférences Internationales (actes à diffusion limitée) | |
|
| |
|
| |
| [Bayoudh-Travé-2007] 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. | |
| [Price et al. 2005a] 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. | |
| [Price et al. 2005b] 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. | |
| [Travé-Massuyès et al. 2006d] 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. | |
| [Travé-Massuyès & Subias 2006] A. Subias, L. Travé-Massuyès, Discriminating qualitative model generation from classified data. Rapport LAAS N°06138, Mars 2006, 8p ; to appear in Proceedings of the 17th International Workshop on Qualitative Reasoning QR-06, Hanover, NH (USA), July 10-12, 2006. | |
| [Bénazéra & Travé-Massuyès 2004] 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. | |
| [Spanache et al. 2004] 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. | |
| [Olive et al. 2003b] X. Olive, L. Travé-Massuyès, H. Poulard, AO* variant methods for automatic generation of near-optimal diagnosis tree, 14th International Workshop on Principles of Diagnosis (DX'03), Washington (USA), 11-14 Juin 2003, pp.169-174. | |
| [Olive et al. 2003d] 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. | |
| [Benazera et al. 2002] E. Benazera, 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. | |
| [Travé-Massuyès et al. 2002] 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. | |
| [Travé-Massuyès et al. 2001] 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. | |
| [Escobet & Travé-Massuyès 2001] T. Escobet, L. Travé-Massuyès, Parameter estimation methods for fault detection and isolation, Bridge Workshop Notes, Sansicario (I), March 5-9 2001. | |
| [Armengol et al. 2001] 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. | |
| [Benazera et al. 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. | |
| [Armengol et al. 2000b] J. Armengol, L.Travé-Massuyès, J. Vehi, M.A. Sainz, Fault detectoin 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. | |
| [Travé-Massuyès et al. 1999] 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. | |
| [Armengol et al. 1999d] 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. | |
| [Armengol et al. 1999c] 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. | |
| [Faure et al. 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. | |
| [Pons et al. 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. | |
| [Travé-Massuyès & Pons 1997] L.Travé-Massuyès, R. Pons, Causal ordering for multiple mode systems, 11th Int. Workshop on « Qualitative Reasoning about Physical Systems », Cortona, Italy, 1997. | |
| [Pastor et al. 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 », Cortona, Italy, 1997. | |
| [Lafon et al. 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. | |
| [Pastor et al. 1995] 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. | |
| [Bousson et al. 1994] 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. | |
| [Milne & Travé-Massuyès 1993b] R. Milne, L. Travé-Massuyès, Application Oriented Qualitative Reasoning, QR’93 Workshop, Orcas Island, (WA), USA, 1993. | |
| [Vescovi & Travé-Massuyès 1992] 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. | |
| [Travé-Massuyès 1991d] L. Travé-Massuyès, Qualitative reasoning : Methods, tools and applications, 1st European Workshop on Qualitative Reasoning about Physical Systems, Genova, Italy, 1991. | |
| | |
| Conférences et Manifestations Nationales (certaines étrangères) | |
|
| |
|
| |
| [Olive et al. 2004] 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. | |
| [Olive et al. 2003c] 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. | |
| [Olive et al. 2002] 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. | |
| [Quevedo et al. 2002] 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). | |
| [Travé-Massuyès 2001], 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. | |
| [Armengol et al. 2001] 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. | |
| [Faure et al. 2001] 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. | |
| [Travé-Massuyès et al. 2001] 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. | |
| [Benazera & Travé-Massuyès 2001] 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. | |
| [Dotto et al. 1999a] F. Dotto, L. Travé-Massuyès, P. Glize, Traffic routing in a switched telephone network by a multi-agent adaptive system, 2ème Congrès Catalan d’Intelligence Artificielle CCIA’99, Girona, Espagne, 1999, pp. 330-339. | |
| [Travé-Massuyès et al. 1998] 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. | |
| [Armengol et al. 1998a] 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. | |
| [Travé-Massuyès & Pastor 1997] 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. | |
| [Armengol et al. 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. | |
| [Cauvin et al. 1997] S. Cauvin, M.O. Cordier, D. Dousson, G. Deflandre, P. Laborie, F.Levy, Y. Montmain, M. Porcheron, I. Servet, L.Travé-Massuyès, Surveillance et interprétation d’alarmes en milieu industriel, Actes des Journées Nationales du PRC-IA, 9-30, 1997, Hermès Editeur. | |
| [Travé-Massuyès & Milne 1997] 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. | |
| [Pastor et al. 1994] 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. | |
| [Travé-Massuyès 1993b] 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. | |
| [Danes et al. 1993a] P. Danes, 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. | |
| [Travé-Massuyès et al. 1992] 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. | |
| [Travé-Massuyès 1991e] 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. | |
| [Travé-Massuyès et al. 1990b] 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. | |
| [Travé-Massuyès 1990b] 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. | |
| | |
| Rapports de contrat | |
|
| |
|
| |
| * L’ensemble de rapports liés à un contrat est généralement enregistré sous un seul numéro. | |
| [Travé-Subias-Pucel-2006] K.Drira,K.Guennon, F.J.Moo-Mena, Y.Pencole, 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. | |
| [Pencole-Pucel-Subias-Trav-2007] Y.Pencole, X.Pucel, A.Subias, L.Travé-Massuyès, Characterization of diagnosability and repairability for self-healing web services, Rapport LAAS N°07221, Projet IST WS-DIAMOND N°516933, Avril 2007, 75p. | |
| [Da Silveira & Travé-Massuyès 2005a] M.Da Silveira, L.Travé-Massuyès, Diagnosis for autonomous satellites state of the art, Rapport LAAS No05345, Convention Alcatel Space, Mai 2005, 59p. | |
| [Da Silveiera & Travé-Massuyès 2005b] 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. | |
| [Da Silveiera & Travé-Massuyès 2005c] M.Da Silveira, L.Travé-Massuyès, Diagnosis for autonomous satellites. Convention ALCATEL SPACE, Novembre 2005, 165p. | |
| [Travé-Massuyès et al. 2004] 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. | |
| [Travé-Massuyès et al. 2002] 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. | |
| [Travé-Massuyès et al. 2002] 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. | |
| [Quevedo et al. 2002] 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. | |
| [Benazera et al. 2002] E. Benazera, L. Travé-Massuyès, P. Dague, Architectures logicielles pour satellites autonomes, Rapport LAAS N° 02238, Contrat CNES, Juin 2002, 22p. | |
| [Dorkel et al. 2001] 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. | |
| [Dotto et al. 1999b] 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). | |
| [Dotto & Travé-Massuyès 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. | |
| [Escobet et al. 1999b] 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. | |
| [Travé-Massuyès & Dague 1999a] 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. | |
| [Servet & Travé-Massuyès 1998] 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. | |
| [Pons & Travé-Massuyès 1998] 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). | |
| [Dotto & Travé-Massuyès 1998] 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. | |
| [Travé-Massuyès 1996] 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). | |
| [Bibas et al. 1996a] S. Bibas, M.O. Cordier, P. Dague, F. Levy, L. Roze, I. Servet, L. Travé-Massuyès, 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. | |
| [Bibas et al. 1996b] S. Bibas, M.O. Cordier, P. Dague, F. Levy, L. Roze, I. Servet, L. Travé-Massuyès, 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. | |
| [Servet & Travé-Massuyès 1996] 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. | |
| [Travé-Massuyès et al. 1995] 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. | |
| [Dahhou et al. 1995] 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. | |
| [Travé-Massuyès & Milne 1995c] 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. | |
| [Travé-Massuyès & Dahhou 1994] 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. | |
| [Missier et al. 1992] A. Missier, P. Danes, 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). | |
| [Pourciel et al. 1992] 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. | |
| [Zimmer et al. 1992] 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). | |
| | |
| Rapports Internes LAAS | |
|
| |
|
| |
| [Travé-Calderon-Espinoza-2006] L.Travé-Massuyès, G.Calderon-Espinoza, Timed fault diagnosis, 1)20th International Joint Conference on Artificial Intelligence (IJCAI'07), Hyderabad (Inde), 6-12 Janvier 2007, 9p, 2)European Control Conference (ECC'07), Kos (Grèce), 2-5 Juillet 2007 | |
| [Bayoudh-Travé-Olive 2006] 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. | |
| [Dumont d’Ayot et al. 2005] 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. | |
| [Faure et al. 2003] 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. | |
| [Olive et al. 2003] 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. | |
| [Heim et al. 2003] 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. | |
| [Tornil et al. 2002] S. Tornil, T. Escobet, L. Travé-Massuyès, E. Benazera, 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. | |
| [Malaval et al. 2002] T. Malaval, E. Benazera, L. Travé-Massuyès, Reconfiguration à base de modèles discrets pour satellites autonomes, Rapport LAAS N° 02366, Septembre 2002, 66p. | |
| [Faure et al. 2002] 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. | |
| [Gouyon et al. 2000] 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. | |
| [Ponsa et al. 2000] 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. | |
| [Pastor et al. 1997] 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. | |
| [Nicol et al. 1996] C. Nicol, L. Travé-Massuyès, J. Quevedo, Tiger: applying hybrid technology for industrial monitoring, Rapport LAAS N° 96039, Janvier 1996 , 7p. | |
| [Bousson & Travé-Massuyès 1992] K. Bousson, L. Travé-Massuyès, A theory of qualitative automata for dynamic process supervision, Rapport LAAS/CNRS n° 92007, Toulouse, France, 1992. | |
| [Bousson et al. 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. | |
| [Bousson & Travé-Massuyès 1991] K. Bousson, L. Travé-Massuyès, Un modèle de réseaux de causalité basé sur le raisonnement qualitati, Rapport LAAS N° 91124, Mars 1991, 15p. | |
| [Travé-Massuyès 1991c] L. Travé-Massuyès, Some issues of qualitative reasoning for dynamical systems simulation, Rapport LAAS N° 91474, Avril 1991, 18p. | |
| [Piera & Travé-Massuyès 1990] N. Piera, L. Travé-Massuyès, Mathematical foundations for order of magnitude reasoning, Rapport LAAS/CNRS n° 90252, Toulouse, France, 1990. | |
| [Travé & Kaszkurewicz 1989] L. Travé, E. Kaszkurewicz, Qualitative solutions of linear homogeneous systems, Rapport LAAS/CNRS n° 86139, Toulouse, France, 1989. | |
| [Missier et al. 1989] A. Missier, N. Piera, L. Travé-Massuyès, Associated qualitative functions, Rapport LAAS/CNRS n° 89061, Toulouse, France, 1989. | |
| [Missier & Travé-Massuyès 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. | |
| [Travé & Titli 1985] L. Travé, A. Titli, A sequencial algorithm to conclude on structural controllability of large scale systems, Rapport LAAS/CNRS n° 85312, Toulouse, France, 1985. | |
| [Titli et al. 1983] 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. | |
| | |