Skip navigation
Skip navigation

Browsing by Author fe47781f-657a-417c-bbb2-895bdce44834

Or enter first few letters:  
Showing results 21 to 30 of 30

Incremental Diagnosis of DES with a Non-Exhaustive Diagnosis Engine

Author(s)Grastien, Alban; Anbulagan, Anbu
TypeConference paper
Date Published2009
Date CreatedJune 14-17 2009

Local consistency and junction tree for diagnosis of discrete-event systems

Author(s)Kan John, Priscilla; Grastien, Alban
TypeConference paper
Date Published2008
Date CreatedJuly 21-25 2008

Modeling and solving diagnosis of discrete-event systems via satisfiability

Author(s)Grastien, Alban; Anbulagan, Anbu; Rintanen, Jussi, et al
TypeConference paper
Date Published2007
Date CreatedMay 29-31 2007
01_Harabor_Online_Graph_Pruning_for_2011.pdf.jpg

Online Graph Pruning for Pathfinding on Grid Maps

Author(s)Harabor, Daniel; Grastien, Alban
TypeConference paper
Date Published2011
Date CreatedAugust 7-11 2011
01_Grastien_Reformulation_for_the_2010.pdf.jpg

Reformulation for the Diagnosis of Discrete-Event Systems

Author(s)Grastien, Alban; Torta, Gianluca
TypeConference paper
Date Published2010
Date CreatedOctober 13-16 2010

Self-Healing as a Combination of Consistency Checks and Conformant Planning Problems

Author(s)Grastien, Alban
TypeConference paper
Date Published2015
Date CreatedAugust 31 to September 3, 2015
01_Grastien_Symbolic_Testing_of_2009.pdf.jpg

Symbolic Testing of Diagnosability

Author(s)Grastien, Alban
TypeConference paper
Date Published2009
Date CreatedJune 14-17 2009
01_Kan John_Synthesis_of_a_Distributed_and_2010.pdf.jpg

Synthesis of a Distributed and Accurate Diagnoser

Author(s)Kan John, Priscilla; Grastien, Alban; Pencole, Yannick
TypeConference paper
Date Published2010
Date CreatedOctober 13-16 2010

Verifying the Precision of Diagnostic Algorithms

Author(s)Su, Xing yu; Grastien, Alban
TypeConference paper
Date Published2014
Date CreatedAugust 18-22 2014

Wizards of Oz

Author(s)Grastien, Alban; Kan John, Priscilla
TypeConference paper
Date Published2009
Date CreatedJune 14-17 2009

Updated:  12 April 2016/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator