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.
Year
Venue
Field
2004
FRONTIERS IN ARTIFICIAL INTELLIGENCE AND APPLICATIONS
Computer science,Telecommunication application,Algorithm,Theoretical computer science,Test case,Artificial intelligence,Machine learning
DocType
Volume
ISSN
Conference
110
0922-6389
Citations 
PageRank 
References 
2
0.41
2
Authors
3
Name
Order
Citations
PageRank
Anika Schumann110313.12
Yannick Pencolé215112.01
Sylvie Thiébaux355044.59