Ann Arbor / New Orleans / Stuttgart / New York / Paris / /
Company
IBM / Springer-Verlag New York Inc. / S Lc / /
Country
United States / /
Event
Product Issues / /
IndustryTerm
non-deterministic algorithm / synchronous product / polynomial time algorithm / event systems / event dynamic systems / /
Organization
Federal Government / National Basketball Association / U.S. Securities and Exchange Commission / /
Person
Thomas Wilke / Walter J. Savitch / Moshe Y. Vardi / Jacques Sakarovitch / Maurice Nivat / Orna Kupferman / O. Rabin / Gire Nivat / Jean Berstel / Z. Huang / V / Doron Peled / Sophie Pinchinat / Christiane Frougny / Dominique Perrin / Tae-Sic Yoo / Pierre Wolper / A. Prasad Sistla / Eric Pin / Lawrence H. Landweber / Nils Klarlund / Stephane Lafortune / /
following algorithm / else goto 6 This algorithm / polynomial time algorithm / fact Algorithm / Control Systems Technology / following non-deterministic algorithm / /
A Topological Perspective on Diagnosis Andreas Bauer, ANU, Australia Abstract— We propose a topological perspective on the diagnosis problem for discrete-event systems. In an infinitary framework, we argue that the con