DE102009008175A1 - Control system for controlling measures in complex situation, has control unit and data model segmentation unit which segments data model of complex situation to sub situations, where formal description is generated for each sub situations - Google Patents

Control system for controlling measures in complex situation, has control unit and data model segmentation unit which segments data model of complex situation to sub situations, where formal description is generated for each sub situations Download PDF

Info

Publication number
DE102009008175A1
DE102009008175A1 DE102009008175A DE102009008175A DE102009008175A1 DE 102009008175 A1 DE102009008175 A1 DE 102009008175A1 DE 102009008175 A DE102009008175 A DE 102009008175A DE 102009008175 A DE102009008175 A DE 102009008175A DE 102009008175 A1 DE102009008175 A1 DE 102009008175A1
Authority
DE
Germany
Prior art keywords
situation
situations
partial
control system
data model
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Withdrawn
Application number
DE102009008175A
Other languages
German (de)
Inventor
Michael Dr. Berger
Michael Pirker
Thomas Dr. Springer
Anni-Yasmin Dr. Turhan
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Siemens AG
Original Assignee
Siemens AG
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Siemens AG filed Critical Siemens AG
Priority to DE102009008175A priority Critical patent/DE102009008175A1/en
Publication of DE102009008175A1 publication Critical patent/DE102009008175A1/en
Withdrawn legal-status Critical Current

Links

Classifications

    • G—PHYSICS
    • G05—CONTROLLING; REGULATING
    • G05B—CONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
    • G05B17/00—Systems involving the use of models or simulators of said systems
    • G05B17/02—Systems involving the use of models or simulators of said systems electric
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06N—COMPUTING ARRANGEMENTS BASED ON SPECIFIC COMPUTATIONAL MODELS
    • G06N7/00—Computing arrangements based on specific mathematical models
    • G06N7/01—Probabilistic graphical models, e.g. probabilistic networks

Landscapes

  • Physics & Mathematics (AREA)
  • Engineering & Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Theoretical Computer Science (AREA)
  • Artificial Intelligence (AREA)
  • Pure & Applied Mathematics (AREA)
  • Data Mining & Analysis (AREA)
  • Evolutionary Computation (AREA)
  • Algebra (AREA)
  • Mathematical Analysis (AREA)
  • Mathematical Optimization (AREA)
  • Computational Mathematics (AREA)
  • Computing Systems (AREA)
  • General Engineering & Computer Science (AREA)
  • Mathematical Physics (AREA)
  • Software Systems (AREA)
  • Probability & Statistics with Applications (AREA)
  • Automation & Control Theory (AREA)
  • Information Retrieval, Db Structures And Fs Structures Therefor (AREA)

Abstract

The control system (1) has a control unit (8) and a data model segmentation unit (2) which segments a data model of a complex situation to the sub situations. A formal description is generated for each sub situations, where the formal description consists of the relations. A consistency test unit (3) is provided for carrying out a consistency test of the segmented sub situations depending on the generated formal description for forming a hierarchical description logic model of the complex situation. Independent claims are also included for: (1) a method for controlling measures in a complex situation; (2) a computer program with program instructions; and (3) a data medium for storing a computer program.

Description

Die Erfindung betrifft ein System und ein Verfahren zum Steuern von Maßnahmen bei einer komplexen Situation und insbesondere die automatisierte Erkennung komplexer Situationen sowie die Durchführung von Maßnahmen, die an die jeweils auftretende Situation angepasst sind.The The invention relates to a system and a method for controlling activities in a complex situation and in particular automated detection complex situations and the implementation of measures, which are adapted to the respective situation.

Systeme werden insbesondere durch die zunehmende Vernetzung immer komplexer und unüberschaubarer. Aufgrund der zunehmenden Komplexität von Systemen und deren zugehörigen Modelle wird auch die Darstellung der Systeme komplexer, sodass Situationen, die in der Umgebung des jeweiligen Systems auftreten, in vielen Fällen schwer beherrschbar sind. Hinzu kommt, dass in der Regel nicht alle zur Erfassung einer Gesamtsituation notwendigen Informationen, insbesondere Umgebungsinformationen, vorliegen. Beispielsweise kann es vorkommen, dass nicht alle Sensordaten aller in dem jeweiligen System vorhandenen Sensoren vorliegen. Bei herkömmlichen Systemen, die zur Bewältigung komplexer Situationen vorgesehen sind, besteht nicht die Möglichkeit auf Grundlage von nur unvollständig vorliegenden Daten, zum Beispiel von nur teilweise vorliegenden Sensordaten, eine gezielte Entscheidung zu treffen und entsprechende Maßnahmen gezielt durchzuführen bzw. entsprechende Aktionen gezielt auszulösen. Bei einem für komplexe Situationen ausgelegten herkömmlichen System können zudem unvorhergesehene bzw. ungeplante Situationen auftreten, auf die ein herkömmliches System nicht flexibel reagieren kann.systems are becoming increasingly complex, especially as a result of increasing networking and unmanageable. Due to the increasing complexity of systems and their associated models will be also the presentation of systems more complex, so situations, that occur in the environment of each system, in many make difficult to control. On top of that, not everyone is usually Information necessary for recording an overall situation, in particular Environmental information available. For example, it can happen that not all sensor data of all existing in the respective system Sensors are present. In conventional Systems that tackle complex Situations are provided, there is no possibility based on only incomplete present data, for example, of only partially available Sensor data, make a targeted decision and appropriate activities to carry out targeted or trigger appropriate actions. At one for complex situations designed conventional System can In addition, unforeseen or unplanned situations occur the one conventional system can not react flexibly.

Es ist daher eine Aufgabe der vorliegenden Erfindung ein Verfahren in ein System zum Steuern von Maßnahmen bei einer komplexen Situation zu schaffen, die auch bei unvollständigen Umgebungsinformationen geeignete Maßnahmen einleiten.It Therefore, an object of the present invention is a method in a system for controlling actions in a complex To create situation, even with incomplete environmental information appropriate measures initiate.

Diese Aufgabe wird ebenfalls durch die Merkmale des Verfahrensanspruch 11 gelöst.These Task is also by the features of the method claim 11 solved.

Die Erfindung schafft ein Steuerungssystem zum Steuern von Maßnahmen bei einer komplexen Situation KS mit:
einer Zerlegungseinheit, die ein Datenmodell der komplexen Situation KS in Teilsituationen TSi rekursiv zerlegt,
wobei für jede Teilsituation TSi eine Formalbeschreibung generiert wird, die aus Relationen R besteht, welche jeweils eine logische Beziehung der jeweiligen Teilsituation TSi zu einer anderen Teilsituation TSj angibt,
mit einer Konsistenzprüfeinheit zur Durchführung einer Konsistenzprüfung der zerlegten Teilsituationen TSi anhand der generierten zu den Teilsituationen TSi zugehörigen Formalbeschreibungen Bi zur Bildung eines hierarchischen Beschreibungslogikmodells der komplexen Situation KS und mit
einer Steuereinheit, die bei Auftreten einer Teilsituation TSi des gebildeten hierarchischen Beschreibungslogikmodells mindestens eine zu der jeweiligen Teilsituation TSi zugehörige Maßnahme steuert bzw. einleitet.The invention provides a control system for controlling actions in a complex situation KS with:
a decomposition unit which recursively decomposes a data model of the complex situation KS in partial situations TS i ,
wherein for each partial situation TS i a formal description is generated which consists of relations R which in each case indicates a logical relationship of the respective partial situation TS i to another partial situation TS j ,
with a Konsistenzprüfeinheit for performing a consistency check of dissected situations TS i on the basis of generated situations to the partial TS i associated Formal Description of B i for forming a hierarchical description logic model of the complex situation KS and
a control unit which controls or initiates at least one measure associated with the respective partial situation TS i when a partial situation TS i of the hierarchical description logic model formed occurs.

