Skip navigation
Skip navigation

Browsing by Author Grastien, Alban

Or enter first few letters:  
Showing results 1 to 20 of 40

A Spectrum of Diagnosis Approaches

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

A theory of abstraction for diagnosis of dicrete-event systems

Author(s)Grastien, Alban; Torta, Gianluca
TypeConference paper
Date Published2011
Date CreatedJuly 17-18 2011

Alarm processing with model-based diagnosis of discrete event systems.

Author(s)Bauer, Andreas; Botea, Adi; Grastien, Alban, et al
TypeConference paper
Date Published2011
Date CreatedOctober 4-7 2011

An Optimal Any-Angle Pathfinding Algorithm

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

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

Consistency-based diagnosis of discrete-event systems by SAT [Diagnostic de systèmes à événements discrets à base de cohérence par SAT]

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

Critical Observations in a Diagnostic Problem

Author(s)Christopher, Cody; Cordier, Marie-Odile; Grastien, Alban
TypeConference paper
Date Published2014
Date CreatedDecember 15-17 2014

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

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

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
TypeConference paper
Date Published2014
Date CreatedAugust 18-22 2014

Diagnosis properties by design

Author(s)Grastien, Alban
TypeConference paper
Date Published2011
Date CreatedOctober 4-7 2011

Efficient Trajectories Computing Exploiting Inversibility Properties

Author(s)Cordier, Marie-Odile; Grastien, Alban; Largouet, Christine, et al
TypeConference paper
Date Published2003
Date CreatedJune 11 2003

Exhaustive Diagnosis of Discrete Event Systems through Exploration of the Hypothesis Space

Author(s)Grastien, Alban; Haslum, Patrik; Thiebaux, Sylvie
TypeConference paper
Date Published2011
Date CreatedOctober 4-7 2011

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

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