Klaus Schmidt: High-Level Abstraction of Concurrent Finite Automata for the Purpose of Hierarchical Control

Abstract: This presentation deals with distributed dynamic systems modelled as collections of finite automata interacting via synchronous composition. We establish two properties that make it possible to introduce a two-level hierarchical abstraction of the composed system. In this hierarchy the upper level represents the common behaviors shared by all the automata whereas the low level comprises the local behavior of each decentralized subsystem. For this architecture we show that certain properties which hold on the high level directly translate to the low level and that hierarchical consistency and nonblocking behavior can be verified. Finally complexity issues will be considered.

CV: Klaus Schmidt is a PhD candidate at the Department of Electrical, Electronic and Communication Engineering at the University of Erlangen-Nuremberg, Germany.