Doktorand inom hybrid styrning för multi-agent system

Kungliga Tekniska Högskolan

Projektbeskrivning
Forskarutbildningsämne: Elektro- och systemteknik

Projektet innebär distribuerad uppgiftsplanering och kontroll för multiagentsystem.

Multi-agent uppgifter kommer att tillhandahållas i form av formella verifieringsspråk som temporal logik och dess varianter. Kontrollen av varje agent kommer att behöva överväga information från andra agenter samt förändringar i miljön. Doktoranden kommer att utveckla nya algoritmer för distribuerad multi-agent planering och...