Das erfindungsgemäße Steuerungssystem bietet den Vorteil, dass die Modellierung komplexer Situationen insbesondere für einen Entwickler von Softwareapplikationen beherrschbar bleibt.The inventive control system offers the advantage that modeling complex situations in particular for one Developer of software applications remains manageable.

Darüber hinaus werden bei dem erfindungsgemäßen Steuerungssystem Teilsituationen unabhängig voneinander in dem Beschreibungslogikmodell modelliert, sodass ein paralleles und sogar verteiltes Verarbeiten von Teilsituationen möglich ist.Furthermore be in the control system according to the invention Partial situations independent from each other in the description logic model, so that a parallel and even distributed processing of partial situations possible is.

Mit dem erfindungsgemäßen Steuerungssystem ist es zudem möglich, alternative Situationen unabhängig voneinander in dem Beschreibungslogikmodell zu modellieren, sodass eine parallele Bearbeitung der alternativen Teilsituationen möglich ist. Dies hat zur Folge, dass auch die für die jeweilige Teilsitu ation zu ergreifenden Maßnahmen parallel ausgeführt bzw. gesteuert werden können. Es ist insbesondere auch die Datenverarbeitung von unvollständigem Wissen über die komplexe Situation bzw. von unvollständigen Informationsdaten möglich.With the control system according to the invention is it also possible independent situations independent from each other in the description logic model, so that a parallel processing of the alternative partial situations is possible. This As a result, that too for the respective sub-situations to be taken in parallel can be controlled. It is particularly the data processing of incomplete knowledge of the complex situation or incomplete information data possible.

Weiterhin sind bei dem erfindungsgemäßen Steuerungssystem die unabhängigen Teilsituationen über Relationen der Beschreibungslogik miteinander logisch verknüpft. Dies ermöglicht eine einfache Erweiterbarkeit des erfindungsgemäßen Steuerungssystems.Farther are in the control system according to the invention the independent ones Partial situations over Relation of the description logic logically linked together. This allows a simple expandability of the control system according to the invention.

Bei einer Ausführungsform des erfindungsgemäßen Steuerungssystems wird das gespeicherte Datenmodell der komplexen Situation durch ein domänenspezifisches Datenmodell gebildet, wobei es sich in der Regel um ein monolithisch modelliertes Datenmodell handelt, beispielsweise ein Baye'sches Netz, ein Hidden-Markov Modell oder um ein neuronales Netz.at an embodiment the control system according to the invention the stored data model goes through the complex situation a domain specific Data model formed, which is usually a monolithic modeled data model is, for example, a Bayesian network, a hidden Markov Model or around a neural network.

Bei einer Ausführungsform des erfindungsgemäßen Steuerungssystems weist dieses eine Speichereinheit zum Speichern des Datenmodells auf.at an embodiment the control system according to the invention this has a memory unit for storing the data model.

Bei einer alternativen Ausführungsform wird das Datenmodell von dem Steuerungssystem über eine Schnittstelle eingelesen.at an alternative embodiment the data model is read by the control system via an interface.

Bei einer Ausführungsform des erfindungsgemäßen Steuerungssystems weist dieses eine weitere Speichereinheit zum Speichern des hierarchischen Beschreibungslogikmodells der komplexen Situation auf.at an embodiment the control system according to the invention this has a further memory unit for storing the hierarchical Description logic model of the complex situation.

Dies bietet den Vorteil, dass ein gebildetes Beschreibungslogikmodell bei einer Erweiterung der komplexen Situation bzw. bei einer Erhöhung der Komplexität der Situation in einfacher Weise anpassbar ist.This offers the advantage that a formed description logic model expanding the complex situation or increasing the complexity of the situation is easily customizable.

Bei einer Ausführungsform des erfindungsgemäßen Steuerungssystems ist eine weitere Speichereinheit zum Speichern von Relationen R vorgesehen. Auf diese Weise ist es möglich, bei spielsweise auf eine in einer Datenbank hinterlegte Bibliothek von Relationen zuzugreifen, um die Formalbeschreibungen für die verschiedenen Teilsituationen zu generieren.at an embodiment the control system according to the invention is another storage unit for storing relations R intended. In this way it is possible, for example, on a to access a library of relations stored in a database to the formal descriptions for to generate the different partial situations.

Bei einer Ausführungsform des erfindungsgemäßen Steuerungssystems geben die Relationen (R) Vererbungsbeziehungen und Abhängigkeitsbeziehungen zwischen den Teilsituationen TSi an.In one embodiment of the control system according to the invention, the relations (R) indicate inheritance relationships and dependency relationships between the sub-situations TS i .

Bei einer Ausführungsform des erfindungsgemäßen Steuerungssystems erkennt die Steuereinheit das Auftreten einer Teilsituation in Abhängigkeit von Umgebungsinformationen.at an embodiment the control system according to the invention the control unit recognizes the occurrence of a partial situation as a function of Environmental information.

Bei einer möglichen Ausführungsform des erfindungsgemäßen Steuerungssystems ist die Steuereinheit an Sensoren angeschlossen, welche die Umgebungsinformationen an die Steuereinheit liefern.at a possible embodiment the control system according to the invention the control unit is connected to sensors which provide the environmental information to the control unit.

Bei einer Ausführungsform des erfindungsgemäßen Steuerungssystems ist die Steuereinheit an Aktoren angeschlossen, welche die Steuereinheit zur Durchführung der jeweiligen Maßnahme ansteuert.at an embodiment the control system according to the invention the control unit is connected to actuators, which the control unit for execution the respective measure controls.

Die Erfindung schafft ferner ein Verfahren zum Steuern von Maßnahmen bei einer komplexen Situation mit den Schritten:
Rekursives Zerlegen eines Datenmodells der komplexen Situation KS in Teilsituationen TSi,
wobei für jede Teilsituation TSi eine Formalbeschreibung generiert wird, die aus Relationen (R) besteht, welche jeweils eine logische Beziehung der jeweiligen Teilsituation TSi zu einer anderen Teilsituation TSj angibt;
Durchführen einer Konsistenzprüfung der zerlegten Teilsituationen TSi anhand der generierten zu den Teilsituationen TSi zugehörigen Formalbeschreibungen Bi zur Bildung eines hierarchischen Beschreibungslogikmodells der komplexen Situation KS,
wobei bei Auftreten einer Teilsituation TSi des gebildeten hierarchischen Beschreibungslogikmodells mindestens eine zu der jeweiligen Teilsituation TSi zugehörige Maßnahme ausgeführt wird.The invention further provides a method for controlling actions in a complex situation, comprising the steps of:
Recursive decomposition of a data model of the complex situation KS in partial situations TS i ,
wherein for each partial situation TS i a formal description is generated which consists of relations (R), which in each case indicates a logical relationship of the respective partial situation TS i to another partial situation TS j ;
Performing a consistency check of dissected situations TS i on the basis of generated situations to the partial TS i associated Formal Description of B i for forming a hierarchical description logic model of the complex situation KS,
wherein upon occurrence of a partial situation TS i of the hierarchical description logic model formed, at least one measure corresponding to the respective partial situation TS i is executed.

