Symbolic models for diagnosing discrete-event systems

Anika Schumann; Yannick Pencolé; Sylvie Thiébaux

Symbolic models for diagnosing discrete-event systems

Anika Schumann, Yannick Pencolé, Sylvie Thiébaux

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

2 Citations (Scopus)

Abstract

We improve the efficiency of Sampath's diagnoser approach by exploiting compact symbolic representations of the system and diagnoser in terms of BDDs. We show promising results on test cases derived from a telecommunication application.

Original language	English
Title of host publication	ECAI 2004 - 16th European Conference on Artificial Intelligence, including Prestigious Applications of Intelligent Systems, PAIS 2004 - Proceedings
Editors	Ramon Lopez de Mantaras, Lorenza Saitta
Publisher	IOS Press BV
Pages	1085-1086
Number of pages	2
ISBN (Electronic)	9781586034528
Publication status	Published - 2004
Event	16th European Conference on Artificial Intelligence, ECAI 2004 - Valencia, Spain Duration: 22 Aug 2004 → 27 Aug 2004

Publication series

Name	Frontiers in Artificial Intelligence and Applications
Volume	110
ISSN (Print)	0922-6389
ISSN (Electronic)	1879-8314

Conference

Conference	16th European Conference on Artificial Intelligence, ECAI 2004
Country/Territory	Spain
City	Valencia
Period	22/08/04 → 27/08/04

Cite this

Schumann, A., Pencolé, Y., & Thiébaux, S. (2004). Symbolic models for diagnosing discrete-event systems. In R. L. de Mantaras, & L. Saitta (Eds.), ECAI 2004 - 16th European Conference on Artificial Intelligence, including Prestigious Applications of Intelligent Systems, PAIS 2004 - Proceedings (pp. 1085-1086). (Frontiers in Artificial Intelligence and Applications; Vol. 110). IOS Press BV.

Schumann, Anika ; Pencolé, Yannick ; Thiébaux, Sylvie. / Symbolic models for diagnosing discrete-event systems. ECAI 2004 - 16th European Conference on Artificial Intelligence, including Prestigious Applications of Intelligent Systems, PAIS 2004 - Proceedings. editor / Ramon Lopez de Mantaras ; Lorenza Saitta. IOS Press BV, 2004. pp. 1085-1086 (Frontiers in Artificial Intelligence and Applications).

@inproceedings{78edd13f7c9240d19e9ef353ec260b15,

title = "Symbolic models for diagnosing discrete-event systems",

abstract = "We improve the efficiency of Sampath's diagnoser approach by exploiting compact symbolic representations of the system and diagnoser in terms of BDDs. We show promising results on test cases derived from a telecommunication application.",

author = "Anika Schumann and Yannick Pencol{\'e} and Sylvie Thi{\'e}baux",

year = "2004",

language = "English",

series = "Frontiers in Artificial Intelligence and Applications",

publisher = "IOS Press BV",

pages = "1085--1086",

editor = "{de Mantaras}, {Ramon Lopez} and Lorenza Saitta",

booktitle = "ECAI 2004 - 16th European Conference on Artificial Intelligence, including Prestigious Applications of Intelligent Systems, PAIS 2004 - Proceedings",

address = "Netherlands",

note = "16th European Conference on Artificial Intelligence, ECAI 2004 ; Conference date: 22-08-2004 Through 27-08-2004",

}

Schumann, A, Pencolé, Y & Thiébaux, S 2004, Symbolic models for diagnosing discrete-event systems. in RL de Mantaras & L Saitta (eds), ECAI 2004 - 16th European Conference on Artificial Intelligence, including Prestigious Applications of Intelligent Systems, PAIS 2004 - Proceedings. Frontiers in Artificial Intelligence and Applications, vol. 110, IOS Press BV, pp. 1085-1086, 16th European Conference on Artificial Intelligence, ECAI 2004, Valencia, Spain, 22/08/04.

Symbolic models for diagnosing discrete-event systems. / Schumann, Anika; Pencolé, Yannick; Thiébaux, Sylvie.
ECAI 2004 - 16th European Conference on Artificial Intelligence, including Prestigious Applications of Intelligent Systems, PAIS 2004 - Proceedings. ed. / Ramon Lopez de Mantaras; Lorenza Saitta. IOS Press BV, 2004. p. 1085-1086 (Frontiers in Artificial Intelligence and Applications; Vol. 110).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Symbolic models for diagnosing discrete-event systems

AU - Schumann, Anika

AU - Pencolé, Yannick

AU - Thiébaux, Sylvie

PY - 2004

Y1 - 2004

N2 - We improve the efficiency of Sampath's diagnoser approach by exploiting compact symbolic representations of the system and diagnoser in terms of BDDs. We show promising results on test cases derived from a telecommunication application.

AB - We improve the efficiency of Sampath's diagnoser approach by exploiting compact symbolic representations of the system and diagnoser in terms of BDDs. We show promising results on test cases derived from a telecommunication application.

UR - http://www.scopus.com/inward/record.url?scp=85017357173&partnerID=8YFLogxK

M3 - Conference contribution

T3 - Frontiers in Artificial Intelligence and Applications

SP - 1085

EP - 1086

BT - ECAI 2004 - 16th European Conference on Artificial Intelligence, including Prestigious Applications of Intelligent Systems, PAIS 2004 - Proceedings

A2 - de Mantaras, Ramon Lopez

A2 - Saitta, Lorenza

PB - IOS Press BV

T2 - 16th European Conference on Artificial Intelligence, ECAI 2004

Y2 - 22 August 2004 through 27 August 2004

ER -

Symbolic models for diagnosing discrete-event systems

Abstract

Publication series

Conference

Other files and links

Fingerprint

Cite this