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 PDFInfo
- 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
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
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:
In
KS
= {(TSi, Bi)}.In
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
Die
Datenmodell-Zerlegungseinheit
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).
- • 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
- • 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.
- • 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
Bei
einer möglichen
Ausführungsform
des erfindungsgemäßen Steuerungssystems
Die
Erfindung schafft ferner ein Verfahren zum Steuern von Maßnahmen
bei einer komplexen Situation KS. Die
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
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
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.
- • 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.
- • 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?
- - 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.
- 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
Es
wird im Weiteren, wie in
Das
erfindungsgemäße Steuerungssystem
Claims (13)
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)
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 |
-
2009
- 2009-02-10 DE DE102009008175A patent/DE102009008175A1/en not_active Withdrawn
Patent Citations (3)
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 |