Browsing by Author fe47781f-657a-417c-bbb2-895bdce44834
Showing results 21 to 30 of 30
Incremental Diagnosis of DES with a Non-Exhaustive Diagnosis Engine
Author(s) | Grastien, Alban; Anbulagan, Anbu |
---|---|
Type | Conference paper |
Date Published | 2009 |
Date Created | June 14-17 2009 |
Local consistency and junction tree for diagnosis of discrete-event systems
Author(s) | Kan John, Priscilla; Grastien, Alban |
---|---|
Type | Conference paper |
Date Published | 2008 |
Date Created | July 21-25 2008 |
Modeling and solving diagnosis of discrete-event systems via satisfiability
Author(s) | Grastien, Alban; Anbulagan, Anbu; Rintanen, Jussi, et al |
---|---|
Type | Conference paper |
Date Published | 2007 |
Date Created | May 29-31 2007 |
Online Graph Pruning for Pathfinding on Grid Maps
Author(s) | Harabor, Daniel; Grastien, Alban |
---|---|
Type | Conference paper |
Date Published | 2011 |
Date Created | August 7-11 2011 |
Reformulation for the Diagnosis of Discrete-Event Systems
Author(s) | Grastien, Alban; Torta, Gianluca |
---|---|
Type | Conference paper |
Date Published | 2010 |
Date Created | October 13-16 2010 |
Self-Healing as a Combination of Consistency Checks and Conformant Planning Problems
Author(s) | Grastien, Alban |
---|---|
Type | Conference paper |
Date Published | 2015 |
Date Created | August 31 to September 3, 2015 |
Symbolic Testing of Diagnosability
Author(s) | Grastien, Alban |
---|---|
Type | Conference paper |
Date Published | 2009 |
Date Created | June 14-17 2009 |
Synthesis of a Distributed and Accurate Diagnoser
Author(s) | Kan John, Priscilla; Grastien, Alban; Pencole, Yannick |
---|---|
Type | Conference paper |
Date Published | 2010 |
Date Created | October 13-16 2010 |
Verifying the Precision of Diagnostic Algorithms
Author(s) | Su, Xing yu; Grastien, Alban |
---|---|
Type | Conference paper |
Date Published | 2014 |
Date Created | August 18-22 2014 |
Wizards of Oz
Author(s) | Grastien, Alban; Kan John, Priscilla |
---|---|
Type | Conference paper |
Date Published | 2009 |
Date Created | June 14-17 2009 |
Updated: 12 April 2016/ Responsible Officer: University Librarian/ Page Contact: Library Systems & Web Coordinator