Looking to list your PhD opportunities? Log in here.
This project is no longer listed on FindAPhD.com and may not be available.
Click here to search FindAPhD.com for PhD studentship opportunitiesAbout the Project
Robotic teams and other distributed autonomous systems (DAS) are increasingly used in several application domains including logistics, manufacturing, and infrastructure inspection. Assuring the trustworthiness of DAS carrying out a safety-critical task collaboratively is very challenging due to uncertainties and risks associated with the operating environment, team member failures, etc. To overcome these challenges, the distributed-control software of DAS should exhibit high levels of scalability and optimality underpinned by assurance evidence that the DAS operates safely in continually changing and unexpected scenarios. Existing DAS approaches satisfy only a subset of these key characteristics of trustworthy DAS: Data-driven approaches using machine learning albeit scalable and capable to produce close-to-optimal solutions lack the guarantees needed in safety-critical tasks (Sykes et al 2011, Nallur et al 2013, Grassi et al 2013), while model-based approaches using formal verification (Hunter et al 2013) suffer from scalability issues when using large-scale and complex models.
The PhD project will contribute significantly to addressing this challenge by leveraging the capabilities from both data-driven (using machine learning) [5,6] and model-based (using formal methods) [7] paradigms to devise assured and scalable self-adaptation techniques that support the development of trustworthy distributed-control software for DAS. These techniques will be integrated with state-of-the-art DAS middleware [5] and their feasibility will be validated through a demonstrator both in simulation [8] and using mobile robots available in our lab.
Project enquiries
Dr Simos Gerasimou
[Email Address Removed]
Dr Javier Camara Moreno
[Email Address Removed]
References
[1] Sykes, D., Magee, J., Kramer, J. (2011). Flashmob: Distributed adaptive self-assembly. 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, pages 100-109.
[2] Nallur, V., & Bahsoon, R. (2013). A decentralized self-adaptation mechanism for service-based applications in the cloud. IEEE Transactions on Software Engineering, 39(5), 591-612.
[3] Grassi, V., Marzolla, M., & Mirandola, R. (2013, May). QoS-aware fully decentralized service assembly. In Proceedings of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (pp. 53-62). IEEE Press.
[4] Hunter, J., Raimondi, F., Rungta, N., & Stocker, R. (2013). A synergistic and extensible framework for multi-agent system verification. In Proceedings of the 2013 international conference on Autonomous agents and multi-agent systems (pp. 869-876). International Foundation for Autonomous Agents and Multiagent Systems.
[5] Gerasimou, S., Calinescu, R., & Tamburrelli, G. (2018). Synthesis of probabilistic models for quality- of- service software engineering. Automated Software Engineering, pages 1 47.
How good is research at University of York in Computer Science and Informatics?
Research output data provided by the Research Excellence Framework (REF)
Click here to see the results for all UK universities
Search suggestions
Based on your current searches we recommend the following search filters.
Check out our other PhDs in York, United Kingdom
Check out our other PhDs in United Kingdom
Start a New search with our database of over 4,000 PhDs

PhD suggestions
Based on your current search criteria we thought you might be interested in these.
Assured and Scalable Self-Adaptation for the Engineering of Trustworthy Autonomous Robotic Teams
University of York
PhD Project – James Watt School of Engineering, Low-Carbon Machine Learning Techniques for Autonomous Systems
University of Glasgow
Fully Funded PhD Studentship: GREEN CDT Advanced Control System Design for Enhancing the Situational Awareness of Robotic Platforms in the Nuclear Environment
Lancaster University