Publications
Journal Papers and Book Chapters
|
- 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
|
- Martin Sachenbacher and Brian C.
Williams: Conflict-directed A* Search for Soft Constraints.
International Conference on Integration of Constraint Programming, Artificial Intelligence, and
Operations Research Techniques (CPAIOR-06), Cork, Ireland, 2006.
PDF
- Tsoline Mikaelian,
Brian C. Williams, and Martin Sachenbacher. Model-based Monitoring and Diagnosis of Systems with Software-Extended Behavior.
20th National Conference on Artificial Intelligence (AAAI-05), Pittsburgh,
USA, 2005. (Acceptance rate: 18%) 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. (Acceptance rate: 18%) 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.PDF
- 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)
|
- Martin Sachenbacher and Brian C.
Williams: Solving Soft Constraints by Separating Optimization and Satisfiability. 7th
International Workshop on Preferences and Soft Constraints (SOFT-05), Sitges, Spain, 2005. PDF
- 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. PDF
- Tsoline Mikaelian,
Brian C. Williams, and Martin Sachenbacher. Autonomous Diagnosis based on Software-Extended Behavior Models.
Proceedings International Symposium on Artificial Intelligence, Robotics, and Automation in Space (ISAIRAS-05),
Munich, Germany, 2005.
- 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. PDF
- Tsoline Mikaelian,
Brian C. Williams, and Martin Sachenbacher. Probabilistic Monitoring from Mixed Software and Hardware Specifications.
ICAPS Workshop on Verification and Validation of Planning and Scheduling Systems,
Monterey, USA, 2005.
- 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
|
- 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.
|
|