Filter
×

Selected Publications

Multi-agent signal-less intersection management with dynamic platoon formation 

No data available.
@inproceedings{soton478647,
title = {Multi-agent signal-less intersection management with dynamic platoon formation},
author = {Phuriwat Worrawichaipat and Enrico Gerding and Ioannis Kaparias and Sarvapali Ramchurn},
url = {https://eprints.soton.ac.uk/478647/},
year = {2023},
date = {2023-05-01},
booktitle = {22nd International Conference on Autonomous Agents and Multiagent Systems (29/05/23 - 02/06/23)},
pages = {1542--1550},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}

AI Foundation Models: initial review, CMA Consultation, TAS Hub Response 

No data available.
@misc{soton477553,
title = {AI Foundation Models: initial review, CMA Consultation, TAS Hub Response},
author = {Joshua Krook and Derek McAuley and Stuart Anderson and John Downer and Peter Winter and Sarvapali D Ramchurn},
url = {https://eprints.soton.ac.uk/477553/},
year = {2023},
date = {2023-06-01},
publisher = {University of Southampton},
keywords = {},
pubstate = {published},
tppubtype = {misc}
}

The effect of data visualisation quality and task density on human-swarm interaction

No data available.
@inproceedings{soton479970,
title = {The effect of data visualisation quality and task density on human-swarm interaction},
author = {Ayodeji Abioye and Mohammad Naiseh and William Hunt and Jediah R Clark and Sarvapali D Ramchurn and Mohammad Soorati},
url = {https://eprints.soton.ac.uk/479970/},
year = {2023},
date = {2023-06-01},
booktitle = {Proceedings of the 2023 32nd IEEE International Conference on Robot and Human Interactive Communication (RO-MAN)},
publisher = {IEEE},
abstract = {Despite the advantages of having robot swarms, human supervision is required for real-world applications. The performance of the human-swarm system depends on several factors including the data availability for the human operators. In this paper, we study the human factors aspect of the human-swarm interaction and investigate how having access to high-quality data can affect the performance of the human-swarm system - the number of tasks completed and the human trust level in operation. We designed an experiment where a human operator is tasked to operate a swarm to identify casualties in an area within a given time period. One group of operators had the option to request high-quality pictures while the other group had to base their decision on the available low-quality images. We performed a user study with 120 participants and recorded their success rate (directly logged via the simulation platform) as well as their workload and trust level (measured through a questionnaire after completing a human-swarm scenario). The findings from our study indicated that the group granted access to high-quality data exhibited an increased workload and placed greater trust in the swarm, thus confirming our initial hypothesis. However, we also found that the number of accurately identified casualties did not significantly vary between the two groups, suggesting that data quality had no impact on the successful completion of tasks.},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}

Demonstrating performance benefits of human-swarm teaming 

Autonomous swarms of robots can bring robustness, scalability and adaptability to safety-critical tasks such as search and rescue but their application is still very limited. Using semi-autonomous swarms with human control can bring robot swarms to real-world applications. Human operators can define goals for the swarm, monitor their performance and interfere with, or overrule, the decisions and behaviour. We present the "Human And Robot Interactive Swarm'' simulator (HARIS) that allows multi-user interaction with a robot swarm and facilitates qualitative and quantitative user studies through simulation of robot swarms completing tasks, from package delivery to search and rescue, with varying levels of human control. In this demonstration, we showcase the simulator by using it to study the performance gain offered by maintaining a "human-in-the-loop'' over a fully autonomous system as an example. This is illustrated in the context of search and rescue, with an autonomous allocation of resources to those in need.
@inproceedings{soton479903,
title = {Demonstrating performance benefits of human-swarm teaming},
author = {William Hunt and Jack Ryan and Ayodeji O Abioye and Sarvapali D Ramchurn and Mohammad D Soorati},
url = {https://eprints.soton.ac.uk/479903/},
year = {2023},
date = {2023-05-01},
booktitle = {Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems},
pages = {3062--3064},
publisher = {International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS)},
abstract = {Autonomous swarms of robots can bring robustness, scalability and adaptability to safety-critical tasks such as search and rescue but their application is still very limited. Using semi-autonomous swarms with human control can bring robot swarms to real-world applications. Human operators can define goals for the swarm, monitor their performance and interfere with, or overrule, the decisions and behaviour. We present the "Human And Robot Interactive Swarm'' simulator (HARIS) that allows multi-user interaction with a robot swarm and facilitates qualitative and quantitative user studies through simulation of robot swarms completing tasks, from package delivery to search and rescue, with varying levels of human control. In this demonstration, we showcase the simulator by using it to study the performance gain offered by maintaining a "human-in-the-loop'' over a fully autonomous system as an example. This is illustrated in the context of search and rescue, with an autonomous allocation of resources to those in need.},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}

2019

Multimodal human aerobotic interaction

Book Section

No data available.
No data available.
@incollection{abioye2019multimodal,
title = {Multimodal human aerobotic interaction},
author = {Ayodeji Opeyemi Abioye and Stephen D Prior and Glyn T Thomas and Peter Saddington and Sarvapali D Ramchurn},
year = {2019},
date = {2019-01-01},
booktitle = {Unmanned Aerial Vehicles: Breakthroughs in Research and Practice},
pages = {142--165},
publisher = {IGI Global},
keywords = {},
pubstate = {published},
tppubtype = {incollection} }

Tracking the Consumption of Home Essentials

Proceedings Article

No data available.
No data available.
@inproceedings{fuentes2019tracking,
title = {Tracking the Consumption of Home Essentials},
author = {Carolina Fuentes and Martin Porcheron and Joel E Fischer and Enrico Costanza and Obaid Malilk and Sarvapali D Ramchurn},
year = {2019},
date = {2019-01-01},
booktitle = {Proceedings of the 2019 CHI Conference on Human Factors in Computing Systems},
pages = {639},
organization = {ACM},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings} }

Offline and Online Electric Vehicle Charging Scheduling With V2V Energy Transfer

Journal Article

No data available.
No data available.
@article{koufakis2019offline,
title = {Offline and Online Electric Vehicle Charging Scheduling With V2V Energy Transfer},
author = {Alexandros-Michail Koufakis and Emmanouil S Rigas and Nick Bassiliades and Sarvapali D Ramchurn},
year = {2019},
date = {2019-01-01},
journal = {IEEE Transactions on Intelligent Transportation Systems},
publisher = {IEEE},
keywords = {},
pubstate = {published},
tppubtype = {article} }

An Agent-based Negotiation Scheme for the Distribution of Electric Vehicles Across a Set of Charging Stations

Journal Article

No data available.
No data available.
@article{seitaridis2019agent,
title = {An Agent-based Negotiation Scheme for the Distribution of Electric Vehicles Across a Set of Charging Stations},
author = {Andreas Seitaridis and Emmanouil S Rigas and Nick Bassiliades and Sarvapali D Ramchurn},
year = {2019},
date = {2019-01-01},
journal = {Simulation Modelling Practice and Theory},
pages = {102040},
publisher = {Elsevier},
keywords = {},
pubstate = {published},
tppubtype = {article} }

Effects of Varying Noise Levels and Lighting Levels on Multimodal Speech and Visual Gesture Interaction with Aerobots

Journal Article

No data available.
No data available.
@article{abioye2019effects,
title = {Effects of Varying Noise Levels and Lighting Levels on Multimodal Speech and Visual Gesture Interaction with Aerobots},
author = {Ayodeji Opeyemi Abioye and Stephen D Prior and Peter Saddington and Sarvapali D Ramchurn},
year = {2019},
date = {2019-01-01},
journal = {Applied Sciences},
volume = {9},
number = {10},
pages = {2066},
publisher = {Multidisciplinary Digital Publishing Institute},
keywords = {},
pubstate = {published},
tppubtype = {article} }

2018

Algorithms for electric vehicle scheduling in large-scale mobility-on-demand schemes

Journal Article

We study a setting where Electric Vehicles (EVs) can be hired to drive from pick-up to drop-off points in a Mobility-on-Demand (MoD) scheme. The goal of the system is, either to maximize the number of customers that are serviced, or the total EV utilization. To do so, we characterise the optimisation problem as a max-flow problem in order to determine the set of feasible trips given the available EVs at each location. We then model and solve the EV-to-trip scheduling problem offline and optimally using Mixed Integer Programming (MIP) techniques and show that the solution scales up to medium sized problems. Given this, we develop two non-optimal algorithms, namely an incremental-MIP algorithm for medium to large problems and a greedy heuristic algorithm for very large problems. Moreover, we develop a tabu search-based local search technique to further improve upon and compare against the solution of the non-optimal algorithms. We study the performance of these algorithms in settings where either battery swap or battery charge at each station is used to cope with the EVs' limited driving range. Moreover, in settings where EVs need to be scheduled online, we propose a novel algorithm that accounts for the uncertainty in future trip requests. All algorithms are empirically evaluated using real-world data of locations of shared vehicle pick-up and drop-off stations. In our experiments, we observe that when all EVs carry the same battery which is large enough for the longest trips, the greedy algorithm with battery swap with the max-flow solution as a pre-processing step, provides the optimal solution. At the same time, the greedy algorithm with battery charge is close to the optimal (97% on average) and is further improved when local search is used. When some EVs do not have a large enough battery to execute some of the longest trips, the incremental-MIP generates solutions slightly better than the greedy, while the optimal algorithm is the best but scales up to medium sized problems only. Moreover, the online algorithm is shown to be on average at least 90% of the optimal. Finally, the greedy algorithm scales to 10-times more tasks than the incremental-MIP and 1000-times more than the static MIP in reasonable time.
@article{soton422097,
title = {Algorithms for electric vehicle scheduling in large-scale mobility-on-demand schemes},
author = {Emmanouil Rigas and Sarvapali Ramchurn and Nick Bassiliades},
url = {https://eprints.soton.ac.uk/422097/},
year = {2018},
date = {2018-09-01},
journal = {Artificial Intelligence},
volume = {262},
pages = {248--278},
abstract = {We study a setting where Electric Vehicles (EVs) can be hired to drive from pick-up to drop-off points in a Mobility-on-Demand (MoD) scheme. The goal of the system is, either to maximize the number of customers that are serviced, or the total EV utilization. To do so, we characterise the optimisation problem as a max-flow problem in order to determine the set of feasible trips given the available EVs at each location. We then model and solve the EV-to-trip scheduling problem offline and optimally using Mixed Integer Programming (MIP) techniques and show that the solution scales up to medium sized problems. Given this, we develop two non-optimal algorithms, namely an incremental-MIP algorithm for medium to large problems and a greedy heuristic algorithm for very large problems. Moreover, we develop a tabu search-based local search technique to further improve upon and compare against the solution of the non-optimal algorithms. We study the performance of these algorithms in settings where either battery swap or battery charge at each station is used to cope with the EVs' limited driving range. Moreover, in settings where EVs need to be scheduled online, we propose a novel algorithm that accounts for the uncertainty in future trip requests. All algorithms are empirically evaluated using real-world data of locations of shared vehicle pick-up and drop-off stations. In our experiments, we observe that when all EVs carry the same battery which is large enough for the longest trips, the greedy algorithm with battery swap with the max-flow solution as a pre-processing step, provides the optimal solution. At the same time, the greedy algorithm with battery charge is close to the optimal (97% on average) and is further improved when local search is used. When some EVs do not have a large enough battery to execute some of the longest trips, the incremental-MIP generates solutions slightly better than the greedy, while the optimal algorithm is the best but scales up to medium sized problems only. Moreover, the online algorithm is shown to be on average at least 90% of the optimal. Finally, the greedy algorithm scales to 10-times more tasks than the incremental-MIP and 1000-times more than the static MIP in reasonable time.},
keywords = {},
pubstate = {published},
tppubtype = {article} }

The multimodal speech and visual gesture (mSVG) control model for a practical patrol, search, and rescue aerobot

Proceedings Article

This paper describes a model of the multimodal speech and visual gesture (mSVG) control for aerobots operating at higher nCA autonomy levels, within the context of a patrol, search, and rescue application. The developed mSVG control architecture, its mathematical navigation model, and some high level command operation models were discussed. This was successfully tested using both MATLAB simulation and python based ROS Gazebo UAV simulations. Some limitations were identified, which formed the basis for the further works presented.
@inproceedings{soton418869,
title = {The multimodal speech and visual gesture (mSVG) control model for a practical patrol, search, and rescue aerobot},
author = {Opeyemi Abioye Ayodeji and Stephen Prior and Trevor Thomas and Peter Saddington and Sarvapali D. Ramchurn},
url = {https://eprints.soton.ac.uk/418869/},
year = {2018},
date = {2018-07-01},
booktitle = {19th Towards Autonomous Robotic Systems (TAROS) Conference 2018},
volume = {10965},
pages = {423--437}, publisher = {Springer}, abstract = {This paper describes a model of the multimodal speech and visual gesture (mSVG) control for aerobots operating at higher nCA autonomy levels, within the context of a patrol, search, and rescue application. The developed mSVG control architecture, its mathematical navigation model, and some high level command operation models were discussed. This was successfully tested using both MATLAB simulation and python based ROS Gazebo UAV simulations. Some limitations were identified, which formed the basis for the further works presented.},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings} }

Automated negotiation for opportunistic energy trading between neighbouring wireless sensor networks

Proceedings Article

As the Internet of Things grows, the number of wireless sensor networks deployed in close proximity will continue to increase. By nature, these networks are limited by the battery supply that determines their lifetime and system utility. To counter such a shortcoming, energy harvesting technologies have become increasingly investigated to provide a perpetual energy source; however, new problems arise as a result of their wide spatio-temporal variation. In this paper, we propose opportunistic energy trading, which enables otherwise independent networks to be sustained by sharing resources. Our goal is to provide a novel cooperation model based on negotiation to solve coordination conflicts between energy harvesting wireless sensor networks. Results show that networks are able to satisfy their loads when they agree to cooperate.
@inproceedings{soton423060,
title = {Automated negotiation for opportunistic energy trading between neighbouring wireless sensor networks},
author = {Andre P Ortega and Geoff Merrett and Sarvapali Ramchurn},
url = {https://eprints.soton.ac.uk/423060/},
year = {2018},
date = {2018-07-01},
booktitle = {2018 IEEE International Conference on Communications, Control, and Computing Technologies for Smart Grids (31/10/18)},
abstract = {As the Internet of Things grows, the number of wireless sensor networks deployed in close proximity will continue to increase. By nature, these networks are limited by the battery supply that determines their lifetime and system utility. To counter such a shortcoming, energy harvesting technologies have become increasingly investigated to provide a perpetual energy source; however, new problems arise as a result of their wide spatio-temporal variation. In this paper, we propose opportunistic energy trading, which enables otherwise independent networks to be sustained by sharing resources. Our goal is to provide a novel cooperation model based on negotiation to solve coordination conflicts between energy harvesting wireless sensor networks. Results show that networks are able to satisfy their loads when they agree to cooperate.},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings} }