Formal system design for intelligent artifacts

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

Download
OA
Bielefelder E-Dissertation | Englisch
Autor
Betreuer
;
Abstract / Bemerkung
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.
Jahr
Seite
129
PUB-ID

Zitieren

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.
Alle Dateien verfügbar unter der/den folgenden Lizenz(en):
Copyright Statement:
This Item is protected by copyright and/or related rights. [...]
Volltext(e)
Access Level
OA Open Access
Zuletzt Hochgeladen
2016-09-15T14:03:57Z

Zusatzmaterial
Titel
Systematica 2D visual editing software
Beschreibung
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
Zuletzt Hochgeladen
2016-09-15T14:03:57Z

Export

Markieren/ Markierung löschen
Markierte Publikationen

Open Data PUB

Suchen in

Google Scholar