Loading...
Please wait, while we are loading the content...
Similar Documents
Collaborative models for autonomous systems controller synthesis
| Content Provider | Semantic Scholar |
|---|---|
| Author | Fraser, Douglas D. Giaquinta, Ruben Hoffmann, Ruth Ireland, Murray L. Miller, Alice Norman, Gethin |
| Copyright Year | 2020 |
| Abstract | We show how detailed simulation models and abstract Markov models can be developed collaboratively to generate and implement effective controllers for autonomous agent search and retrieve missions. We introduce a concrete simulation model of an Unmanned Aerial Vehicle (UAV). We then show how the probabilistic model checker PRISM is used for optimal strategy synthesis for a sequence of scenarios relevant to UAVs and potentially other autonomous agent systems. For each scenario we demonstrate how it can be modelled using PRISM, give model checking statistics and present the synthesised optimal strategies. We then show how our strategies can be returned to the controller for the simulation model and provide experimental results to demonstrate the effectiveness of one such strategy. Finally we explain how our models can be adapted, using symmetry, for use on larger search areas, and demonstrate the feasibility of this approach. |
| Starting Page | 1 |
| Ending Page | 30 |
| Page Count | 30 |
| File Format | PDF HTM / HTML |
| DOI | 10.1007/s00165-020-00508-1 |
| Alternate Webpage(s) | http://www.dcs.gla.ac.uk/people/personal/gethin/papers/fac20.pdf |
| Alternate Webpage(s) | https://doi.org/10.1007/s00165-020-00508-1 |
| Journal | Formal Aspects of Computing |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |
