Skip navigation
Skip navigation

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

0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Or enter first few letters:  
Showing results 1 to 20 of 30

A Spectrum of Diagnosis Approaches

Author(s)Grastien, Alban
TypeConference paper
Date Published2013
Date CreatedOctober 1-4 2013
01_Harabor_An_Optimal_Any-Angle_2013.pdf.jpg

An Optimal Any-Angle Pathfinding Algorithm

Author(s)Harabor, Daniel; Grastien, Alban
TypeConference paper
Date Published2013
Date CreatedJune 10-14 2013

Computing Plans that Signal Normative Compliance

Author(s)Grastien, Alban; Benn, Claire; Thiebaux, Sylvie
TypeConference paper
Date Published2021
Date CreatedMay 19 - 21, 2021

Conflict-Based Diagnosis of Discrete-Event Systems: Theory and Practice

Author(s)Grastien, Alban; Haslum, Patrik; Thiebaux, Sylvie
TypeConference paper
Date Published2012
Date CreatedJune 10-14 2012
01_Blackhall_Diagnosability_of_Hybrid_2009.pdf.jpg

Diagnosability of Hybrid Dynamical Networks using Indicator Functions

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

Diagnosability of Networks of Hybrid Systems

Author(s)Blackhall, Lachlan; Kan John, Priscilla; Grastien, Alban, et al
TypeConference paper
Date Published2009
Date CreatedJune 30-July 3 2009

Diagnosability testing with satisfiability algorithms

Author(s)Rintanen, Jussi; Grastien, Alban
TypeConference paper
Date Published2007
Date CreatedJanuary 6-12 2007

Diagnosis As Planning: Two Case Studies

Author(s)Haslum, Patrik; Grastien, Alban
TypeConference paper
Date Published2011
Date CreatedJune 11-16 2011
01_Su_Diagnosis_of_Discrete_Event_2013.pdf.jpg

Diagnosis of Discrete Event Systems by Independent Windows

Author(s)Su, Xing yu; Grastien, Alban
TypeConference paper
Date Published2013
Date CreatedOctober 1-4 2013

Diagnosis of discrete event systems using satisfiability algorithms: A theoretical and empirical study

Author(s)Grastien, Alban; Anbulagan, Anbu
TypeJournal article
Date Published2013
Date Created-

Diagnosis of discrete-event systems using satisfiability algorithms

Author(s)Grastien, Alban; Anbulagan, Anbu; Rintanen, Jussi, et al
TypeConference paper
Date Published2007
Date CreatedJuly 22-26 2007
02_Grastien_Diagnosis_of_Hybrid_Systems_by_2013.pdf.jpg

Diagnosis of Hybrid Systems by Consistency Testing

Author(s)Grastien, Alban
TypeConference paper
Date Published2013
Date CreatedOctober 1-4 2013

Diagnosis of Hybrid Systems with SMT: Opportunities and Challenges

Author(s)Grastien, Alban; O'Sullivan, B.
TypeConference paper
Date Published2014
Date CreatedAugust 18-22 2014

Exploiting independence in a decentralised and incremental approach of diagnosis

Author(s)Cordier, Marie-Odile; Grastien, Alban
TypeConference paper
Date Published2007
Date CreatedJanuary 6-12 2007

Formulating Event-Based Critical Observations in Diagnostic Problems

Author(s)Christopher, Cody; Grastien, Alban
TypeConference paper
Date Published2015
Date CreatedAugust 31 to September 3, 2015

Formulating event-based critical observations in diagnostic problems

Author(s)Christopher, Cody; Grastien, Alban
TypeConference paper
Date Published2015
Date CreatedDecember 15-18 2015
03_Anbulagan_Importance_de_la_semantique_2008.pdf.jpg

Importance de la semantique dans le codage CNF de constraintes de cardinalite: Application au diagnostic de SED

Author(s)Anbulagan, Anbu; Grastien, Alban
TypeConference paper
Date Published2008
Date CreatedJune 4-6 2008

Importance of Variables Semantic in CNF Encoding of Cardinality Constraints

Author(s)Anbulagan, Anbu; Grastien, Alban
TypeConference paper
Date Published2009
Date CreatedAugust 8-10 2009

Improving Jump Point Search

Author(s)Harabor, Daniel; Grastien, Alban
TypeConference paper
Date Published2014
Date CreatedJune 21-26 2014

Incremental diagnosis of DES by satisfiability

Author(s)Grastien, Alban; Anbulagan, Anbu
TypeConference paper
Date Published2008
Date CreatedJuly 21-25 2008

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