Die Erfindung schafft ferner ein Computerprogramm mit Programmbefehlen zur Durchführung eines Verfahrens zum Steuern von Maßnahmen bei einer komplexen Situation mit den Schritten:
Rekursives Zerlegen eines Datenmodells der komplexen Situation KS in Teilsituationen TSi,
wobei für jede Teilsituation TSi eine Formalbeschreibung generiert wird, die aus Relationen R besteht, welche jeweils eine logische Beziehung der jeweiligen Teilsituation TSi zu einer anderen Teilsituation TSj angibt;
Durchführen einer Konsistenzprüfung der zerlegten Teilsituationen TSi anhand der generierten zu den Teilsituationen TSi zugehörigen Formalbeschreibungen (Bi) zur Bildung eines hierarchischen Beschreibungslogikmodells der komplexen Situation KS,
wobei bei Auftreten einer Teilsituation TSi des gebildeten hierarchischen Beschreibungslogikmodells mindestens eine zu der jeweiligen Teilsituation TSi zugehörige Maßnahme ausgeführt wird.The invention further provides a computer program with program instructions for carrying out a method for controlling measures in a complex situation comprising the steps:
Recursive decomposition of a data model of the complex situation KS in partial situations TS i ,
wherein for each partial situation TS i a formal description is generated which consists of relations R, which in each case indicates a logical relationship of the respective partial situation TS i to another partial situation TS j ;
Performing a consistency check of the decomposed partial situations TS i on the basis of the generated formal descriptions (B i ) associated with the partial situations TS i to form a hierarchical description logic model of the complex situation KS,
wherein upon occurrence of a partial situation TS i of the hierarchical description logic model formed, at least one measure corresponding to the respective partial situation TS i is executed.

Die Erfindung schafft ferner einen Datenträger zum Speichern eines derartigen Computerprogramms.The The invention also provides a data carrier for storing such Computer program.

Im Weiteren werden Ausführungsformen des erfindungsgemäßen Steuerungssystems und des erfindungsgemäßen Verfahrens zum Steuern von Maßnahmen bei einer komplexen Situation unter Bezugnahme auf die beigefügten Figuren beschrieben.in the Further will be embodiments the control system according to the invention and the method of the invention to control actions in a complex situation with reference to the attached figures described.

Es zeigen:It demonstrate:

1: Ein Blockschaltbild einer möglichen Ausführungsform des erfindungsgemäßen Steuerungssystems; 1 : A block diagram of a possible embodiment of the control system according to the invention;

2: Ein Ablaufdiagramm einer möglichen Ausführungsform des erfindungsgemäßen Verfahrens; 2 : A flow chart of a possible embodiment of the method according to the invention;

3: Ein Diagramm zur Verdeutlichung der Vorgehensweise des erfindungsgemäßen Verfahrens; 3 : A diagram to illustrate the procedure of the method according to the invention;

4: Ein Diagramm eines Beispiels einer komplexen Situation, die in Teilsituationen zerlegt ist. 4 : A diagram of an example of a complex situation that is decomposed in partial situations.

In 1 ist ein Blockschaltbild einer möglichen Ausführungsform des erfindungsgemäßen Steuerungssystems gezeigt. Wie man aus 1 erkennen kann, weist ein Steuerungssystem 1 gemäß der Erfindung mehrere Komponenten auf. Das Steuerungssystem 1 enthält eine Datenmodell-Zerlegungseinheit 2, die mit einer Konsistenzprüfeinheit 3 verbunden ist. Die Datenmodell-Zerlegungseinheit 2 und die Konsistenzprüfeinheit 3 können durch zwei getrennte Verarbeitungseinheiten gebildet sein oder wie bei dem in Figur dargestellten Ausführungsbeispiel in der gleichen Datenverarbeitungseinheit 4 integriert sein. Bei der Datenverarbeitungseinheit 4 kann es sich beispielsweise um einen Rechner bzw. einen Computer handeln. Die Datenverarbeitungseinheit 4 kann einen oder mehrere Prozessoren bzw. Mikroprozessoren aufweisen. Bei dem in 1 dargestellten Ausführungsbeispiel ist die Datenmodell-Zerlegungseinheit 2 mit einem Datenmodellspeicher 5 verbunden, in dem ein Datenmodell einer komplexen Situation KS gespeichert ist. Der Datenmodellspeicher 5 kann ein oder mehrere Datenmodelle der komplexen Situation KS speichern. Bei den Datenmodellen handelt es sich um domänenspezifische Datenmodelle, beispielsweise um ein Bayes'sches Netz, ein Hidden-Markov Modell oder um ein neuronales Netz. Darüber hinaus können in dem Speicher 5 domänenspezifische ontologische Modellierungen zur Modellierung der komplexen Situation KS abgelegt sein. Bei einer alternativen Ausführungsform werden eines oder mehrerer Datenmodelle der komplexen Situation KS über eine Schnittstelle durch die Datenmodell-Zerlegungseinheit 2 eingelesen. Bei einer möglichen Ausführungsform befindet sich das Datenmodell der komplexen Situation KS in einer entfernten Datenbank eines Servers. Die Datenmodell-Zerlegungseinheit 2 liest das Datenmodell aus dem Datenmodellspeicher 5 aus bzw. über eine Schnittstelle ein und zerlegt systematisch die komplexe Situation KS in Teilsituationen TS. Die Zerlegung erfolgt dabei rekursiv, d. h. jede Teilsituation TS kann ihrerseits in weitere Teilsituationen TS zerlegt werden. Für jede Teilsituation TS wird eine eindeutige Formalbeschreibung Bi generiert, die aus Relationen R besteht. Jede Relation R gibt eine logische Beziehung der jeweiligen Teilsituation TSi zu einer anderen Teilsituation TSj an. Die komplexe ursprüngliche Situation KS wird somit in eine Menge von Teilsituationen TS und deren zugehörigen Formalbeschreibungen B, die relevant für den aktuellen Kontext sind, transformiert. Die Teilsituation TS und ihre zugehörige Formalbeschreibung bilden ein Paar bzw. ein Tupel TS, B, sodass die komplexe Situation KS als Menge dieser Paare darstellbar ist:
KS = {(TSi, Bi)}.In 1 a block diagram of a possible embodiment of the control system according to the invention is shown. How to get out 1 can recognize, has a control system 1 According to the invention, a plurality of components. The control system 1 contains a data model decomposition unit 2 using a consistency checker 3 connected is. The data model decomposition unit 2 and the consistency check unit 3 may be formed by two separate processing units or, as in the embodiment shown in FIG. 1, in the same data processing unit 4 be integrated. At the data processing unit 4 For example, it can be a computer or a computer. The data processing unit 4 may include one or more processors or microprocessors. At the in 1 Illustrated embodiment is the data model decomposition unit 2 with a data model store 5 connected, in which a data model of a complex situation KS is stored. The data model store 5 can store one or more data models of the complex situation KS. The data models are domain-specific data models, for example a Bayesian network, a hidden Markov model or a neural network. In addition, in the memory 5 domain-specific ontological modeling to model the complex situation KS may be filed. In an alternative embodiment, one or more data models of the complex situation KS are interfaced by the data model decomposition unit 2 read. In one possible embodiment, the data model of the complex situation KS is located in a remote database of a server. The data model decomposition unit 2 reads the data model from the data model store 5 from or via an interface and systematically decomposes the complex situation KS in partial situations TS. The decomposition takes place recursively, ie each partial situation TS can itself be split into further partial situations TS. For each partial situation TS, a unique formal description B i is generated, which consists of relations R. Each relation R indicates a logical relationship of the respective sub-situation TS i to another sub-situation TS j . The complex original situation KS is thus transformed into a set of sub-situations TS and their associated formal descriptions B that are relevant to the current context. The partial situation TS and its associated formal description form a pair or a tuple TS, B, so that the complex situation KS can be represented as a set of these pairs:
KS = {(TS i , B i )}.

