Formal system design for intelligent artifacts

Dittes B (2012)
Bielefeld: Universität Bielefeld.

Download
OA
Bielefeld Dissertation | English
Author
Supervisor
Goerick, Christian ; Wachsmuth, Sven
Abstract
This work deals with conceptual and software aspects (i.e. algorithms and structure) of intelligent systems interacting with the real-world. Typical domains for such systems are robotics as well as personal digital- and driver assistance. In decades of research on intelligent systems, a large number of system structures or architectures for intelligent artifacts have been proposed and implemented. However, no established and broadly accepted hypothesis for such a system structure has emerged because no common language or common understanding of the space of architectures exists. This in turn makes scientific discourse about architectures difficult. In this thesis we aim to improve the process and tools for describing, constructing and evolving the architecture and software of large-scale systems for intelligent artifacts. At the heart of this improvement is the proposed formalism 'Systematica 2D', suitable for both flexible description of system architectures as well as for functional design of the resulting system integration process. We motivate the approach and relate it to other formal descriptions by means of a new formalization measure. The new language is shown to find a good compromise between cognitive description, high flexibility and easy implementation. We present ways to map resulting designs to the most popular infrastructure paradigms and derive mathematically provable benefits for the system construction process: incremental composition, graceful degradation, subsystem separation and global deadlock-free operation. Finally, the powers of the formalism for architecture categorization and comparison are explored. It is analytically shown that there is a direct relation between sensor / behavior spaces (a descriptive design property) and the interfaces and connections of units (a functional design property). Without lack of generality, examples and results are obtained from two specific, recent and state-of-the-art large-scale systems: ALIS3 [Goerick 2009] and AutoSys [Schmuedderich 2010]. Experimental results show that a) modeling a wide variety of systems as Systematica 2D designs is possible, b) implementing systems according to such a design is dramatically faster and produces inherent, provable system properties and c) different systems can be related and classified based on the designs.
Year
PUB-ID

Cite this

Dittes B. Formal system design for intelligent artifacts. Bielefeld: Universität Bielefeld; 2012.
Dittes, B. (2012). Formal system design for intelligent artifacts. Bielefeld: Universität Bielefeld.
Dittes, B. (2012). Formal system design for intelligent artifacts. Bielefeld: Universität Bielefeld.
Dittes, B., 2012. Formal system design for intelligent artifacts, Bielefeld: Universität Bielefeld.
B. Dittes, Formal system design for intelligent artifacts, Bielefeld: Universität Bielefeld, 2012.
Dittes, B.: Formal system design for intelligent artifacts. Universität Bielefeld, Bielefeld (2012).
Dittes, Benjamin. Formal system design for intelligent artifacts. Bielefeld: Universität Bielefeld, 2012.
Main File(s)
File Name
Access Level
OA Open Access
Last Uploaded
2016-09-15T14:03:57Z

Supplementary Material
File Name
File Title
Systematica 2D visual editing software
Description
This package contains the visual editor for Systematica 2D designs and a collection of sample designs used in the thesis. Please see Readme.txt for usage tips.
Access Level
OA Open Access
Last Uploaded
2016-09-15T14:03:57Z
This data publication is cited in the following publications:
This publication cites the following data publications:

Export

0 Marked Publications

Open Data PUB

Search this title in

Google Scholar