Edinburgh Research Explorer

Policy synthesis for collective dynamics

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Related Edinburgh Organisations

Open Access permissions

Open

Documents

Original languageEnglish
Title of host publication15th International Conference on Quantitative Evaluation of SysTems (QEST 2018)
Place of PublicationBeijing, China
PublisherSpringer
Number of pages16
StateAccepted/In press - 19 Jun 2018
Event15th International Conference on Quantitative Evaluation of SysTems - Beijing, China
Duration: 4 Sep 20187 Sep 2018
http://www.qest.org/qest2018/index.html

Conference

Conference15th International Conference on Quantitative Evaluation of SysTems
Abbreviated titleQEST 2018
CountryChina
CityBeijing
Period4/09/187/09/18
Internet address

Abstract

In this paper we consider the problem of policy synthesis for systems of large numbers of simple interacting agents where dynamics of the system change through information spread via broadcast communication. By modifying the existing modelling language CARMA and giving it a semantics in terms of continuous time Markov decision processes we introduce a natural way of formulating policy synthesis problems for such systems. However, solving policy synthesis problems is difficult since all non-trivial models result in very large state spaces. To combat this we propose an approach exploiting the results on fluid approximations of continuous time Markov chains to obtain estimates of optimal policies.

Event

15th International Conference on Quantitative Evaluation of SysTems

4/09/187/09/18

Beijing, China

Event: Conference

ID: 64361965