Bei der komplexen Situation KS kann es sich beispielsweise bei einem Anwendungsbeispiel um eine intelligente Türschließanlage handeln. Ein Beispiel für eine komplexe Situation KS lautet: ”Situation vor der Wohnungstüre”. Die Datenmodell-Zerlegungseinheit 2 zerlegt aufgrund von domänenspezifischen Kriterien diese komplexe Situation KS in Teilsituation TS. In dem angegebenen Beispielfall lauten mögliche spezifische Teilsituationen TS: ”Die Situation der Bewohner des Hauses” und ”Die Situation vor der Tür”, die relevant für die komplexe Situation KS ”Türschließanlage” sind. Die Formalbeschreibung Bi weist für den relevanten Kontext formal definierte Relationen Rk auf, wobei jede Relation Rk eine eindeutige Beziehung zwischen zwei Teilsituationen TSi, TSj angibt: RK(TSi, TSj).For example, in the case of an application example, the complex situation KS can be an intelligent door locking system. An example of a complex situation KS is: "situation in front of the apartment door". The data model decomposition unit 2 due to domain-specific criteria, decomposes this complex situation KS into partial situation TS. In the given example case are possible specific sub-situations TS: "The situation of the occupants of the house" and "The situation at the door", which are relevant to the complex situation KS "door locking system". The formal description B i has formally defined relations R k for the relevant context, each relation R k indicating a unique relationship between two sub-situations TS i , TS j : R K (TS i , TS j ).

Die Datenmodell-Zerlegungseinheit 2 ist für die Zerlegung des Datenmodells in dem in 1 dargestellten Ausführungsbeispiel mit einem Relationsspeicher 6 verbunden, in dem verschiedene vorgegebene oder anwendungsspezifisch konfigurierte Relationen R abgespeichert sein können. Die verschiedenen Relationen R können vorgegebene Relationen, wie beispielsweise Konjunktionsrelationen, Disjunktionsrelationen und Negations relationen aufweisen. Die Relationen R können dabei Vererbungsbeziehungen und Abhängigkeitsbeziehungen zwischen Teilsituationen TSi angeben. Eine Abhängigkeitsbeziehung entsteht beispielsweise dann, wenn eine bestimmte Teilsituation TS dann erfüllt ist, wenn eine Menge untergeordneter Teilsituationen erfüllt ist. Diese Vererbungsbeziehungen und Abhängigkeitsbeziehungen spiegeln die Abhängigkeiten und Zusammenhänge zwischen den verschiedenen Teilsituationen TS wieder.The data model decomposition unit 2 is for the decomposition of the data model in the in 1 illustrated embodiment with a relation memory 6 connected, in which various predetermined or application-specific configured relations R can be stored. The various relations R can have given relations, such as conjunction relations, disjunction relations and negation relations. The relations R can specify inheritance relationships and dependency relationships between sub-situations TS i . A dependency relationship arises, for example, when a certain sub-situation TS is fulfilled when a set of subordinate sub-situations is fulfilled. These inheritance relationships and dependency relationships reflect the dependencies and relationships between the different sub-situations TS.

Die Formalbeschreibung B einer konkreten Teilsituation TS kann folgende Elemente umfassen:
Zum Beispiel können die Teilsituationen TS1 = ”Bewohner ist nicht zu Hause” und TS2 = ”Bewohner ist zu Hause” durch ”nicht (TS1, TS2)” beschrieben werden.The formal description B of a concrete partial situation TS can comprise the following elements:
For example, the sub-situations TS 1 = "Resident is not at home" and TS 2 = "Resident is at home" can be described by "not (TS 1 , TS 2 )".

Mögliche anwenderdefinierte Relationen R zwischen Teilsituationen können mit einer Relation Rk (TSi, TSj) definiert werden, wobei die Relation Rk für die Abhängigkeit zwischen Teilsituationen TS steht. Beispielsweise sind die Teilsituationen ”Bewohner ist nicht zu Hause” und ”Niemand macht die Tür auf” voneinander abhängig, d. h. wenn ein Bewohner nicht zu Hause ist, dann macht niemand die Tür auf. Jede anwenderdefinierte Relation R kann folgende Eigenschaften haben:

  • • Transitiv: Zum Beispiel ist die Relation ”gehört-zu” transitiv, wenn gehört-zu (TS1, TS2) gilt und gehört-zu (TS2 TS3) gilt, dann gilt auch gehört-zu (TS1, TS3)
  • • Invers: Zum Beispiel ist die Relation ”abhängig von” invers zur Relation ”beeinflusst”, d. h. wenn abhängig-von (TS1, TS2) gilt, dann gilt auch beeinflusst (TS2, TS1)
  • • Funktional: Zum Beispiel ist die Relation ”identifiziert – durch ”funktional: wenn identifiziert-durch (TS1, TS3) gilt, dann gilt auch äquivalent (TS2, TS3)
  • • Symmetrisch: Gilt zum Beispiel für die Relation ”und”: wenn und (TS1, TS2) gilt, dann gilt auch und (TS2, TS1).
Possible user-defined relations R between sub-situations can be defined with a relation R k (TS i , TS j ), where the relation R k stands for the dependency between sub-situations TS. For example, the sub-situations "Residents are not at home" and "No one's opening the door" are interdependent, so if a resident is not home, no one opens the door. Each user-defined relation R can have the following properties:
  • • Transitive: For example, the relation "listened-to" is transitive, if listen-to-listen (TS 1 , TS 2 ) and listen-to-listen (TS 2 TS 3 ), then listen-to-listen (TS 1 , TS 3 )
  • • Inverse: For example, the relation "dependent on" is inversely related to the relation "influenced", ie if dependent-on (TS 1 , TS 2 ), then also applies (TS 2 , TS 1 )
  • • Functional: For example, if the relation "identified - by" is functional: if identified-by (TS 1 , TS 3 ), then equivalently (TS 2 , TS 3 )
  • • Symmetric: Applies, for example, to the relation "and": if and (TS 1 , TS 2 ), then also applies and (TS 2 , TS 1 ).

Die Konsistenzprüfeinheit 3 führt eine Konsistenzprüfung der zerlegten Teilsituationen TSi durch. Diese Konsistenzprüfung erfolgt anhand der generierten zu den Teilsituationen zugehö rigen Formalbeschreibung Bi zur Bildung eines hierarchischen Beschreibungslogikmodells der komplexen Situation KS. Das hier abgebildete Beschreibungslogikmodell wird durch die Konsistenzprüfeinheit 3 in einem Speicher 7 für das Beschreibungslogikmodell abgelegt bzw. zwischengespeichert. Durch die Konsistenzprüfeinheit 3 kann dann mit Hilfe eines Beschreibungslogik-Reasoners ein automatisierter Konsistenz-Check durchgeführt werden. Durch die automatisierte Konsistenzprüfung wird geprüft, ob eine Teilsituation TS korrekt formalisiert ist, d. h. ob das Modell der komplexen Situation zu der Teilsituation TS passt. Dabei wird insbesondere überprüft, ob die Formalbeschreibung B der jeweiligen Teilsituation TS unter anderem die folgenden Bedingungen erfüllt:

  • • Jeder Teilsituation TS muss eine eindeutige Beschreibung zugewiesen werden. Eine fehlerhafte Definition wäre zum Beispiel: (TS, B1) und (TS, B2), wobei B1 und B2 unterschiedlich sind.
  • • Es darf keine zyklische Beschreibung von Teilsituationen TS in einer komplexen Situation KS vorkommen. Eine fehlerhafte zyklische Definition wäre zum Beispiel: KS = {(TS, B1), ..., (TSn, Bn)}, wobei jedes Bi ein TS1+1 referenziert (für 0 < i < n), und Bn das Element TS1 referenziert.
  • • Teilsituationen TS dürfen nicht leer sein.
