Modeling and solving diagnosis of discrete-event systems via satisfiability

Alban Grastien; A Anbulagan; Jussi Rintanen; Elena Kelareva

Modeling and solving diagnosis of discrete-event systems via satisfiability

Alban Grastien, A Anbulagan, Jussi Rintanen, Elena Kelareva

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

Original language	English
Title of host publication	Proceedings of the 18th International Workshop on Principles of Diagnosis (DX-07)
Editors	G. Biswas, X. Koutsoukos, S. Abdelwahed
Place of Publication	Nashville USA
Publisher	AAAI Press
Pages	114-121
Edition	Peer Reviewed
Publication status	Published - 2007
Event	International Workshop on Principles of Diagnosis (DX 2007) - Nashville USA Duration: 1 Jan 2007 → … http://www.isis.vanderbilt.edu/dx07/Proceedings/Proceedings.pdf

Conference

Conference	International Workshop on Principles of Diagnosis (DX 2007)
Period	1/01/07 → …
Other	May 29-31 2007
Internet address	http://www.isis.vanderbilt.edu/dx07/Proceedings/Proceedings.pdf

Cite this

@inproceedings{59c7a446d4e34f259588fa657b6b5263,

title = "Modeling and solving diagnosis of discrete-event systems via satisfiability",

author = "Alban Grastien and A Anbulagan and Jussi Rintanen and Elena Kelareva",

year = "2007",

language = "English",

pages = "114--121",

editor = "\{G. Biswas, X. Koutsoukos, S. Abdelwahed\}",

booktitle = "Proceedings of the 18th International Workshop on Principles of Diagnosis (DX-07)",

publisher = "AAAI Press",

edition = "Peer Reviewed",

note = "International Workshop on Principles of Diagnosis (DX 2007) ; Conference date: 01-01-2007",

url = "http://www.isis.vanderbilt.edu/dx07/Proceedings/Proceedings.pdf",

}

Modeling and solving diagnosis of discrete-event systems via satisfiability. / Grastien, Alban; Anbulagan, A; Rintanen, Jussi et al.
Proceedings of the 18th International Workshop on Principles of Diagnosis (DX-07). ed. / G. Biswas, X. Koutsoukos, S. Abdelwahed. Peer Reviewed. ed. Nashville USA: AAAI Press, 2007. p. 114-121.

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

TY - GEN

T1 - Modeling and solving diagnosis of discrete-event systems via satisfiability

AU - Grastien, Alban

AU - Anbulagan, A

AU - Rintanen, Jussi

AU - Kelareva, Elena

PY - 2007

Y1 - 2007

M3 - Conference Paper

SP - 114

EP - 121

BT - Proceedings of the 18th International Workshop on Principles of Diagnosis (DX-07)

A2 - null, G. Biswas, X. Koutsoukos, S. Abdelwahed

PB - AAAI Press

CY - Nashville USA

T2 - International Workshop on Principles of Diagnosis (DX 2007)

Y2 - 1 January 2007

ER -