Anika Schumann

PhD Candidate Model-based Diagnosis of Dynamic Systems Mailing Address: Computer Sciences Laboratory, RSISE The Australian National University Canberra, ACT 0200, Australia Email: anika.schumann-AT-anu.edu.au Phone: (+61) 2 6125 8815

I recently finished my PhD where I worked on the automated diagnosis of large-scale systems like telecommunication or power supply networks.  These systems are mostly composed of many different components and I have looked at how to compactly gather as much local failure information as possible from the components and how to efficiently combine this data to reason about possible problems in the whole system. The timely and accurate identification of failures will allow the automatic planning of actions to reconfigure the systems and thus remedy the failures to improve the system's performance. 

Publications

• Anika Schumann, Wolfgang Mayer and Markus Stumptner. Distributed Repair of Nondiagnosability. 18th European Conference on Artificial Intelligence (ECAI-08), Patras (Greece), July 2008. [pdf] (to appear)
  
  
• Anika Schumann and Jinbo Huang. A Scalable Jointree Algorithm for Diagnosability. 23rd American National Conference on Artificial Intelligence (AAAI-08), AAAI Press, Chicago (USA), July 2008. [pdf] (to appear)
  
  
• Anika Schumann, Yannick Pencolé, and  Sylvie Thiébaux. A Spectrum of Symbolic On-line Diagnosis Approaches. 22nd American National Conference on Artificial Intelligence (AAAI-07), AAAI Press, Vancouver (Canada), July 2007. [pdf] © AAAI Press


• Anika Schumann and Yannick Pencolé. Scalable Diagnosability Checking of Event-driven Systems, 20th International Joint Conference on Artificial Intelligence (IJCAI-07), 575-580, Hyderabad (India), January 2007. [pdf] © IJCAI
  


• Anika Schumann and Yannick Pencolé. Efficient On-line Failure Identification for Discrete-event Systems, 6th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes (SAFEPROCESS-06), Beijing (P.R. China) August 29-September 1, 2006. [pdf] © Elsevier


• Yannick Pencolé, Dmitry Kamenetsky and Anika Schumann. Towards Low-cost Diagnosis of Component-based Systems, 6th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes (SAFEPROCESS-06), Beijing (P.R. China) August 29-September 1, 2006. [pdf] © Elsevier


• Anika Schumann, Yannick Pencolé and Sylvie Thiébaux. Symbolic Models for Diagnosing Discrete-Event Systems, 16th European Conference on Artificial Intelligence (ECAI-04), Valencia (Spain), August 2004. [pdf] © IOS Press

Other Documents

• Anika Schumann. Towards Efficiently Diagnosing Large Scale Discrete-Event Systems, PhD thesis, The Australian National University, 2007.  [draft]
  
  
• Anika Schumann, Yannick Pencolé and Sylvie Thiébaux. Diagnosis of Discrete-Event Systems using Binary Decision Diagrams, 15th International Workshop on Principles of Diagnosis (DX-04), 197-202, Carcassonne (France), June 2004. [pdf]

• Anika Schumann. Is symbolic technology applicable to the diagnosis of discrete-event systems?, Master's thesis, Faculty of Business, Administration,Economics and Social Sciences, University of Rostock, 2003.  [pdf]