The consistency check unit 3 performs a consistency check of the decomposed partial situations TS i . This consistency check takes place on the basis of the generated formal description B i associated with the partial situations in order to form a hierarchical description logic model of the complex situation KS. The description logic model depicted here is provided by the consistency checker 3 in a store 7 stored or cached for the description logic model. Through the consistency test fineness 3 An automated consistency check can then be carried out with the aid of a description logic reasoner. The automated consistency check checks whether a partial situation TS is correctly formalized, ie whether the model of the complex situation matches the partial situation TS. In particular, it is checked whether the formal description B of the respective sub-situation TS fulfills, inter alia, the following conditions:
  • • Every sub-situation TS must be assigned a unique description. An erroneous definition would be for example: (TS, B 1 ) and (TS, B 2 ), where B 1 and B 2 are different.
  • • There must be no cyclic description of partial situations TS in a complex situation KS. An erroneous cyclic definition would be for example: KS = {(TS, B 1 ), ..., (TS n , B n )}, where each B i references a TS 1 + 1 (for 0 <i <n), and B n the element TS 1 referenced.
  • • Sub-situations TS must not be empty.

Das Steuerungssystem 1, das in 1 dargestellt ist, weist ferner eine Steuereinheit 8, beispielsweise eine CPU auf, die Zugriff auf das in dem Speicher 7 gespeicherte Beschreibungslogikmodell hat. Darüber hinaus ist die Steuereinheit 8 bei dem in 1 dargestellten Ausführungsbeispiel an Sensoren 9 angeschlossen und erhält von diesen Sensoren 9 Sensordaten bzw. Umgebungsinformationen. Die Steuereinheit 8 steuert ferner über Steuerleitungen Aktoren 10. Die Steuereinheit 8 erkennt anhand der von den Sensoren 9 gelieferten Umgebungsinformationen das Auftreten von Teilsituationen TS des Beschreibungslogikmodells, das in dem Speicher 7 gespeichert ist. Bei Auftreten einer Teilsituation TS des gebildeten hie rarchischen Beschreibungslogikmodells wird durch die Steuereinheit 8 mindestens eine zu der jeweiligen Teilsituation TS zugehörige Maßnahme ausgeführt. Bei einer möglichen Ausführungsform ist die zu einer Teilsituation TS zugehörige Maßnahme, ebenfalls im Speicher 7 abgelegt. Bei einer möglichen Ausführungsform besteht die Maßnahme in der Ansteuerung eines oder verschiedener Aktoren 10. Eine derartige Maßnahme bzw. Aktion kann beispielsweise im öffnen einer Türe, durch öffnen einer Türschließanlage bestehen.The control system 1 , this in 1 is shown, further comprises a control unit 8th For example, a CPU that has access to that in memory 7 has stored description logic model. In addition, the control unit 8th at the in 1 illustrated embodiment of sensors 9 connected and receives from these sensors 9 Sensor data or environment information. The control unit 8th also controls actuators via control lines 10 , The control unit 8th recognizes by the sensors 9 supplied environment information the occurrence of partial situations TS of the description logic model that in the memory 7 is stored. Upon occurrence of a partial situation TS of the formed hierarchical description logic model is by the control unit 8th at least one of the respective sub-situation TS associated action executed. In one possible embodiment, the measure associated with a partial situation TS is also in the memory 7 stored. In one possible embodiment, the measure consists in the control of one or several actuators 10 , Such a measure or action, for example, in opening a door, by opening a door locking system exist.

Bei einer möglichen Ausführungsform des erfindungsgemäßen Steuerungssystems 1 ist die Steuereinheit 8 getrennt von dem Modellspeicher 7 der Datenverarbeitungseinheit 4. Bei einer möglichen Ausführungsform hat die Steuereinheit 8 einen Zugriff auf das hierarchische Beschreibungslogikmodell über ein Netzwerk. Bei einer weiteren Ausführungsform des erfindungsgemäßen Steuerungssystems 1 verfügt dieses über mehrere Steuereinheiten bzw. Prozessoren 8, die jeweils an Sensoren 9 und Aktoren 10 angeschlossen sind.In a possible embodiment of the control system according to the invention 1 is the control unit 8th separate from the model memory 7 the data processing unit 4 , In one possible embodiment, the control unit has 8th an access to the hierarchical description logic model over a network. In a further embodiment of the control system according to the invention 1 This has several control units or processors 8th , each to sensors 9 and actuators 10 are connected.

Die Erfindung schafft ferner ein Verfahren zum Steuern von Maßnahmen bei einer komplexen Situation KS. Die 2 zeigt ein Ablaufdiagramm einer möglichen Ausführungsform des erfindungsgemäßen Verfahrens.The invention also provides a method for controlling actions in a complex situation KS. The 2 shows a flow diagram of a possible embodiment of the method according to the invention.

In einem ersten Schritt S1 ist zunächst das gespeicherte Datenmodell der komplexen Situation KS in Teilsituationen TS rekursiv zerlegt, wobei für jede Teilsituation TS eine Formalbeschreibung generiert wird, die aus Relationen R besteht, welche jeweils eine logische Beziehung der jeweiligen Teilsituation TS zu einer anderen Teilsituation angibt. Der erste Schritt S1 kann durch die in 1 dargestellte Datenmodell-Zerlegungseinheit 2 ausgeführt werden.In a first step S 1 , the stored data model of the complex situation KS is first recursively decomposed in partial situations TS, wherein a formal description consisting of relations R is generated for each partial situation TS, each of which has a logical relationship of the respective partial situation TS to another partial situation indicates. The first step S 1 can by the in 1 represented data model decomposition unit 2 be executed.

In einem weiteren Schritt S2 erfolgt eine Konsistenzprüfung der zerlegten Teilsituationen TSi anhand der generierten zu den Teilsituationen TS zugehörigen Formalbeschreibungen Bi zur Bildung eines hierarchischen Beschreibungslogikmodells der komplexen Situation KS. Der zweite Schritt S2 kann durch die in 1 dargestellte Konsistenzprüfeinheit 3 ausgeführt werden. Das gebildete hierarchische Beschreibungslogikmodell wird bei einer möglichen Ausführungsform in dem Beschreibungslogikmodell-Speicher 7 zwischengespeichert. In einem weiteren Schritt S3 werden beim Auftreten einer Teilsituation TS des gebildeten hierarchischen Beschreibungslogikmodells mindestens eine zu der jeweiligen Teilsituation TS zugehörigen Maßnahme ausgeführt. Die Ausführung der Maßnahme kann durch die in 1 dargestellten Steuereinheit 8 gesteuert werden.In a further step S 2 , a consistency check of the decomposed partial situations TS i takes place on the basis of the generated formal descriptions B i associated with the partial situations TS in order to form a hierarchical description logic model of the complex situation KS. The second step S 2 can be determined by the in 1 shown consistency check unit 3 be executed. The hierarchical description logic model formed becomes, in one possible embodiment, in the description logic model memory 7 cached. In a further step S 3 , when a partial situation TS of the hierarchical description logic model formed occurs, at least one measure associated with the respective partial situation TS is executed. The execution of the measure can be done by the in 1 shown control unit 8th to be controlled.

