Publications of Alban Grastien

2011

Daniel Harabor and Alban Grastien. Online graph pruning for pathfinding on grid maps. In Conference on Artificial Intelligence (AAAI-11), 2011. (Article (en)) BibTeX
Close
@InProceedings{harabor-grastien::aaai::11,
  author = {D. {Harabor} and {\relax Al}. {Grastien}},
  title = {Online graph pruning for pathfinding on grid maps},
  booktitle = {25th Conference on Artificial Intelligence (AAAI-11)},
  year = {2011},
}
Patrik Haslum and Alban Grastien. Diagnosis as planning: two case studies. In Scheduling and Planning Applications Workshop (SPARK-11), 2011. (Article (en)) BibTeX
Close
@InProceedings{haslum-grastien::spark::11,
  author = {P. {Haslum} and {\relax Al}. {Grastien}},
  title = {Diagnosis as planning: two case studies},
  booktitle = {Fifth Scheduling and Planning Applications Workshop (SPARK-11)},
  year = {2011},
}
Andreas Bauer, Adi Botea, Alban Grastien, Patrik Haslum, and Jussi Rintanen. Alarm processing with model-based diagnosis of discrete event systems. In AI for an Intelligent Planet (AIIP-11), 2011. BibTeX
Close
@InProceedings{bauer-etal::aiip::11,
  author = {{\relax An}. {Bauer} and A. {Botea} and {\relax Al}. {Grastien} and P. {Haslum} and J. {Rintanen}},
  title = {Alarm processing with model-based diagnosis of discrete event systems},
  booktitle = { AI for an Intelligent Planet (AIIP-11)},
  year = {2011},
}
Alban Grastien and Gianluca Torta. Reformulation for the diagnosis of discrete-event systems. In Symposium on Abstraction, Reformulation and Approximation (SARA-11), pages 42-49, 2011. (Article (en)) BibTeX
Close
@InProceedings{grastien-torta::sara::11,
  author = {{\relax Al}. {Grastien} and {\relax Gi}. {Torta}},
  title = {Reformulation for the diagnosis of discrete-event systems},
  booktitle = {Ninth Symposium on Abstraction, Reformulation and Approximation (SARA-11)},
  year = {2011},
  pages = {42--49},
}
Alban Grastien and Gianluca Torta. A theory of abstraction for diagnosis of dicrete-event systems. In Symposium on Abstraction, Reformulation and Approximation (SARA-11), pages 50-57, 2011. (Article (en)) BibTeX
Close
@InProceedings{grastien-torta::sara::11,
  author = {{\relax Al}. {Grastien} and {\relax Gi}. {Torta}},
  title = {A theory of abstraction for diagnosis of dicrete-event systems},
  booktitle = {Ninth Symposium on Abstraction, Reformulation and Approximation (SARA-11)},
  year = {2011},
  pages = {50--57},
}
Alban Grastien. Diagnosis properties by design. In International Workshop on Principles of Diagnosis (DX-11), pages 155-158, 2011. [Open problems track] (Slides (en), Article (en)) BibTeX
Close
@InProceedings{grastien::dx::11,
  author = {{\relax Al}. {Grastien}},
  title = {Diagnosis properties by design},
  booktitle = {22nd International Workshop on Principles of Diagnosis (DX-11)},
  year = {2011},
  pages = {155--158},
  note = {Open problems track},
}
Andreas Bauer, Adi Botea, Alban Grastien, Patrik Haslum, and Jussi Rintanen. Alarm processing with model-based diagnosis of discrete event systems. In International Workshop on Principles of Diagnosis (DX-11), pages 52-59, 2011. (Article (en), Slides (en)) BibTeX
Close
@InProceedings{bauer-etal::dx::11,
  author = {{\relax An}. {Bauer} and A. {Botea} and {\relax Al}. {Grastien} and P. {Haslum} and J. {Rintanen}},
  title = {Alarm processing with model-based diagnosis of discrete event systems},
  booktitle = {22nd International Workshop on Principles of Diagnosis (DX-11)},
  year = {2011},
  pages = {52--59},
}
Alban Grastien, Patrik Haslum, and Sylvie Thiébaux. Exhaustive diagnosis of discrete event systems through exploration of the hypothesis space. In International Workshop on Principles of Diagnosis (DX-11), pages 60-67, 2011. (Slides (en), Article (en)) BibTeX
Close
@InProceedings{grastien-etal::dx::11,
  author = {{\relax Al}. {Grastien} and P. {Haslum} and S. {Thi\'ebaux}},
  title = {Exhaustive diagnosis of discrete event systems through exploration of the hypothesis space},
  booktitle = {22nd International Workshop on Principles of Diagnosis (DX-11)},
  year = {2011},
  pages = {60--67},
}

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 {\relax Al}. {Grastien} and {\relax Ya}. {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},
}
Priscilla Kan John, Alban Grastien, and Yannick Pencolé. Synthesis of a distributed and accurate diagnoser. In International Workshop on Principles of Diagnosis (DX-10), pages 209-216, 2010. (Article (en)) BibTeX
Close
@InProceedings{kanjohn-etal::dx::10,
  author = {{\relax Pr}. {Kan John} and {\relax Al}. {Grastien} and {\relax Ya}. {Pencol\'e}},
  title = {Synthesis of a distributed and accurate diagnoser},
  booktitle = {21st International Workshop on Principles of Diagnosis (DX-10)},
  year = {2010},
  pages = {209--216},
}
Alban Grastien and Gianluca Torta. Reformulation for the diagnosis of discrete-event systems. In International Workshop on Principles of Diagnosis (DX-10), pages 63-70, 2010. (Article (en)) BibTeX
Close
@InProceedings{grastien-torta::dx::10,
  author = {{\relax Al}. {Grastien} and {\relax Gi}. {Torta}},
  title = {Reformulation for the diagnosis of discrete-event systems},
  booktitle = {21st International Workshop on Principles of Diagnosis (DX-10)},
  year = {2010},
  pages = {63--70},
}
Alban Grastien and Anbulagan. Diagnostic de systèmes à événements discrets à base de cohérence par SAT. Revue d'Intelligence Artificielle (RIA), 24(6):757-786, 2010. (Article (fr)) BibTeX
Close
@Article{grastien-anbulagan::ria::10,
  author = {{\relax Al}. {Grastien} and {Anbulagan}},
  title = {Diagnostic de syst\`emes \`a \'ev\'enements discrets \`a base de coh\'erence par {SAT}},
  journal = {Revue d'Intelligence Artificielle ({RIA})},
  year = {2010},
  volume = {24},
  number = {6},
  pages = {757--786},
}

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::09,
  author = {L. {Blackhall} and {\relax Pr}. {Kan John} and {\relax Al}. {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::09,
  author = {L. {Blackhall} and {\relax Pr}. {Kan John} and {\relax Al}. {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. (Article (en)) BibTeX
Close
@InProceedings{anbulagan-grastien::sara::09,
  author = {{Anbulagan} and {\relax Al}. {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 {\relax Al}. {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 = {{\relax Al}. {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 = {{\relax Al}. {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 = {{\relax Al}. {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 {\relax Al}. {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 = {{\relax Al}. {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 {\relax Al}. {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 {\relax Al}. {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 {\relax Al}. {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 {\relax Al}. {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 = {{\relax Al}. {Grastien} and {Anbulagan} and J. {Rintanen} and E. {Kelareva}},
  title = {Diagnosis of discrete-event systems using satisfiability algorithms},
  booktitle = {22nd 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 = {{\relax Al}. {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 = {{\relax Al}. {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 = {{\relax Al}. {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 {\relax Al}. {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::ai::05,
  author = {{\relax Al}. {Grastien} and M.-O. {Cordier} and {\relax Chr}. {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 = {{\relax Al}. {Grastien} and M.-O. {Cordier} and {\relax Chr}. {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 = {{\relax Al}. {Grastien} and M.-O. {Cordier} and {\relax Chr}. {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 = {{\relax Yu}. {Yan} and {\relax Ya}. {Pencol\'e} and M.-O. {Cordier} and {\relax Al}. {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. (Corrections et commentaires (fr), Document (fr)) BibTeX
Close
@PhdThesis{grastien::phd::05,
  author = {{\relax Al}. {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 = {{\relax Al}. {Grastien} and M.-O. {Cordier} and {\relax Chr}. {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 {\relax Al}. {Grastien} and {\relax Chr}. {Largou\"et} and {\relax Ya}. {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 {\relax Al}. {Grastien} and {\relax Chr}. {Largou\"et} and {\relax Ya}. {Pencol\'e}},
  title = {Efficient trajectories computing using inversibilities properties},
  booktitle = {Fourteenth International Workshop on Principles of Diagnosis (DX-03)},
  year = {2003},
}