csail logo

Computer Science and Artificial Intelligence Laboratory

 

Home

Person

Publications

Teaching

Images

Journal Papers and Book Chapters
orange line

  • Martin Sachenbacher and Peter Struss: Task-dependent Qualitative Domain Abstraction. Artificial Intelligence 162(1-2):121-143, February 2005. [Preprint PDF]
  • Martin Sachenbacher, Peter Struss,and Claes Carlén: A Prototype for Model-based On-board Diagnosis of Automotive Systems, AI Communications 13(2):83-97, 2000.
  • Peter Struss, Ulrich Heller, Andreas Malik, and Martin Sachenbacher: Modellbasierte Werkzeuge für Diagnose und Fehleranalyse von Fahrzeug-Subsystemen (in German). In: Lothar Hotz, Peter Struss, Thomas Guckenbiehl (eds.): Intelligent Diagnosis in Industrial Applications. Shaker Verlag, Aachen, Germany, 2001. ISBN 3-8265-7002-2

Conference Papers
orange line

  • Tsoline Mikaelian, Brian C. Williams, and Martin Sachenbacher. Diagnosing Complex Systems with Software-Extended Behavior using Constraint Optimization. 20th National Conference on Artificial Intelligence (AAAI-05), Pittsburgh, USA, 2005. To appear. [PDF]
  • Martin Sachenbacher and Brian C. Williams. Bounded Search and Symbolic Inference for Constraint Optimization. International Joint Conference on Artificial Intelligence (IJCAI-05), Edinburgh, Scotland, 2005. To appear. [PDF]
  • Martin Sachenbacher and Brian C. Williams. On-demand Bound Computation for Best-first Constraint Optimization, Short paper, International Conference on Principles and Practice of Constraint Programming (CP-04), Toronto, Canada, 2004; Lecture Notes in Computer Science (LNCS) Vol. 3258:762-766, 2004. [PDF]
  • Martin Sachenbacher and Brian C. Williams. Diagnosis as Semiring-based Constraint Optimization. 16th European Conference on Artificial Intelligence (ECAI-04), Valencia, Spain, 2004. Best Paper Award. [PDF]
  • Martin Sachenbacher and Peter Struss. Automated Qualitative Domain Abstraction. 18th International Joint Conference on Artificial Intelligence (IJCAI-03), Acapulco, Mexico, 2003. [PDF]
  • Martin Sachenbacher, Peter Struss, and Reinhard Weber: Advances in Design and Implementation of OBD Functions for Diesel Injection Systems based on a Qualitative Approach to Diagnosis. Society of Automotive Engineers (SAE) World Congress, Detroit, USA, 2000.
  • Peter Bidian, Mugur Tatar, Fulvio Cascio, Daniele Theseider-Dupré, Martin Sachenbacher, Reinhard Weber, and Claes Carlén: Powertrain Diagnostics: A Model-Based Approach, ERA Technology Vehicle Electronic Systems Conference, Coventry, United Kingdom, 1999.
  • Peter Struss, Andreas Malik, and Martin Sachenbacher: Qualitative Modeling is the Key to Automated Diagnosis. 13th World Congress of IFAC, San Francisco, USA, 1996.


Workshop and Symposia Papers (Peer Reviewed)