Bei einer möglichen Ausführungsform des erfindungsgemäßen Verfahrens wird zur Bildung des Beschreibungslogikmodells wie folgt vorgegangen:

  • • Die Beschreibung der komplexen Situation KS (zum Beispiel in Form von domänenspezifischen Modellen) bildet den Input für das Verfahren.
In one possible embodiment of the method according to the invention, the procedure for forming the description logic model is as follows:
  • • The description of the complex situation KS (for example in the form of domain-specific models) provides the input for the procedure.

Die verwendeten Variablen sind:

  • • S: aktuelle Situationsbeschreibung
  • • KS: das zu Beginn leere Modell einer bestimmte komplexe Situation KS
  • • KSi = [] (KS wird im ”Divide” Teil definiert).
  • • L: die Liste der Teilsituationen TS im aktuellen Rekursions-Schritt.
  • Schritt A: Initialisierung: S entspricht zu Beginn des Algorithmus der komplexen Situation KS, die formalisiert werden soll: S = KS Schritt B: Rekursion: Eine Situation S wird in verschiedene Teilsituationen (TSi) zerlegt (so wie im ”Divide” Teil angegeben), die unterschiedliche Aspekte der Situation beschreiben. Wenn dies nicht möglich ist erfolgt ein rekursiver Aufruf (gehe zu Schritt C). Die Menge von Teilsituationen [TSi] wird in einer Liste L gespeichert.
The variables used are:
  • • S: current situation description
  • • KS: the initially empty model of a certain complex situation KS
  • • KS i = [] (KS is defined in the "Divide" part).
  • • L: the list of partial situations TS in the current recursion step.
  • Step A: Initialization: S corresponds to the beginning of the algorithm of the complex situation KS, which is to be formalized: S = KS Step B: Recursion: A situation S is decomposed into different sub-situations (TS i ) (as stated in the "Divide" part) ) that describe different aspects of the situation. If this is not possible, a recursive call is made (go to step C). The set of partial situations [TS i ] is stored in a list L.

Jede Teilsituation TS wird analysiert und beschrieben (wie im ”Conquer” Teil definiert). Bei der Beschreibung, werden die folgenden Faktoren berücksichtigt:

  • – Zur welcher komplexe Situation KS gehört die Teilsituation TS?
  • – Gibt es bereits äquivalente Situationen (d. h. passt die Beschreibung)
  • – Welche Abhängigkeiten bestehen zwischen den (Teil-)Situationen TS (Konjunktion, Disjunktion, oder Negation)?
  • – Welche weiteren anwenderdefinierten Relationen R sind nötig?
Each partial situation TS is analyzed and described (as defined in the "Conquer" part). In the description, the following factors are taken into account:
  • - To which complex situation KS belongs the partial situation TS?
  • - Are there already equivalent situations (ie fits the description)
  • - What dependencies exist between the (sub) situations TS (conjunction, disjunction, or negation)?
  • - What other user-defined relations R are necessary?

Anschließend werden alle Tupel (TSi, Bi) in KS gespeichert.

  • Schritt C: Rekursiver Aufruf: Nimm jede Teilsituation TSi aus der Liste L. S = TSi und Kehre zu Schritt B zurück. Schritt D: Die Funktion ”Reintegration” wird mithilfe eines Beschreibungslogik-Reasoners auf der Basis eines automatisierten Konsistenz-Check realisiert (wie im ”Combine” Teil angegeben) Schritt E: Output: Eine komplexe Situation KS in Form eines Beschreibungslogik-Modells wird ausgegeben.
Subsequently, all tuples (TS i , B i ) are stored in KS.
  • Step C: Recursive Call: Take each partial situation TS i from the list L. S = TS i and return to step B. Step D: The "Reintegration" function is implemented using a description logic reasoner based on an automated consistency check (as specified in the "Combine" part). Step E: Output: A complex situation KS in the form of a description logic model is output.

Die 3 verdeutlicht die zur Bildung eines Beschreibungslogikmodells bei einer komplexen Situation KS der oben beschriebenen Vorgehensweise. Die komplexe Situation KS wird in Teilsituationen TS basierend auf Beschreibungslogiksubsumptionen zerlegt. Die Teilsituationen TS werden unabhängig voneinander in dem Beschreibungslogikmodell modelliert. Dadurch wird ein paralleles und verteiltes Verarbeiten der Teilsituationen TS möglich. Alternative Situationen werden parallel in dem Beschreibungslogikmodell modelliert. Unabhängige Teilsituationen TS sind über die Beschreibungslogik-Relationen miteinander verknüpft. Dadurch ist eine einfache Erweiterbarkeit von Situationsbeschreibungen gegeben. Zusätzlich können inplizite Querbeziehungen in komplexen Situationen KS von so genannten Beschreibungslogik. Reasonern abgeleitet werden. Bei der Zerlegung von Situationen wird dabei das Prinzip von Teile- und Herrsche (Divide and Conquer) zur Modellierung der komplexen Situationen KS eingesetzt. Es erfolgt dabei die Kombination mit einer ontologischen Modellierung.The 3 illustrates the formation of a description logic model in a complex situation KS of the procedure described above. The complex situation KS is decomposed in partial situations TS based on description logic subsumptions. The sub-situations TS are modeled independently in the description logic model. This makes a parallel and distributed processing of the partial situations TS possible. Alternative situations are modeled in parallel in the description logic model. Independent sub-situations TS are linked to one another via the description logic relations. This provides an easy extensibility of situation descriptions. In addition, in implicit cross relationships in complex situations KS of so-called description logic. Reasonern be derived. In the decomposition of situations, the principle of divide and conquer is used to model the complex situations KS. Thereby the combination with an ontological modeling takes place.

Es wird im Weiteren, wie in 4 dargestellt, ein konkretes Anwendungsbeispiel für die Zerlegung einer komplexen Situation KS für den Anwendungsfall einer intelligenten Türschließanlage beschrieben. Hierfür wird eine ontologisch hierarchische Beschreibung dieser komplexen Situation KS für eine intelligente Türschließanlage grafisch dargestellt. Die komplexe Situation KS wird dabei in verschiedene Teilsituationen TS zerlegt, die unterschiedliche Aspekte der komplexen Situation KS widerspiegeln. Das Anwendungsbeispiel weist die Teilsituation ”Bewohner eines Hauses” (presence context) und die Teilsituation ”Situation vor einer Tür” (door context) auf. Beide Aspekte der komplexen Situation KS bilden jeweils eine Teilsituation TS und können unabhängig voneinander behandelt werden. Aus jedem einzelnen Aspekt bzw. jeder Teilsituation TS können Entscheidungen bzw. Maßnahmen abgeleitet werden. Es ist eine weitere rekursive Zerlegung der jeweiligen Teilsituation TS möglich. Im Laufe des Verfahrens wird beispielsweise die Teilsituation ”door-context”, welche die Situation vor der Tür wiedergibt, weiter unterteilt in eine Teilsituation ”klingeln” (ringing), wobei das Klingeln durch bekannte oder unbekannte Personen erfolgen kann. Weiterhin wird die Teilsituation ”door context” in Teilsituationen der Bewohner zerlegt, nämlich ob die Bewohner zu Hause oder nicht zu Hause sind (resident at home, resident out of home). Die Anwesenheit bzw. Präsenz der Bewohner der Teilsituation kann ebenfalls weiter zerlegt werden in weiteren Aspekte bzw. Teilsituationen nämlich bezüglich der Erreichbarkeit, beispielsweise Erreichbarkeit per Telefon oder über Türklingeln oder über ein Handy, und der Bereitschaft der Bewohner zur Kommunikation, nämlich ob die Bewohner schläft bzw. nicht gestört werden möchte. Auch diese Teilsituationen TS können weiter zerlegt und unabhängig voneinander betrachtet bzw. verarbeitet werden.It will be explained below, as in 4 illustrated a concrete application example for the decomposition of a complex situation KS for the application of an intelligent door locking system described. For this purpose, an ontological hierarchical description of this complex situation KS for an intelligent door locking system is graphically displayed. The complex situation KS is decomposed into different sub-situations TS, which reflect different aspects of the complex situation KS. The application example shows the partial situation "occupant of a house" (presence context) and the partial situation "situation in front of a door" (door context). Both aspects of the complex situation KS each form a partial situation TS and can be treated independently of each other. Decisions or measures can be derived from each individual aspect or sub-situation TS. Another recursive decomposition of the respective partial situation TS is possible. In the course of the procedure, for example, the partial situation "door-context", which reflects the situation in front of the door, is subdivided further into a partial situation "ringing" (ringing), wherein the ringing can be done by known or unknown persons. Furthermore, the partial situation "door context" is divided into partial situations of the inhabitants, namely whether the residents are at home or not at home (resident at home, resident out of home). The presence or presence of the inhabitants of the sub-situation can also be further decomposed in other aspects or sub-situations namely in terms of accessibility, such as accessibility by phone or via doorbells or a cell phone, and the willingness of residents to communicate, namely whether the residents sleep or not want to be disturbed. These partial situations TS can also be further decomposed and viewed or processed independently of each other.

