• No results found

Petri nets for Situation Recognition

N/A
N/A
Protected

Academic year: 2021

Share "Petri nets for Situation Recognition"

Copied!
2
0
0

Loading.... (view fulltext now)

Full text

(1)

Petri nets for Situation Recognition

av

Anders Dahlbom

Akademisk avhandling

Avhandling för teknologie doktorsexamen i datavetenskap, som enligt beslut av rektor kommer att försvaras offentligt

måndagen den 7 februari 2011 kl. 13.15, Hörsal G110, Högskolan i Skövde

Opponent: Associate Professor Kathryn Blackmond Laskey Department of Systems Engineering and Operations Research

George Mason University, Fairfax, VA, USA

Örebro universitet Akademin för naturvetenskap och teknik

(2)

Abstract

Situation recognition is a process with the goal of identifying a priori defined situations in a flow of data and information. The purpose is to aid decision makers with focusing on relevant information by filtering out situations of in-terest. This is an increasingly important and non trivial problem to solve since the amount of information in various decision making situations constantly grow. Situation recognition thus addresses the information gap, i.e. the prob-lem of finding the correct information at the correct time. Interesting situations may also evolve over time and they may consist of multiple participating objects and their actions. This makes the problem even more complex to solve.

This thesis explores situation recognition and provides a conceptualisation and a definition of the problem, which allow for situations of partial tempo-ral definition to be described. The thesis then focuses on investigating how Petri nets can be used for recognising situations. Existing Petri net based ap-proaches for recognition have some limitations when it comes to fulfilling re-quirements that can be put on solutions to the situation recognition problem. An extended Petri net based technique that addresses these limitations is there-fore introduced. It is shown that this technique can be as efficient as a rule based techniques using the Rete algorithm with extensions for explicitly repre-senting temporal constraints. Such techniques are known to be efficient; hence, the Petri net based technique is efficient too. The thesis also looks at the prob-lem of learning Petri net situation templates using genetic algorithms. Results points towards complex dynamic genome representations as being more suited for learning complex concepts, since these allow for promising solutions to be found more quickly compared with classical bit string based representations.

In conclusion, the extended Petri net based technique is argued to offer a viable approach for situation recognition since it: (1) can achieve good recog-nition performance, (2) is efficient with respect to time, (3) allows for manually constructed situation templates to be improved and (4) can be used with real world data to find real world situations.

Keywords: Situation recognition, Petri nets, situation assessment, information fusion, rule based, Rete algorithm, genetic algorithms.

References

Related documents

The development during the following years shows how a policy of fixing the exchange rate in combination with high inflation leads to dramatic adjustments in the relative prices

Finally, we perform verification tasks on the obtained Petri nets model from the case study where we check privacy properties such as purpose limitation

Even though Petri nets have the potential to be as efficient as rule based techniques, the situation recognition problem also requires that it is possible to learn templates

− The definition is incorrect and should be reformulated: “The state of an abstract process of our observable universe ݖ ௎ is a state ݖ, as defined in 4.1, where terms of

This thesis aims to solve this problem using SLAM and object detection with 2D LiDAR and camera as sensor input, looking at the performance in terms of accuracy

Whereas this approach is non-primitive recursive for deciding the general reachability prob- lem for Petri nets, to our knowledge, this is the first time it is used for deriving

To describe, in general terms, a cryptobiotic protection system, a time based security model (Schwartau 1999) may be used, where a protection mechanism is successful only as long

The Colored Petri net editor tool, abbreviated as CPNE, was implemented as an extension to the Unity Editor, so that the user could create CPNs in the Unity Editor environment.