orange line

  • Martin Sachenbacher and Brian C. Williams: Diagnosis using Bounded Search and Symbolic Inference. 16th International Workshop on Principles of Diagnosis (DX-05), Pacific Grove, USA, 2005. To appear. [PDF]
  • Tsoline Mikaelian, Brian C. Williams, and Martin Sachenbacher. Diagnosing Complex Systems with Software-Extended Behavior using Constraint Optimization. 16th International Workshop on Principles of Diagnosis (DX-05), Pacific Grove, USA, 2005. To appear. [PDF]
  • Martin Sachenbacher and Brian C. Williams: On-demand Bound Computation for Finding Leading Solutions to Soft Constraints. 6th International Workshop on Preferences and Soft
    Constraints (SOFT-04), Toronto, Canada, 2004. [PDF]
  • Martin Sachenbacher and Brian C. Williams. Diagnosis as Semiring-based Constraint Optimization. 15th International Workshop on Principles of Diagnosis (DX-04), Carcassonne, France, 2004. [PDF]
  • Martin Sachenbacher and Peter Struss: AQUA: A Framework for Automated Qualitative Abstraction. 15th International Workshop on Qualitative Reasoning (QR-01), San Antonio, USA, 2001.
  • Martin Sachenbacher and Peter Struss: Automated Qualitative Model Abstraction - Theoretical Foundations and Practical Results. 14th International Workshop on Qualitative Reasoning (QR-00), Morelia, Mexico, 2000.
  • Peter Struss, Martin Sachenbacher, and Claes Carlén: Insights from Building a Prototype for Model-based On-baord Diagnosis of Automotive Systems. 11th International Workshop on Qualitative Reasoning (DX-00), Morelia, Mexico, 2000.
  • Peter Struss and Martin Sachenbacher: Significant Distinctions Only: Context-Dependent Automated Qualitative Modeling. 13th International Workshop on Qualitative Reasoning (QR-99), Loch Awe, Scotland, 1999.
  • Jakob Mauss and Martin Sachenbacher: Conflict-Driven Diagnosis using Relational Aggregations. 10th International Workshop on Principles of Diagnosis (DX-99), Loch Awe, Scotland, 1999.
  • Peter Struss, Ulrich Heller, Andreas Malik, Jakob Mauss, and Martin Sachenbacher: Model-based Tools for the Automotive Industry - Extended Abstract.  ECAI Workshop on Model-based Systems and Qualitative Reasoning, Brighton, UK, 1998.
  • Martin Sachenbacher, Andreas Malik, and Peter Struss: From Electrics to Emissions: Experiences in Applying Model-based Diagnosis to Real Problems in Cars. 9th International Workshop on Principles of Diagnosis (DX-98), Cape Cod, USA, 1998. Also in: ECAI Workshop on Model-based Systems and Qualitative Reasoning, Brighton, UK, 1998. Also in: Tagungsband "Technische Diagnostik", Fachhochschule Merseburg, Germany, 1998.
  • Martin Sachenbacher and Peter Struss: Fault Isolation in the Hydraulic Circuit of an ABS: A Real-World Reference Problem for Diagnosis. 8th International Workshop on Principles of Diagnosis, Mont-Saint-Michel, France, 1997.
  • Peter Struss, Martin Sachenbacher, and Florian Dummert: Diagnosing a Dynamic System with (almost) no Observations. 11th International Workshop on Qualitative Reasoning, Cortona, Italy, 1997. Also in: IJCAI Workshop on Engineering Problems for Qualitative Reasoning, Nagoya, Japan, 1997.
  • Peter Struss, Andreas Malik, and Martin Sachenbacher: Case Studies in Model-based Diagnosis and Fault Analysis of Car-Subsystems. ECAI Workshop on Model-based Systems and Qualitative Reasoning, Budapest, Hungary, 1996.
  • Peter Struss, Andreas Malik, and Martin Sachenbacher: Qualitative Modeling is the Key. 6th International Workshop on Principles of Diagnosis (DX-95), Goslar, Germany, 1995.


Theses and Student Projects

orange line

  • Martin Sachenbacher: Automated Qualitative Abstraction and its Application to Automotive Systems. Ph.D. Thesis, Technische Universität München, Germany, 2001. [Thesis PDF]
  • Martin Sachenbacher: Model-based Diagnosis of Anti-lock Braking Systems (in German), Master Thesis, Technische Universität München, Germany, 1995.
  • Martin Sachenbacher: An Approach to Solving Cutting Stock Problems with Constraint Logic Programming (in German). Student Project, Technische Universität München, Germany, 1994.