Das erfindungsgemäße Steuerungssystem 1 kann bereits für einzelne Teilsituationen TS für eine Entscheidungsfindung bzw. das Auslösen von Maßnahmen verwendet werden. Das erfindungsgemäße Steuerungssystem 1 ist insbesondere auch bei Vorliegen von unvollständig vorhandenen Daten in der Lage, Entscheidungen zu treffen bzw. Maßnahmen durchzuführen. Eine parallele bzw. verteilte Datenverarbeitung ist durch die in dem Beschreibungslogikmodell gegebene Unabhängigkeit der Teilsituationen TS ebenfalls ermöglicht. Die unabhängige Durchführung von Maßnahmen für die verschiedenen Teilsituationen TS erlaubt eine flexible und schnelle Reaktion des erfindungsgemäßen Steuerungssystems 1. Das erfindungsgemäße Steuerungssystem 1 erlaubt eine automatisierte Erkennung komplexer Situationen KS und das angepasste Auslösen von Aktionen auf Grundlage des generierten Beschreibungslogikmodells.The control system according to the invention 1 can already be used for individual partial situations TS for a decision-making or the triggering of measures. The control system according to the invention 1 is able to make decisions or implement measures even if incomplete data is available. Parallel or distributed data processing is also made possible by the independence of the partial situations TS given in the description logic model. The independent implementation of measures for the different partial situations TS allows a flexible and fast response of the control system according to the invention 1 , The control system according to the invention 1 allows automated detection of complex situations KS and the appropriate triggering of actions based on the generated description logic model.

Claims (13)

Steuerungssystem (1) zum Steuern von Maßnahmen bei einer komplexen Situation (KS) mit: (a) einer Zerlegungseinheit (2), die ein Datenmodell der komplexen Situation (KS) in Teilsituationen (TSi) rekursiv zerlegt, wobei für jede Teilsituation (TSi) eine Formalbeschreibung (Bi) generiert wird, die aus Relationen (R) besteht, welche jeweils eine logische Beziehung der jeweiligen Teilsituation (TSi) zu einer anderen Teilsituation (TSj) angibt; (b) einer Konsistenzprüfeinheit zur Durchführung einer Konsistenzprüfung (3) der zerlegten Teilsituationen (TSi) anhand der generierten zu den Teilsituationen (TSi) zugehörigen Formalbeschreibungen (Bi) zur Bildung eines hierarchischen Beschreibungslogikmodells der komplexen Situation (KS) und mit (c) einer Steuereinheit (8), die bei Auftreten einer Teilsituation (TSi) des gebildeten hierarchischen Beschreibungslogikmodells mindestens eine zu der jeweiligen Teilsituation (TSi) zugehörige Maßnahme steuert.Control system ( 1 ) for controlling measures in a complex situation (CS) with: (a) a decomposition unit ( 2 ), which decomposes a data model of the complex situation (KS) in partial situations (TS i ) recursively, wherein for each partial situation (TS i ) a formal description (B i ) is generated, which consists of relations (R), which each have a logical relationship the respective sub-situation (TS i ) to another Teili state (TS j ); (b) a consistency check unit for performing a consistency check ( 3 ) Of dissected situations (TS i) (on the basis of generated situations to the partial TS i) corresponding formal descriptions (B i) (to form a hierarchical description logic model of the complex situation KS) and (with (c) a control unit 8th ), which, when a partial situation (TS i ) of the hierarchical description logic model formed, controls at least one measure associated with the respective partial situation (TS i ). Steuerungssystem nach Anspruch 1, wobei das Datenmodell der komplexen Situation (KS) ein domänenspezifisches Datenmodell ist.Control system according to claim 1, wherein the data model the complex situation (KS) a domain-specific data model is. Steuerungssystem nach Anspruch 2, wobei das Datenmodell ein Bayes'sches Netz, ein Hidden Markov Modell und ein neuronales Netz aufweist.Control system according to claim 2, wherein the data model a Bayesian Net, a hidden Markov model and a neural network. Steuerungssystem nach Anspruch 1–3 wobei das System (1) eine erste Speichereinheit (5) zum Speichern von mindestens einem Datenmodell und eine zweite Speichereinheit (7) zum Speichern des hierarchischen Beschreibungslogikmodells aufweist.Control system according to claims 1-3, wherein the system ( 1 ) a first storage unit ( 5 ) for storing at least one data model and a second memory unit ( 7 ) for storing the hierarchical description logic model. Steuerungssystem nach Anspruch 4, wobei das Steuerungssystem (1) eine dritte Speichereinheit (6) zum Speichern von Relationen (R) aufweist.Control system according to claim 4, wherein the control system ( 1 ) a third storage unit ( 6 ) for storing relations (R). Steuerungssystemanspruch 5, wobei die Relationen (R) eine Konjunktionsrelation, eine Disjunktionsrelation und eine Negationsrelation aufweisen.Control system claim 5 , wherein the relations (R) have a conjunction relation, a disjunction relation and a negation relation. Steuerungssystem nach Anspruch 1 wobei die Relationen (R) Vererbungsbeziehungen und Abhängigkeitsbeziehungen zwischen Teilsituationen (TSi) angeben.A control system according to claim 1, wherein the relations (R) indicate inheritance relationships and dependency relationships between sub-situations (TS i ). Steuerungssystem nach Anspruch 1–7, wobei die Steuereinheit (8) das Auftreten einer Teilsituation (TSi) in Abhängigkeit von Umgebungsinformationen erkennt.Control system according to claims 1-7, wherein the control unit ( 8th ) detects the occurrence of a partial situation (TS i ) as a function of environmental information. Steuerungssystem nach Anspruch 8, wobei die Steuereinheit (8) an Sensoren (9) angeschlossen ist, welche Umgebungsinformationen an die Steuereinheit (8) liefern.Control system according to claim 8, wherein the control unit ( 8th ) to sensors ( 9 ), which environment information to the control unit ( 8th ) deliver. Steuerungssystem nach einem der vorangehenden Ansprüche 1–9, wobei die Steuereinheit (8) an Aktoren (10) angeschlossen ist, welche die Steuereinheit (8) zur Durchführung der jeweiligen Maßnahme ansteuert.Control system according to one of the preceding claims 1-9, wherein the control unit ( 8th ) to actuators ( 10 ) connected to the control unit ( 8th ) to carry out the respective measure. Verfahren zum Steuern von Maßnahmen bei einer komplexen Situation (KS) mit den Schritten: (a) Rekursives Zerlegen (S1) eines Datenmodells der komplexen Situation (KS) in Teilsituationen (TSi), wobei für jede Teilsituation (TSi) eine Formalbeschreibung (Bi) generiert wird, die aus Relationen (R) besteht, welche jeweils eine logische Beziehung der jeweiligen Teilsituation (TSi) zu einer anderen Teilsituation (TSj) angibt; (b) Durchführen (S2) einer logischen Konsistenzprüfung der zerlegten Teilsituationen (TSi) anhand der generierten zu den Teilsituationen (TSi) zugehörigen Formalbeschreibungen (Bi) zur Bildung eines hierarchischen Beschreibungslogikmodells der komplexen Situation (KS), (c) wobei bei Auftreten einer Teilsituation (TSi) des gebildeten hierarchischen Beschreibungslogikmodells mindestens eine zu der jeweiligen Teilsituation (TSi) zugehörige Maßnahme ausgeführt (S3) wird.Method for controlling measures in a complex situation (KS) with the steps: (a) Recursive decomposition (S1) of a data model of the complex situation (KS) in partial situations (TS i ), whereby for each partial situation (TS i ) a formal description (TS) B i ) is generated, which consists of relations (R), which in each case indicates a logical relationship of the respective partial situation (TS i ) to another partial situation (TS j ); (b) performing (S2) a logical consistency check of the decomposed partial situations (TS i ) on the basis of the generated to the partial situations (TS i ) associated formal descriptions (B i ) to form a hierarchical description logic model of the complex situation (KS), (c) Occurrence of a partial situation (TS i ) of the hierarchical description logic model formed, at least one measure corresponding to the respective partial situation (TS i ) is executed (S3). Computerprogramm mit Programmbefehlen zur Durchführung des Verfahrens nach Anspruch 11.Computer program with program instructions for carrying out the Method according to claim 11. Datenträger, der das Computerprogramm auf Anspruch 12 speichert.disk, which stores the computer program on claim 12.
DE102009008175A 2009-02-10 2009-02-10 Control system for controlling measures in complex situation, has control unit and data model segmentation unit which segments data model of complex situation to sub situations, where formal description is generated for each sub situations Withdrawn DE102009008175A1 (en)

