Graph Process Specifications for Hybrid Networked SystemsReportar como inadecuado


Graph Process Specifications for Hybrid Networked Systems


Graph Process Specifications for Hybrid Networked Systems - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

Research in multi-agent systems has supplied a diverse collection of decentralizedcontrollers to accomplish specific tasks. When agents execute a sequence of these controllers,the network behaves as a hybrid system, where the dynamics in each mode evolve according to asingle controller in the sequence. This paper presents a formal specification for such a system thatdescribes the underlying graph process associated with the information flow amongst agents ineach mode. Since many decentralized controllers require specific information graph topologies inorder to function properly, a problem that arises is that the information graph at the terminationof one mode may not be sufficient to initiate the next mode in the sequence.We propose a GraphProcess Specification GPS framework that describes the graph process. Furthermore, if twomodes cannot be executed consecutively, a GPS provides a way to determine which modes canbe inserted in between them to make the resulting sequence executable. We formally define aGPS, describe its execution, and provide examples that showcase its usage in composing togethermultiple decentralized controllers within a multi-agent system.



Georgia Robotics and InTelligent Systems Laboratory GRITS - Georgia Robotics and InTelligent Systems Laboratory GRITS Publications -



Autor: Martin, Patrick - Egerstedt, Magnus B. - Twu, Philip Y. - -

Fuente: https://smartech.gatech.edu/







Documentos relacionados