Publications of Alban Grastien

2010

Priscilla Kan John, Alban Grastien, Yannick Pencolé, and Pauline Ribot. Synthèse d'un diagnostiqueur distribué et précis. In Congrès francophone AFRIF-AFIA (RFIA-10), pages 646-653, 2010. (Article (fr)) BibTeX
Close
@InProceedings{kanjohn-etal::rfia::10,
  author = {{\relax Pr}. {Kan John} and A. {Grastien} and Y. {Pencol\'e} and P. {Ribot}},
  title = {Synth\`ese d'un diagnostiqueur distribu\'e et pr\'ecis},
  booktitle = {Seventeenth Congr\`es francophone AFRIF-AFIA (RFIA-10)},
  year = {2010},
  pages = {646--653},
}

2009

Lachlan Blackhall, Priscilla Kan John, Alban Grastien, and David Hill. Diagnosability of networks of hybrid systems. In IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes (SafeProcess-09), 2009. BibTeX
Close
@InProceedings{blackhall-etal::safeprocess::09a,
  author = {L. {Blackhall} and {\relax Pr}. {Kan John} and A. {Grastien} and D. {Hill}},
  title = {Diagnosability of networks of hybrid systems},
  booktitle = {Seventh IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes (SafeProcess-09)},
  year = {2009},
}
Lachlan Blackhall, Priscilla Kan John, and Alban Grastien. Diagnosing structural changes in hybrid dynamical systems. In IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes (SafeProcess-09), 2009. BibTeX
Close
@InProceedings{blackhall-etal::safeprocess::09b,
  author = {L. {Blackhall} and {\relax Pr}. {Kan John} and A. {Grastien}},
  title = {Diagnosing structural changes in hybrid dynamical systems},
  booktitle = {Seventh IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes (SafeProcess-09)},
  year = {2009},
}
Anbulagan and Alban Grastien. Importance of variables semantic in CNF encoding of cardinality constraints. In Symposium on Abstraction, Reformulation and Approximation (SARA-09), 2009. BibTeX
Close
@InProceedings{anbulagan-grastien::sara::09,
  author = {{Anbulagan} and A. {Grastien}},
  title = {Importance of variables semantic in {CNF} encoding of cardinality constraints},
  booktitle = {Eighth Symposium on Abstraction, Reformulation and Approximation (SARA-09)},
  year = {2009},
}
Lachlan Blackhall, Priscilla Kan John, Alban Grastien, and David Hill. Diagnosability of hybrid dynamical networks using indicator functions. In International Workshop on Principles of Diagnosis (DX-09), pages 163-169, 2009. (Article (en)) BibTeX
Close
@InProceedings{blackhall-etal::dx::09,
  author = {L. {Blackhall} and {\relax Pr}. {Kan John} and A. {Grastien} and D. {Hill}},
  title = {Diagnosability of hybrid dynamical networks using indicator functions},
  booktitle = {20th International Workshop on Principles of Diagnosis (DX-09)},
  year = {2009},
  pages = {163--169},
}
Alban Grastien. Symbolic testing of diagnosability. In International Workshop on Principles of Diagnosis (DX-09), pages 131-138, 2009. (Article (en)) BibTeX
Close
@InProceedings{grastien::dx::09,
  author = {A. {Grastien}},
  title = {Symbolic testing of diagnosability},
  booktitle = {20th International Workshop on Principles of Diagnosis (DX-09)},
  year = {2009},
  pages = {131--138},
}
Alban Grastien and Anbulagan. Incremental diagnosis of DES with a non-exhaustive diagnosis engine. In International Workshop on Principles of Diagnosis (DX-09), pages 345-352, 2009. (Article (en)) BibTeX
Close
@InProceedings{grastien-anbulagan::dx::09,
  author = {A. {Grastien} and {Anbulagan}},
  title = {Incremental diagnosis of {DES} with a non-exhaustive diagnosis engine},
  booktitle = {20th International Workshop on Principles of Diagnosis (DX-09)},
  year = {2009},
  pages = {345--352},
}
Alban Grastien and Priscilla Kan John. Wizards of Oz, description of the 2009 DXC entry. In International Workshop on Principles of Diagnosis (DX-09), pages 409-413, 2009. [Invited Talk] (Article (en)) BibTeX
Close
@InProceedings{grastien-kanjohn::dx::09,
  author = {A. {Grastien} and {\relax Pr}. {Kan John}},
  title = {Wizards of {O}z, description of the 2009 {DXC} entry},
  booktitle = {20th International Workshop on Principles of Diagnosis (DX-09)},
  year = {2009},
  pages = {409--413},
  note = {Invited Talk},
}

2008

Anbulagan and Alban Grastien. Importance de la sémantique dans le codage CNF de contraintes de cardinalité : application au diagnostic de SED. In journées francophones de programmation par contraintes (JFPC-08), 2008. (Article (fr)) BibTeX
Close
@InProceedings{anbulagan-grastien::jfpc::08,
  author = {{Anbulagan} and A. {Grastien}},
  title = {Importance de la s\'emantique dans le codage {CNF} de contraintes de cardinalit\'e : application au diagnostic de {SED}},
  booktitle = {Fourth journ\'ees francophones de programmation par contraintes (JFPC-08)},
  year = {2008},
}
Alban Grastien and Anbulagan. Incremental diagnosis of DES by satisfiability. In European Conference on Artificial Intelligence (ECAI-08), 2008. (Article (en)) BibTeX
Close
@InProceedings{grastien-anbulagan::ecai::08,
  author = {A. {Grastien} and {Anbulagan}},
  title = {Incremental diagnosis of {DES} by satisfiability},
  booktitle = {Eighteenth European Conference on Artificial Intelligence (ECAI-08)},
  year = {2008},
}
Priscilla Kan John and Alban Grastien. Local consistency and junction tree for diagnosis of discrete-event systems. In European Conference on Artificial Intelligence (ECAI-08), 2008. (Article (en)) BibTeX
Close
@InProceedings{kanjohn-grastien::ecai::08,
  author = {{\relax Pr}. {Kan John} and A. {Grastien}},
  title = {Local consistency and junction tree for diagnosis of discrete-event systems},
  booktitle = {Eighteenth European Conference on Artificial Intelligence (ECAI-08)},
  year = {2008},
}
Priscilla Kan John and Alban Grastien. Local consistency and junction tree for diagnosis of discrete-event systems. In International Workshop on Principles of Diagnosis (DX-08), pages 95-101, 2008. (Article (en)) BibTeX
Close
@InProceedings{kanjohn-grastien::dx::08,
  author = {{\relax Pr}. {Kan John} and A. {Grastien}},
  title = {Local consistency and junction tree for diagnosis of discrete-event systems},
  booktitle = {Nineteenth International Workshop on Principles of Diagnosis (DX-08)},
  year = {2008},
  pages = {95--101},
}

2007

Marie-Odile Cordier and Alban Grastien. Exploiting independence in a decentralised and incremental approach of diagnosis. In International Joint Conference on Artificial Intelligence (IJCAI-07), 2007. (Article (en)) BibTeX
Close
@InProceedings{cordier-grastien::ijcai::07,
  author = {M.-O. {Cordier} and A. {Grastien}},
  title = {Exploiting independence in a decentralised and incremental approach of diagnosis},
  booktitle = {20th International Joint Conference on Artificial Intelligence (IJCAI-07)},
  year = {2007},
}
Jussi Rintanen and Alban Grastien. Diagnosability testing with satisfiability algorithms. In International Joint Conference on Artificial Intelligence (IJCAI-07), 2007. (Article (en)) BibTeX
Close
@InProceedings{rintanen-grastien::ijcai::07,
  author = {J. {Rintanen} and A. {Grastien}},
  title = {Diagnosability testing with satisfiability algorithms},
  booktitle = {20th International Joint Conference on Artificial Intelligence (IJCAI-07)},
  year = {2007},
}
Alban Grastien, Anbulagan, Jussi Rintanen, and Elena Kelareva. Diagnosis of discrete-event systems using satisfiability algorithms. In Conference on Artificial Intelligence (AAAI-07), 2007. (Article (en)) BibTeX
Close
@InProceedings{grastien-etal::aaai::07,
  author = {A. {Grastien} and {Anbulagan} and J. {Rintanen} and E. {Kelareva}},
  title = {Diagnosis of discrete-event systems using satisfiability algorithms},
  booktitle = {22th Conference on Artificial Intelligence (AAAI-07)},
  year = {2007},
}
Alban Grastien, Anbulagan, Jussi Rintanen, and Elena Kelareva. Modeling and solving diagnosis of discrete-event systems via satisfiability. In International Workshop on Principles of Diagnosis (DX-07), 2007. (Article (en)) BibTeX
Close
@InProceedings{grastien-etal::dx::07,
  author = {A. {Grastien} and {Anbulagan} and J. {Rintanen} and E. {Kelareva}},
  title = {Modeling and solving diagnosis of discrete-event systems via satisfiability},
  booktitle = {Eighteenth International Workshop on Principles of Diagnosis (DX-07)},
  year = {2007},
}
Alban Grastien and Anbulagan. Résolution d'un problème de diagnostic de systèmes à événements discrets par SAT. In journées francophones de programmation par contraintes (JFPC-07), 2007. (Article (fr)) BibTeX
Close
@InProceedings{grastien-anbulagan::jfpc::07,
  author = {A. {Grastien} and {Anbulagan}},
  title = {R\'esolution d'un probl\`eme de diagnostic de syst\`emes \`a \'ev\'enements discrets par {SAT}},
  booktitle = {Third journ\'ees francophones de programmation par contraintes (JFPC-07)},
  year = {2007},
}

2006

Alban Grastien. Utilisation des chaînes d'automates pour le diagnostic décentralisé. In Congrès francophone AFRIF-AFIA (RFIA-06), 2006. (Article (fr)) BibTeX
Close
@InProceedings{grastien::rfia::06,
  author = {A. {Grastien}},
  title = {Utilisation des cha\^ines d'automates pour le diagnostic d\'ecentralis\'e},
  booktitle = {Fifteenth Congr\`es francophone AFRIF-AFIA (RFIA-06)},
  year = {2006},
}
Marie-Odile Cordier and Alban Grastien. Exploiting independence in a decentralised and incremental approach of diagnosis. In International Workshop on Principles of Diagnosis (DX-06), 2006. (Article (en)) BibTeX
Close
@InProceedings{cordier-grastien::dx::06,
  author = {M.-O. {Cordier} and A. {Grastien}},
  title = {Exploiting independence in a decentralised and incremental approach of diagnosis},
  booktitle = {Seventeenth International Workshop on Principles of Diagnosis (DX-06)},
  year = {2006},
}

2005

Alban Grastien, Marie-Odile Cordier, and Christine Largouët. First steps towards incremental diagnosis of discrete-event systems. In Canadian Conference on Artificial Intelligence (AI-05), 2005. (Article (en), Article (fr)) BibTeX
Close
@InProceedings{grastien-etal::cia::05,
  author = {A. {Grastien} and M.-O. {Cordier} and {\relax Ch}. {Largou\"et}},
  title = {First steps towards incremental diagnosis of discrete-event systems},
  booktitle = {Eighteenth Canadian Conference on Artificial Intelligence (AI-05)},
  year = {2005},
}
Alban Grastien, Marie-Odile Cordier, and Christine Largouët. Incremental diagnosis of discrete-event systems. In International Workshop on Principles of Diagnosis (DX-05), 2005. (Article (en)) BibTeX
Close
@InProceedings{grastien-etal::dx::05,
  author = {A. {Grastien} and M.-O. {Cordier} and {\relax Ch}. {Largou\"et}},
  title = {Incremental diagnosis of discrete-event systems},
  booktitle = {Sixteenth International Workshop on Principles of Diagnosis (DX-05)},
  year = {2005},
}
Alban Grastien, Marie-Odile Cordier, and Christine Largouët. Automata slicing for diagnosing discrete-event systems with partially ordered observations. In Congress of the Italian Association for Artificial Intelligence (AI*IA-05), 2005. (Article (en)) BibTeX
Close
@InProceedings{grastien-etal::aiia::05,
  author = {A. {Grastien} and M.-O. {Cordier} and {\relax Ch}. {Largou\"et}},
  title = {Automata slicing for diagnosing discrete-event systems with partially ordered observations},
  booktitle = {Ninth Congress of the Italian Association for Artificial Intelligence (AI*IA-05)},
  year = {2005},
}
Yuhong Yan, Yannick Pencolé, Marie-Odile Cordier, and Alban Grastien. Monitoring web service networks in a model-based approach. In IEEE European Conference on Web Services (ECOWS-05), 2005. BibTeX
Close
@InProceedings{yan-etal::ecows::05,
  author = {Y. {Yan} and Y. {Pencol\'e} and M.-O. {Cordier} and A. {Grastien}},
  title = {Monitoring web service networks in a model-based approach},
  booktitle = {Third IEEE European Conference on Web Services (ECOWS-05)},
  year = {2005},
}
Alban Grastien. Diagnostic décentralisé et en-ligne de systèmes à événements discrets reconfigurables. Ph.D Thesis. 2005. (Document (fr), Corrections et commentaires (fr)) BibTeX
Close
@PhdThesis{grastien::phd::05,
  author = {A. {Grastien}},
  title = {Diagnostic d\'ecentralis\'e et en-ligne de syst\`emes \`a \'ev\'enements discrets reconfigurables},
  school = {Universit\'e Rennes 1, France},
  year = {2005},
}

2004

Alban Grastien, Marie-Odile Cordier, and Christine Largouët. Extending decentralized discrete-event modelling to diagnose reconfigurable systems. In International Workshop on Principles of Diagnosis (DX-04), 2004. (Article (en)) BibTeX
Close
@InProceedings{grastien-etal::dx::04,
  author = {A. {Grastien} and M.-O. {Cordier} and {\relax Ch}. {Largou\"et}},
  title = {Extending decentralized discrete-event modelling to diagnose reconfigurable systems},
  booktitle = {Fifteenth International Workshop on Principles of Diagnosis (DX-04)},
  year = {2004},
}

2003

Marie-Odile Cordier, Alban Grastien, Christine Largouët, and Yannick Pencolé. Calcul de trajectoires utilisant les propriétés d'interversibilité. In Rencontre des Jeunes Chercheurs en IA (RJCIA-03), 2003. BibTeX
Close
@InProceedings{cordier-etal::rjcia::03,
  author = {M.-O. {Cordier} and A. {Grastien} and {\relax Ch}. {Largou\"et} and Y. {Pencol\'e}},
  title = {Calcul de trajectoires utilisant les propri\'et\'es d'interversibilit\'e},
  booktitle = {Sixth Rencontre des Jeunes Chercheurs en IA (RJCIA-03)},
  year = {2003},
}
Marie-Odile Cordier, Alban Grastien, Christine Largouët, and Yannick Pencolé. Efficient trajectories computing using inversibilities properties. In International Workshop on Principles of Diagnosis (DX-03), 2003. BibTeX
Close
@InProceedings{cordier-etal::dx::03,
  author = {M.-O. {Cordier} and A. {Grastien} and {\relax Ch}. {Largou\"et} and Y. {Pencol\'e}},
  title = {Efficient trajectories computing using inversibilities properties},
  booktitle = {Fourteenth International Workshop on Principles of Diagnosis (DX-03)},
  year = {2003},
}

2002

Pierre-Yves Glorennec and Alban Grastien. Application d'arbres de régression flous à la prévision des pics de pollution. In Journées de Statistique (JDS-02), 2002. BibTeX
Close
@InProceedings{glorennec-grastien::jds::02,
  author = {P.-Y. {Glorennec} and A. {Grastien}},
  title = {Application d'arbres de r\'egression flous \`a la pr\'evision des pics de pollution},
  booktitle = {34th Journ\'ees de Statistique (JDS-02)},
  year = {2002},
}