Priority Applications (1)

Application Number Priority Date Filing Date Title
DE102009008175A DE102009008175A1 (en) 2009-02-10 2009-02-10 Control system for controlling measures in complex situation, has control unit and data model segmentation unit which segments data model of complex situation to sub situations, where formal description is generated for each sub situations

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
DE102009008175A DE102009008175A1 (en) 2009-02-10 2009-02-10 Control system for controlling measures in complex situation, has control unit and data model segmentation unit which segments data model of complex situation to sub situations, where formal description is generated for each sub situations

Publications (1)

Publication Number Publication Date
DE102009008175A1 true DE102009008175A1 (en) 2010-09-09

Family

ID=42538335

Family Applications (1)

Application Number Title Priority Date Filing Date
DE102009008175A Withdrawn DE102009008175A1 (en) 2009-02-10 2009-02-10 Control system for controlling measures in complex situation, has control unit and data model segmentation unit which segments data model of complex situation to sub situations, where formal description is generated for each sub situations

Country Status (1)

Country Link
DE (1) DE102009008175A1 (en)

Citations (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US5465321A (en) * 1993-04-07 1995-11-07 The United States Of America As Represented By The Administrator Of The National Aeronautics And Space Administration Hidden markov models for fault detection in dynamic systems
US20040236518A1 (en) * 2001-08-30 2004-11-25 Hewlett-Packard Development Company, L.P. Method and apparatus for comining gene predictions using bayesian networks
US20040267395A1 (en) * 2001-08-10 2004-12-30 Discenzo Frederick M. System and method for dynamic multi-objective optimization of machine selection, integration and utilization

Patent Citations (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US5465321A (en) * 1993-04-07 1995-11-07 The United States Of America As Represented By The Administrator Of The National Aeronautics And Space Administration Hidden markov models for fault detection in dynamic systems
US20040267395A1 (en) * 2001-08-10 2004-12-30 Discenzo Frederick M. System and method for dynamic multi-objective optimization of machine selection, integration and utilization
US20040236518A1 (en) * 2001-08-30 2004-11-25 Hewlett-Packard Development Company, L.P. Method and apparatus for comining gene predictions using bayesian networks

Similar Documents

Publication Publication Date Title
EP3684015B1 (en) Device and method for classifying data in particular for a controller area network or an automotive ethernet network
DE112017000669T5 (en) Semantic segmentation based on global optimization
DE102019131385A1 (en) SAFETY AND PERFORMANCE STABILITY OF AUTOMATION THROUGH UNSECURITY-LEARNED LEARNING AND CONTROL
DE112018001290T5 (en) Method for estimating the erasability of data objects
WO2002047026A2 (en) Method for determining competing risks
DE102021125856A1 (en) DETECTING ENEMY ATTACKS ON A DEEP NEURAL NETWORK (DNN)
DE102019114378A1 (en) METHOD AND SYSTEM FOR PREDICTING THE SYSTEM STATUS
DE112016003235T5 (en) Output efficiency optimization in production systems
DE102018201411A1 (en) Method for determining a time course of a measured variable, prognosis system, actuator control system, method for training the actuator control system, training system, computer program and machine-readable storage medium
DE102007006614A1 (en) Application of a Distributed Diagnostic Architecture in AUTOSAR
DE112020005622B4 (en) Information processing device, information processing method and computer program
DE112021003761T5 (en) PREDICTIVE MODELS WITH DECOMPOSABLE HIERARCHICAL LEVELS CONFIGURED TO PRODUCE INTERPRETABLE RESULTS
DE102020211849A1 (en) TRAINING A MACHINE LEARNING MODEL USING A BATCH-BASED ACTIVE LEARNING APPROACH
DE102019213061A1 (en) Classification of AI modules
WO2004044772A2 (en) Method and computer configuration for providing database information of a first database and method for carrying out the computer-aided formation of a statistical image of a database
DE102009008175A1 (en) Control system for controlling measures in complex situation, has control unit and data model segmentation unit which segments data model of complex situation to sub situations, where formal description is generated for each sub situations
DE102018220608A1 (en) Machine learning system, as well as a method, a computer program and a device for creating the machine learning system
DE19530647C1 (en) Input parameter preparation for neural network
DE102018216078A1 (en) Method and device for operating a control system
DE102020116714A1 (en) Control unit for a vehicle, system, method and motor vehicle with such a control unit
WO2021089591A1 (en) Method for training an artificial neural network, computer program, storage medium, device, artificial neural network and application of the artificial neural network
EP3907574A1 (en) Method for generating an explanation for a decision of a manufacturing control system
DE102019216184A1 (en) Method for the robustification of a neural network against adversarial disturbances
DE102016122193A1 (en) Function monitoring of a sensor device of a motor vehicle
DE102020211251A1 (en) SELF-ADAPTIVE RECOGNITION SYSTEM

Legal Events

Date Code Title Description
OP8 Request for examination as to paragraph 44 patent law
R002 Refusal decision in examination/registration proceedings
R119 Application deemed withdrawn, or ip right lapsed, due to non-payment of renewal fee

Effective date: 20120901