Department of Computer Science Technische Universitaet Muenchen
Chair IV: Software & Systems Engineering Home | Research/Competence | Teaching| People | Publications | Misc | Contact | Intranet
MQM  Model-Based Systems & Qualitative Reasoning            
Home | Projects | Teaching | People | Publications | Theses & Guided Research | Jobs


MQM: Topics Guided Research Projects (GR), Bachelor Theses (BT), Master Thesis (MT)


  • Modeling and model-based diagnosis of a HVAC system (Heating Ventilation and Air Conditioning)
    • Automatic/manual transformation of Modelica models into qualitative diagnosis models and their use for model-based diagnosis (BT, MT)

  • Safety analysis of systems with embedded software
    • Modeling of physical and software components for safety analysis (BT, MT)
    • Hierarchical FMEA (MT)
    • Concept and implementation of model-based fault-tree generation (BT, MT)

  • Process-oriented Modeling and Decision support
    • Re-implementation of process-oriented model composition under Windows 7 (GR)
    • Extension of process-oriented modeling (process types, e.g. generic transportation model, invariants, spatial constructs, …) (GR, BT, MT)
    • Interactive process-oriented situation assessment and therapy proposal (MT)
    • Concept and implementation of heuristics for automated model revision within situation assessment and therapy proposal (MT)
    • Specification and implementation of a DSS framework (GR, BT)
    • Process-oriented configuration of numerical models (MT)

  • Within the Multiple Modeling Environment MOM
    • Specification and implementation of a library concept with navigation through a space of multiple models/modeling assumptions) (BT, MT)
    • Concept and implementation of a generic solution to automated model composition (GR, BT)
    • Implementation of an interface MOM-Modelica (GR, BT)
    • Concept and implementation of model-based prediction (MT)
    • Concept and implementation of various model transformations (structural aggregation, model compilation, creation of deviation models, …) (GR, BT)
    • Canonical representation of relations in MOM (GR)
    • Integration of interval models (intlab) in MOM (BT, MT)
    • Concept and implementation of process-oriented modeling in MOM (BT, MT)

  • A generic configuration system
    • Application a Generic Configuration System to Configuration of Passenger Cars Based on Soft Requirements (GR, BT). For details please see here.
    • Concept and implementation of a user interface (GR, BT)

  • General

    Generally, the MQM group offers diploma/master/bachelor thesis and SEPs in the following areas:

    • Industrielle Anwendungen von intelligenter Verhaltensanalyse und Diagnose
    • Theoretische Grundlagen der modellbasierten Diagnose
    • Toolprogrammierung für eine integrierte Softwareumgebung
    • Entscheidungsunterstützende Systeme im Umweltbereich
    • Modellierung physikalischer und ökologischer Systeme

    If you are interested please contact Prof. Dr. Peter Struss


Computer Science IX | Technische Universität München