Abstract / Description of output
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.
| Original language | English |
|---|---|
| Title of host publication | 15th International Conference on Quantitative Evaluation of SysTems (QEST 2018) |
| Editors | Annabelle McIver, Andras Horvath |
| Place of Publication | Beijing, China |
| Publisher | Springer |
| Pages | 356–372 |
| Number of pages | 17 |
| ISBN (Electronic) | 978-3-319-99154-2 |
| ISBN (Print) | 978-3-319-99153-5 |
| DOIs | |
| Publication status | Published - 15 Aug 2018 |
| Event | 15th International Conference on Quantitative Evaluation of SysTems - Beijing, China Duration: 4 Sept 2018 → 7 Sept 2018 http://www.qest.org/qest2018/index.html |
Publication series
| Name | Lecture Notes in Computer Science |
|---|---|
| Publisher | Springer, Cham |
| Volume | 11024 |
| ISSN (Print) | 0302-9743 |
| ISSN (Electronic) | 1611-3349 |
Conference
| Conference | 15th International Conference on Quantitative Evaluation of SysTems |
|---|---|
| Abbreviated title | QEST 2018 |
| Country/Territory | China |
| City | Beijing |
| Period | 4/09/18 → 7/09/18 |
| Internet address |