Distributed Autonomous Systems

11 pages•Published: June 27, 2017

Hoang-Dung Tran, Luan Viet Nguyen, Weiming Xiang and Taylor T. Johnson

Abstract

This benchmark suite consists of a number of examples of autonomous multi-agent systems where the agent number ranges from two to ten. The benchmarks are derived from the field of position-based formation control in autonomous robotics and vehicles. Their models are given as network of hybrid automata in the SpaceEx XML model format and can be transformed to other verification tools model formats using HyST, a model trans- formation tool. Safety of a small benchmark with two agents is analyzed using SpaceEx.

Keyphrases: autonomous systems, formation control, verification

In: Goran Frehse and Matthias Althoff (editors). ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems, vol 48, pages 33-43.

Links:	https://easychair.org/publications/paper/vDd
	https://doi.org/10.29007/slz2

BibTeX entry

@inproceedings{ARCH17:Distributed_Autonomous_Systems,
  author    = {Hoang-Dung Tran and Luan Viet Nguyen and Weiming Xiang and Taylor T. Johnson},
  title     = {Distributed Autonomous Systems},
  booktitle = {ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems},
  editor    = {Goran Frehse and Matthias Althoff},
  series    = {EPiC Series in Computing},
  volume    = {48},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/vDd},
  doi       = {10.29007/slz2},
  pages     = {33-43},
  year      = {2017}}

Download PDF Open PDF in browser