Prof. Dr. Michael Köhler-Bußmeier

Fakultät Informatik und Digitale Gesellschaft
Theoretische Informatik

Berliner Tor 7,
20099 Hamburg

michael.koehler-bussmeier (at) haw-hamburg (dot) de
Sprechzeiten:
-> Status in MS-TEAMS

INF - Bachelor
Vorsitzendes Mitglied des Prüfungsausschusses für Informatik BA (AI, ITS, ECS, WI)

Berliner Tor 7,
20099 Hamburg

Raum 10.82

michael.koehler-bussmeier (at) haw-hamburg (dot) de
Sprechzeiten:
-> Status in MS-TEAMS

Programm CEADS Computational Engineering and Applied Data Science
Doktorandenbetreuer

Berliner Tor 5,
20099 Hamburg

michael.koehler-bussmeier (at) haw-hamburg (dot) de
Sprechzeiten:
-> Status in MS-TEAMS

Informatik M.Sc.
Vorsitzendes Mitglied des Prüfungsausschusses für Informatik M.Sc.

Berliner Tor 7,
20099 Hamburg

michael.koehler-bussmeier (at) haw-hamburg (dot) de
Sprechzeiten:
-> Status in MS-TEAMS

Lehrgebiete / Tätigkeitsfelder

................................................................................................................................................................................................

Schwerpunktthemen / Kernkompetenzen

................................................................................................................................................................................................

Kurzbiographie

................................................................................................................................................................................................

Mitgliedschaften und Gremientätigkeiten

................................................................................................................................................................................................

Betreute Abschlussarbeiten

................................................................................................................................................................................................

Publikationen

................................................................................................................................................................................................

Sonstige Informationen

................................................................................................................................................................................................

SM@RT (Self-Modifcation@Run-Time)

In this project we develop a system for the distributed execution of multi-agent systems using modern enactment services, i.e. cloud technology. The system is based on a formal model that describes functional properties as well as timing aspects of the simulation.

The formal model is used as part of the run-time environment where its concrete parameters are constantly adjusted with respect to the real, i.e. observed timing behaviour, via a feedback-loop. Thus our system is reflective, i.e. it has a so called self-X property. The model is used to predict the cost/benefit ratio a run-time adaption operation (e.g. code migration for load balancing purposes) has. We identify the following central aspects of our model:

Agents and their decision logic
Network: Effects of locality, distribution and interaction
Distributed learning agents, including distributed feedback and adaption
Organisation, i.e. structures to overcome the restrictions of bounded agents
Learning Organisations: Mechanisms within the organisation itself that react to changes

Further reading: Michael Köhler-Bußmeier, Jan Sudeikat. Defining adaption measures for organisational multi-agent systems. Int. J. Parallel Emergent Distributed Syst. 38(6): 507-521 (2023)

Executable Specifications for Open Multi-Agent Organisations

In this project we investigate programming language concepts for multi-agent systems that are based on the organisational paradigm. Here we combine the flexibility of the agent-oriented approach (with planning, cooperation, learning etc.) with the predictability-at-large, which comes from the system architecture. An organisation gives shape to the ongoing processes, like team formation, acceptable compromises etc.

Considering open MAS introduces another challenge, since third-party code comes into play at run-time, raising the need for a rich type systems (e.g. session types) and run-time verification via the execution engine.

Further reading: Matthias Wester-Ebbinghaus, Michael Köhler-Bußmeier: Model-Driven Middleware Support for Team-Oriented Process Management.Transactions on Petri Nets and Other Models of Concurrency 8: 159-179. 2013.

Transformations Systems and the Complexity of Self-Adaption

Here, we study self-adaptive systems and their complexity in the context of Petri nets that are able to modify their net-topology at runtime, like object nets, reconfigurable Petri nets, nested nets, Hornets, etc. It turns out that even simple questions like "Is it possible to reach a given state from the initial one?" which is known to be Space-complete for safe p/t nets jumps to the class of ExpSpace-hard problems - meaning a quite drastic increase in complexity induced by the possibility of runtime modification. Our theoretical investigations are accompanied by the tool support via RENEW and ReConNet.

Recommended reading: On the Complexity of the Reachability Problem for Safe, Elementary Hornets. Fundamenta Informaticae, vol. 129, no. 1-2, pp. 101-115, 2014..

Models of Complex Adaptive Systems: Self-Organising Socio-Technical Processes

In this project we like to explore the implications of the actor-network perspective (coming from the social sciences) when applied to social processes. On one hand there are structural restrictions (coming from norms, roles, etc.) - on the other hand there are a lot of individual factors involved (like motivation, previous knowledge, etc.).

When the different actors interact, both driving forces heavily influence each other in mutual dependency, which is called in sociology the micro-macro-link. Very similar, there is a mutual dependency coming from the technical side: While new challenges demand for new digital technologies (ambient intelligence etc.) from the micro-side, the macro-side also provides infrastructure technologies (like social networks etc.) for scenarios that have been unseen at the time of their development. Also these two sides are heavily intertwined.

Further reading: Selbstorganisation und Governance in künstlichen und sozialen Systemen. Lit Verlag. 2009