Skip to content

Research at St Andrews

Compositional Resource Analysis of Parametric Box-based Autonomous Vehicle Systems

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


Orchestrating a flock of autonomous vehicles so that the flock as a whole can guarantee to perform its mission, while at the same time reacting to changing circumstances or mission requirements requires good understanding of its behaviour, especially the execution time and energy usage implications for each possible action that the flock could take. This paper describes a new analysis approach that determines the overall resource usage of an autonomous vehicle in terms of resource usage of its hardware and software components. Our analysis expresses resource usage information in terms of a number of control parameters. These parameters can be used by reconfiguration algorithms (such as those simulated by Waterfall Solutions’ Cerberus system) to control the behaviour of each member of a flock of autonomous vehicles in resource-constrained situations.


Original languageEnglish
Title of host publicationSEAS DTC Conference Proceedings
PublisherSEAS DTC
Number of pages12
StatePublished - 2010
EventSEAS DTC 2010 Annual Technical Conference - Edinburgh, United Kingdom
Duration: 13 Jul 201014 Jul 2010


ConferenceSEAS DTC 2010 Annual Technical Conference
CountryUnited Kingdom

Discover related content
Find related publications, people, projects and more using interactive charts.

View graph of relations

Related by author

  1. Automatically deriving cost models for structured parallel processes using hylomorphisms

    Castro, D., Hammond, K., Sarkar, S. & Alguwaifli, Y. Feb 2018 In : Future Generation Computer Systems. 79, Part 2, p. 653-668

    Research output: Contribution to journalArticle

  2. The Missing Link! A new skeleton for evolutionary multi-agent systems in Erlang

    Stypka, J., Turek, W., Byrski, A., Kisiel-Dorohinicki, M., Barwell, A. D., Brown, C. M., Hammond, K. & Janjic, V. Feb 2018 In : International Journal of Parallel Programming. 46, 1, p. 4-22 19 p.

    Research output: Contribution to journalArticle

  3. Proof-relevant Horn clauses for dependent type inference and term synthesis

    Farka, F., Komendantskya, E. & Hammond, K. 2018 In : Theory and Practice of Logic Programming. 18, 3-4, p. 484-501

    Research output: Contribution to journalArticle

  4. Type-based cost analysis for lazy functional languages

    Jost, S., Vasconcelos, P., Florido, M. & Hammond, K. Jun 2017 In : Journal of Automated Reasoning. 59, 1, p. 87-120 34 p.

    Research output: Contribution to journalArticle

ID: 5090323